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

• 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)
• Reasoning Web Summer School 2019  + (September 25, 2019)
• Knowledge Dynamics in Social Environments  + (13:00:00, 26 September 2019)
• Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl  + (October 16, 2019)
• Interface between Logical Analysis of Data and Formal Concept Analysis  + (13:00:00, 24 October 2019)
• Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference  + (October 30, 2019)
• Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics  + (13:00:00, 14 November 2019)
• A diamond in the rough: Theorizing column stores  + (13:00:00, 21 November 2019)
• Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers  + (10:00:00, 22 November 2019)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (13:00:00, 28 November 2019)
• CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23  + (December 3, 2019)
• What makes a variant of query determinacy (un)decidable?  + (13:00:00, 5 December 2019)
• Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy  + (13:00:00, 12 December 2019)
• Justifying All Differences Using Pseudo-Boolean Reasoning  + (15:00:00, 17 December 2019)
• SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability  + (13:00:00, 19 December 2019)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (2020)
• Musings on the Semantics of SPARQL  + (13:00:00, 9 January 2020)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (13:00:00, 23 January 2020)
• Modeling Computational Properties of Description Logics in ASP  + (09:00:00, 29 January 2020)
• Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain  + (13:00:00, 30 January 2020)
• A Distributed Blockchain Model of Selfish Mining  + (12:30:00, 26 February 2020)
• Tracking False Information Online  + (16:15:00, 27 February 2020)