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

• 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)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (20. September 2018, 13:00:00)
• Extending Matching in Description Logics  + (27. September 2018, 13:00:00)
• Report on research visit to NRC  + (4. Oktober 2018, 13:00:00)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (11. Oktober 2018, 13:00:00)
• Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference  + (14. Oktober 2018)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (18. Oktober 2018, 13:00:00)
• Making Repairs in Description Logics More Gentle  + (18. Oktober 2018, 13:30:00)
• Ontological Modelling in Wikidata  + (25. Oktober 2018, 13:00:00)
• Temporal constraint satisfaction problems in least fixed point logic  + (1. November 2018, 13:00:00)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (8. November 2018, 13:00:00)