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

• 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)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Dominik Rusovac)
• Answer Set Navigation alongside Quantitative Reasoning  + (Dominik Rusovac)
• Notation3 Logic: From informal to formal semantics  + (Dörthe Arndt)
• Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration  + (Dörthe Arndt)
• Notation3 as an Existential Rule Language  + (Dörthe Arndt)
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg  + (Elisa Böhl)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (Elisa Böhl)
• Representative Answer Sets: Collecting Something of Everything  + (Elisa Böhl)
• Winning Snake: Design Choices in Multi-Shot ASP  + (Elisa Böhl)
• Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium  + (Emma Reyner-Fuentes)
• Enterprise Management in the Presence of Data  + (Evellin Cardoso)
• On the Complexity of Synthesis of nop-Free Boolean Petri Nets  + (Evgeny Erofeev)

• A diamond in the rough: Theorizing column stores  + (Eyal Rozenberg)

• Epistemic Answer Set Programming  + (Ezgi Iraz Su)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (Faiq Miftakhul Falakh)
• Enabling Fine-grained RDF Data Completeness Assessment  + (Fariz Darari)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (Fariz Darari)
• Managing and Consuming Completeness Information for RDF Data Sources  + (Fariz Darari)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (Filippo De Bortoli)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (Filippo De Bortoli)
• Modeling Concept Learning Problems with Second-Order Description Logics  + (Francesca Alessandra Lisi)
• Learning in Fuzzy Description Logics  + (Francesca Alessandra Lisi)
• NextClosures: Parallel Computation of the Canonical Base  + (Francesco Kriegel)
• The Relevance of Formal Logics for Cognitive Logics, and Vice Versa  + (Gabriele Kern-Isberner)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (Georg Wild)
• ASYDE: An Argumentation-based System for classifYing Driving bEhaviors  + (Giuseppina Monterosso)
• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (Hannes Straß)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics  + (Hannes Straß)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2  + (Hannes Straß)
• Strong Equivalence in Non-monotonic Reasoning  + (Hannes Straß)
• Quine's Fluted Fragment  + (Ian Pratt-Hartmann)
• Fluted Logic with Counting  + (Ian Pratt-Hartmann)
• Ontology Evolution trough Interaction  + (Irina Dragoste)
• Efficient Model Construction for Horn Logic with VLog  + (Irina Dragoste)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Irina Dragoste)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Irina Dragoste)
• Tracking False Information Online  + (Isabelle Augenstein)
• Most Probable Explanations for Probabilistic Database Queries  + (Ismail Ilkan Ceylan)