Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
