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

• A Distributed Blockchain Model of Selfish Mining  + (Ansgar Fehnker)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (Antoine Mottet)
• Introduction to p-adic numbers and analysis  + (Anton Claußnitzer)
• Minesweeper goes Kaboom (in ASP) - and what makes it difficult  + (Antonio Hentschke)
• Finding p-indecomposable Functions  + (Artem Revenko)
• Cyclic Proof Theory  + (Bahareh Afshari (University of Gothenburg))
• Modal Separation Logic: an ongoing quest for elementary complexity  + (Bartosz Bednarczyk)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (Bartosz Bednarczyk)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (Bartosz Bednarczyk)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Bartosz Bednarczyk)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (Bartosz Bednarczyk)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (Bartosz Bednarczyk)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions.  + (Bartosz Bednarczyk)
• Data Complexity in Expressive Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• PhD Defense of Bartosz Bednarczyk  + (Bartosz Bednarczyk)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Verification of Golog Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (Benjamin Zarrieß)
• Logical Foundations of Linked Data Anonymisation  + (Bernardo Cuenca Grau)
• From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals  + (Bertram Ludäscher)
• Data Science Use Cases for Lifestyle Banking  + (Boontawee (Meng) Suntisrivaraporn)
• Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition  + (Boontawee Suntisrivaraporn)
• Inconsistency Handling in Ontology-Mediated Query Answering  + (Camille Bourgaux)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (Chao Xu)
• Faceted Answer-Set Navigation  + (Christian Al-Rabbaa)

• An overview of Datalog boundedness  + (Christian Lewe)
• Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog  + (Christian Lewe)
• Extending Datalog with Sets Using an Encoding in Existential Rules  + (Christian Lewe)

• Constraint Propagation and Pebble Games  + (Christoph Berkholz)
• Satisfiability of temporal logics with concrete domain  + (Claudia Carapelle)
• Augmenting human cognition in collaborative knowledge collections  + (Claudia Müller-Birn)
• Explaining Answer Sets using Argumentation Theory  + (Claudia Schulz)
• Causality meets Configurable Systems  + (Clemens Dubslaff)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (Dagmar Gromann)
• Embodied Terminology: Language, Knowledge, and Cognition  + (Dagmar Gromann)
• Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics  + (David Carral)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (David Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (David Carral)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (David Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (David Carral)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (David Carral)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (David Carral)
• Normalisations of Existential Rules: Not so Innocuous!  + (David Carral)
• Logic for Database Systems Implementation  + (David Toman)
• A Logic-based Reasoning Framework for Graph Databases  + (Davide Di Pierro)
• Restricted Chase (Non)Termination for Existential Rules with Disjunctions  + (Davil Carral)
• Visualization and navigation paradigms for triadic formal concept analysis  + (Diana Troancă)
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis  + (Diana Troancă)
• A proof of CSP Dichotomy conjecture  + (Dmitriy Zhuk (Lomonosov Moscow State University))
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (Dominic Deckert)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (Dominik Rusovac)
• Ongoing Research in the NAVAS Project  + (Dominik Rusovac)