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

• 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)
• Non-Standard Semantics for Graph Query Languages  + (March 11, 2020)
• Lehr- und Prüfungsbetrieb während der COVID-19 Pandemie  + (March 22, 2020)
• Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez  + (April 13, 2020)
• Neuer Mitarbeiter: Dr. Stephan Mennicke  + (May 1, 2020)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (May 2020)
• Compositional Matrix-Space Models: Learning Methods and Evaluation  + (13:00:00, 28 May 2020)
• The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics  + (13:00:00, 11 June 2020)
• ASNP: a tame fragment of existential second-order logic  + (13:00:00, 25 June 2020)
• Imprecise Probabilities in Decision-making  + (13:00:00, 9 July 2020)
• Forschungsergebnisse in 2020  + (July 22, 2020)
• On the Complexity of Synthesis of nop-Free Boolean Petri Nets  + (13:00:00, 24 July 2020)
• Notation3 Logic: From informal to formal semantics  + (13:00:00, 30 July 2020)
• Smoke Test Planning using Answer Set Programming  + (13:00:00, 10 September 2020)
• KI Nachwuchsgruppe für Sarah Gaggl  + (September 18, 2020)
• Weighted Automata with Storage  + (September 29, 2020)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (13:00:00, 8 October 2020)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (13:00:00, 22 October 2020)
• Forgetting Atoms and Arguments  + (11:15:00, 27 October 2020)
• Multi-Context Stream Reasoning  + (13:00:00, 29 October 2020)
• Elisa Böhl wechselt zum NAVAS-Projekt  + (November 1, 2020)
• Positivity-Hardness and Saturation Points in Markov Decision Processes  + (13:00:00, 5 November 2020)
• Neuer Mitarbeiter: Jonas Karge  + (December 16, 2020)
• Neuer Mitarbeiter: Tim Lyon  + (December 17, 2020)
• Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit  + (13:00:00, 17 December 2020)