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 Computational Logic Approach to the Belief Bias Effect +
- A Description Logic of Change +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Model for Learning Description Logic Ontologies Based on Exact Learning +
- Acyclicity Conditions and their Application to Query Answering in Description Logics +
- An Abductive Model for Human Reasoning (Poster Paper) +
- An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms +
- An Extension-Based Approach to Belief Revision in Abstract Argumentation +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answering Instance Queries Relaxed by Concept Similarity +
- Answering Queries with Negation over Existential Rules +
- Answering conjunctive queries in the SHIQ description logic +
- Backward Responsibility in Transition Systems Using General Power Indices +
- Boolean Functions with Ordered Domains in Answer Set Programming +
- Characterization of the Expressivity of Existential Rule Queries +
- Column-Oriented Datalog Materialization for Large Knowledge Graphs +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Complexity Boundaries for Horn Description Logics +
- Complexity of Abduction in the EL Family of Lightweight Description Logics +
- Computing First-Order Logic Programs by Fibring Artificial Neural Networks +
- Computing Stable Models for Nonmonotonic Existential Rules +
- Concept Dissimilarity with Triangle Inequality +
- Conservative Extensions in Expressive Description Logics +
- Decidable Gödel description logics without the finitely-valued model property +
- Decidable Verification of Golog Programs over Non-Local Effect Actions +
- Description Logics over Lattices with Multi-valued Ontologies +
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics +
- Efficient Rule-Based Inferencing for OWL EL +
- Exact Learning of Lightweight Description Logic Ontologies +
- Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs +
- Expressive Non-Monotonic Description Logics Based on Circumscription +
- Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks +
- Expressivity of Datalog Variants - Completing the Picture +
- Expressivity of Planning with Horn Description Logic Ontologies +
- Extending Unification in EL Towards General TBoxes +
- Finite Entailment of Local Queries in the Z family of Description Logics +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) +
- Membership Constraints in Formal Concept Analysis +
- Most Specific Generalizations w.r.t. General EL-TBoxes +
- Nominal Schemas in Description Logics: Complexities Clarified +
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend! +
- On the Complexity of Axiom Pinpointing in the EL Family of Description Logics +
- On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks +
- On the Decidability of Verifying LTL Properties of Golog Programs +
- Ontology-Based Monitoring of Dynamic Systems +
- Ontology-Mediated Queries for Probabilistic Databases +
- Open-World Probabilistic Databases +
- Positive Subsumption in Fuzzy EL with General t-norms +
- Practical Reasoning with Nominals in the EL Family of Description Logics +
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference +
