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

• From Logic Programming to Human Reasoning: How to be Artificially Human  + (26. Juni 2017)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (29. Juni 2017, 13:00:00)
• Metric Temporal Description Logics with Interval-Rigid Names  + (6. Juli 2017, 13:00:00)
• Using Ontologies to Query Probabilistic Numerical Data  + (6. Juli 2017, 13:30:00)
• The Identity Problem in Description Logic Ontologies  + (13. Juli 2017, 13:00:00)
• Happy Birthday Steffen!  + (22. Juli 2017)
• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (27. Juli 2017, 13:00:00)
• Logical Foundations of Linked Data Anonymisation  + (14. August 2017, 14:00:00)
• Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb  + (25. August 2017)
• Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet  + (26. August 2017)
• Quantum Computing and the Limits of the Efficiently Computable  + (28. August 2017, 14:00:00)
• Monotone Monadic SNP 1: Classical Results and Applications  + (1. September 2017, 13:15:00)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (1. September 2017, 13:45:00)
• Best Paper Award für Sebastian Rudolph und Lukas Schweizer  + (7. September 2017)
• ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning', September 18-29, 2017, Dresden  + (18. September 2017, 09:00:00)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (12. Oktober 2017, 09:20:00)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (19. Oktober 2017, 09:20:00)
• Context Reasoning for Role-Based Models  + (27. Oktober 2017, 09:15:00)
• Verification of Golog Programs over Description Logic Actions  + (2. November 2017, 09:15:00)
• SQID: Reasonable Wikidata  + (9. November 2017, 09:20:00)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (23. November 2017, 09:20:00)
• Sebastian Rudolph erhält ERC Consolidator Grant  + (27. November 2017)
• Generalized Consistent Query Answering under Existential Rules  + (30. November 2017, 09:20:00)
• SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics  + (6. Dezember 2017, 09:00:00)
• STEP by Step, towards Smart Services  + (8. Februar 2018, 09:20:00)

• 12. EMCL Workshop  + (20. Februar 2018, 09:00:00)

• VLog: A Column-oriented Rule-Based Engine  + (22. Februar 2018, 09:20:00)
• Notes on Computational Learning Theory and the problem of learning CNFs  + (1. März 2018, 09:20:00)
• Preserving Constraints with the Stable Chase  + (8. März 2018, 09:20:00)
• Functional models and Data Complexity for FL0  + (15. März 2018, 09:20:00)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (5. April 2018, 13:00:00)
• Second Workshop on Human Reasoning and Computational Logic  + (10. April 2018, 09:00:00)
• Learning Word Representation in Compositional Matrix-Space Models  + (12. April 2018, 13:00:00)
• Integrating Semantic Web in the Real World: A journey between two cities  + (20. April 2018, 09:00:00)
• Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (20. April 2018, 09:50:00)
• A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  + (26. April 2018, 13:00:00)
• Adaptive Language Interaction  + (3. Mai 2018, 11:00:00)
• A proof of CSP Dichotomy conjecture  + (25. Mai 2018, 13:15:00)
• Efficient Model Construction for Horn Logic with VLog  + (31. Mai 2018, 13:00:00)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (7. Juni 2018)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (7. Juni 2018, 13:00:00)
• Provenance and Probabilities in Relational Databases  + (22. Juni 2018, 09:30:00)
• Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation  + (26. Juni 2018)
• A Dichotomy for Evaluating Simple Regular Path Queries  + (5. Juli 2018, 13:00:00)
• Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation  + (8. Juli 2018)
• Towards Conjunctive Query Answering in Defeasible EL_bot  + (26. Juli 2018, 13:00:00)
• Modal Separation Logic: an ongoing quest for elementary complexity  + (8. August 2018, 13:00:00)
• A Single Approach to Decide Chase Termination on Linear Existential Rules  + (9. August 2018, 13:00:00)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (23. August 2018, 13:00:00)
• Weighted Model Counting on the GPU by Exploiting Small Treewidth  + (30. August 2018, 13:00:00)
• Faceted Answer-Set Navigation  + (6. September 2018, 13:00:00)