Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Verification of Golog Programs over Description Logic Actions  + (09:15:00, 2 November 2017)
• SQID: Reasonable Wikidata  + (09:20:00, 9 November 2017)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (09:20:00, 23 November 2017)
• Sebastian Rudolph erhält ERC Consolidator Grant  + (November 27, 2017)
• Generalized Consistent Query Answering under Existential Rules  + (09:20:00, 30 November 2017)
• SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics  + (09:00:00, 6 December 2017)
• STEP by Step, towards Smart Services  + (09:20:00, 8 February 2018)
• 12. EMCL Workshop  + (09:00:00, 20 February 2018)
• VLog: A Column-oriented Rule-Based Engine  + (09:20:00, 22 February 2018)
• Notes on Computational Learning Theory and the problem of learning CNFs  + (09:20:00, 1 March 2018)
• Preserving Constraints with the Stable Chase  + (09:20:00, 8 March 2018)
• Functional models and Data Complexity for FL0  + (09:20:00, 15 March 2018)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (13:00:00, 5 April 2018)
• Second Workshop on Human Reasoning and Computational Logic  + (09:00:00, 10 April 2018)
• Learning Word Representation in Compositional Matrix-Space Models  + (13:00:00, 12 April 2018)
• Integrating Semantic Web in the Real World: A journey between two cities  + (09:00:00, 20 April 2018)
• Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (09:50:00, 20 April 2018)
• A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  + (13:00:00, 26 April 2018)
• Adaptive Language Interaction  + (11:00:00, 3 May 2018)
• A proof of CSP Dichotomy conjecture  + (13:15:00, 25 May 2018)
• Efficient Model Construction for Horn Logic with VLog  + (13:00:00, 31 May 2018)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (June 7, 2018)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (13:00:00, 7 June 2018)
• Provenance and Probabilities in Relational Databases  + (09:30:00, 22 June 2018)
• Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation  + (June 26, 2018)

• A Dichotomy for Evaluating Simple Regular Path Queries  + (13:00:00, 5 July 2018)

• Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation  + (July 8, 2018)
• Towards Conjunctive Query Answering in Defeasible EL_bot  + (13:00:00, 26 July 2018)
• Modal Separation Logic: an ongoing quest for elementary complexity  + (13:00:00, 8 August 2018)
• A Single Approach to Decide Chase Termination on Linear Existential Rules  + (13:00:00, 9 August 2018)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (13:00:00, 23 August 2018)
• Weighted Model Counting on the GPU by Exploiting Small Treewidth  + (13:00:00, 30 August 2018)
• Faceted Answer-Set Navigation  + (13:00:00, 6 September 2018)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (13:00:00, 20 September 2018)
• Extending Matching in Description Logics  + (13:00:00, 27 September 2018)
• Report on research visit to NRC  + (13:00:00, 4 October 2018)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (13:00:00, 11 October 2018)
• Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference  + (October 14, 2018)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (13:00:00, 18 October 2018)
• Making Repairs in Description Logics More Gentle  + (13:30:00, 18 October 2018)
• Ontological Modelling in Wikidata  + (13:00:00, 25 October 2018)
• Temporal constraint satisfaction problems in least fixed point logic  + (13:00:00, 1 November 2018)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (13:00:00, 8 November 2018)
• Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata  + (13:00:00, 15 November 2018)
• Extending Datalog with Sets Using an Encoding in Existential Rules  + (13:00:00, 26 November 2018)
• Big Data Variety: On-Demand Data Integration  + (14:50:00, 26 November 2018)
• Satisfiability in the Triguarded Fragment of First-Order Logic  + (13:00:00, 29 November 2018)
• Embodied Terminology: Language, Knowledge, and Cognition  + (13:00:00, 6 December 2018)
• Privacy-Preserving Ontology Publishing for EL Instance Stores  + (13:00:00, 10 January 2019)
• Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019  + (January 15, 2019)
• Ontology-Based Query Answering for Probabilistic Temporal Data  + (13:00:00, 17 January 2019)