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

• 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)
• Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata  + (15. November 2018, 13:00:00)
• Extending Datalog with Sets Using an Encoding in Existential Rules  + (26. November 2018, 13:00:00)
• Big Data Variety: On-Demand Data Integration  + (26. November 2018, 14:50:00)
• Satisfiability in the Triguarded Fragment of First-Order Logic  + (29. November 2018, 13:00:00)
• Embodied Terminology: Language, Knowledge, and Cognition  + (6. Dezember 2018, 13:00:00)
• Privacy-Preserving Ontology Publishing for EL Instance Stores  + (10. Januar 2019, 13:00:00)
• Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019  + (15. Januar 2019)
• Ontology-Based Query Answering for Probabilistic Temporal Data  + (17. Januar 2019, 13:00:00)