Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• A Scalable Analysis Framework for Large-scale RDF Data  + (7. August 2014)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (9. September 2014)
• Augmenting human cognition in collaborative knowledge collections  + (17. Oktober 2014, 11:05:00)
• Neues Online-Portal des International Center for Computational Logic geht ans Netz  + (25. Oktober 2014)
• Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden)  + (27. Oktober 2014, 14:50:00)
• Logic for Database Systems Implementation  + (3. November 2014, 14:50:00)
• Containment of Monadic Datalog  + (4. November 2014, 13:30:00)
• Past, Current and Future Trends in Description Logic  + (17. November 2014, 14:50:00)
• Two-Dimensional Description Logics of Context  + (26. November 2014, 09:20:00)
• Explaining Answer Sets using Argumentation Theory  + (28. November 2014, 15:00:00)
• Towards Next Generation Sequential and Parallel SAT Solvers  + (1. Dezember 2014)
• News about Reasoning with Bit-Vectors  + (1. Dezember 2014, 10:00:00)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (4. Dezember 2014, 16:30:00)
• Visualization and navigation paradigms for triadic formal concept analysis  + (8. Dezember 2014, 14:50:00)
• Relbacoess  + (12. Januar 2015, 10:30:00)
• Graph Structure and Monadic Second-Order Logic  + (19. Januar 2015, 14:50:00)
• Journal of Web Semantics erbittet Einreichungen zum Thema "Knowledge Graphs"  + (24. Januar 2015)
• Querying Probabilistic Ontologies  + (26. Januar 2015, 14:50:00)
• Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online  + (30. Januar 2015)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (30. Januar 2015, 15:30:00)
• Verifying Temporal Properties of Biological Systems  + (2. Februar 2015, 14:50:00)
• Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de  + (9. Februar 2015, 14:50:00)

• 38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden  + (2. März 2015)

• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (9. März 2015)
• Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015.  + (12. März 2015)
• Chile – A Trip Report  + (13. April 2015, 14:50:00)
• Grounded Circumscription in Description Logics  + (15. April 2015, 15:00:00)
• ICCL mit gleich sieben Papieren bei IJCAI vertreten  + (19. April 2015)
• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics  + (20. April 2015, 14:50:00)
• ASPARTIX-D Ready for the Competition  + (4. Mai 2015, 14:50:00)
• Modeling Concept Learning Problems with Second-Order Description Logics  + (11. Mai 2015, 14:50:00)
• Learning in Fuzzy Description Logics  + (13. Mai 2015, 10:00:00)
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems  + (13. Mai 2015, 17:00:00)
• Answering Temporal Conjunctive Queries over DL Ontologies  + (18. Mai 2015, 14:50:00)
• Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis)  + (20. Mai 2015, 09:20:00)
• DFG bewilligt zweite Förderphase für SFB 912 „Highly Adaptive Energy-Efficient Computing“ (HAEC)  + (22. Mai 2015)
• Finding p-indecomposable Functions  + (1. Juni 2015, 14:50:00)
• From Classical to Consistent Query Answering under Existential Rules  + (15. Juni 2015, 14:50:00)
• ICCL auf der Langen Nacht der Wissenschaften  + (2. Juli 2015)
• Framework for the Specification and Execution of parallel Clustering Algorithms  + (13. Juli 2015, 14:50:00)
• What makes modern SAT Solvers work that well  + (20. Juli 2015, 14:50:00)
• ICCL-Forscher erhalten Auszeichnung auf weltgrößter Konferenz für Künstliche Intelligenz  + (3. August 2015)
• Reasonable Highly Expressive Query Languages  + (3. August 2015, 14:50:00)
• Temporal Query Answering in EL  + (10. August 2015, 14:50:00)
• Membership Constraints in Formal Concept Analysis  + (17. August 2015, 14:50:00)
• Characterization of the Expressivity of Existential Rule Queries  + (24. August 2015, 14:50:00)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (31. August 2015, 14:50:00)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (7. September 2015, 14:50:00)