Search by property
From International Center for Computational Logic
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)