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

• 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)
• Learning Ontologies with Epistemic Reasoning: The EL Case  + (09:30:00, 23 January 2019)
• Knowledge Graph Embedding  + (13:00:00, 7 February 2019)
• Temporal Logics with Probabilistic Distributions  + (13:00:00, 28 March 2019)
• Third Workshop on Human Reasoning and Computational Logic  + (09:00:00, 4 April 2019)

• Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization  + (13:00:00, 4 April 2019)

• Beyond NP Revolution  + (13:30:00, 9 April 2019)
• The Power of the Terminating Chase  + (13:00:00, 11 April 2019)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (13:00:00, 18 April 2019)
• Data Science Use Cases for Lifestyle Banking  + (13:00:00, 25 April 2019)
• Quine's Fluted Fragment  + (13:00:00, 9 May 2019)
• Explorations into Belief State Compression  + (13:30:00, 28 May 2019)
• Projection in a Description Logic of Context with Actions  + (13:00:00, 6 June 2019)
• Discovering Implicational Knowledge in Wikidata  + (13:00:00, 13 June 2019)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (13:30:00, 13 June 2019)
• Introduction to p-adic numbers and analysis  + (13:30:00, 10 July 2019)
• Epistemic Answer Set Programming  + (13:00:00, 11 July 2019)
• Automatic Extraction of Compositional Matrix-Space Models of Language  + (11:00:00, 15 July 2019)
• Reasoning about disclosure in data integration in the presence of source constraints  + (13:00:00, 18 July 2019)
• Extending EL++ with Linear Constraints on the Probability of Axioms  + (13:30:00, 23 July 2019)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (13:00:00, 30 July 2019)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (13:00:00, 1 August 2019)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (13:00:00, 29 August 2019)
• Neuer Mitarbeiter: M.Sc. Ali Elhalawati  + (September 1, 2019)
• Markus Krötzsch gab einen Kurs bei der EDBT Summer School  + (September 3, 2019)
• Mixing Description Logics in Privacy-Preserving Ontology Publishing  + (13:00:00, 5 September 2019)
• A gentle introduction to partition width  + (13:00:00, 12 September 2019)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (13:00:00, 16 September 2019)
• Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3)  + (00:00:00, 17 September 2019)
• A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  + (13:00:00, 20 September 2019)
• Vice World Champion in the AI Birds Challenge!  + (September 21, 2019)