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

• From Logic Programming to Human Reasoning: How to be Artificially Human  + (June 26, 2017)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (13:00:00, 29 June 2017)
• Metric Temporal Description Logics with Interval-Rigid Names  + (13:00:00, 6 July 2017)
• Using Ontologies to Query Probabilistic Numerical Data  + (13:30:00, 6 July 2017)
• The Identity Problem in Description Logic Ontologies  + (13:00:00, 13 July 2017)
• Happy Birthday Steffen!  + (July 22, 2017)
• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (13:00:00, 27 July 2017)
• Logical Foundations of Linked Data Anonymisation  + (14:00:00, 14 August 2017)
• Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb  + (August 25, 2017)
• Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet  + (August 26, 2017)
• Quantum Computing and the Limits of the Efficiently Computable  + (14:00:00, 28 August 2017)
• Monotone Monadic SNP 1: Classical Results and Applications  + (13:15:00, 1 September 2017)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (13:45:00, 1 September 2017)
• Best Paper Award für Sebastian Rudolph und Lukas Schweizer  + (September 7, 2017)
• ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning', September 18-29, 2017, Dresden  + (09:00:00, 18 September 2017)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (09:20:00, 12 October 2017)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (09:20:00, 19 October 2017)
• Context Reasoning for Role-Based Models  + (09:15:00, 27 October 2017)
• 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)