Suche mittels Attribut

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

Revisiting Semantics for Epistemic Extensions of Description Logics + (AAAI 2011)
Complexity Boundaries for Horn Description Logics + (AAAI Press)
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams + (AAAI Press)
The Fast and the Numerous - Combining Machine and Community Intelligence + (AAAI Press)
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 + (AAAI Press)
Status QIO: Conjunctive Query Entailment is Decidable + (AAAI Press)
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend! + (AAAI Press)
Nominal Schemas in Description Logics: Complexities Clarified + (AAAI Press)
Computing Stable Models for Nonmonotonic Existential Rules + (AAAI Press)
Acyclicity Conditions and their Application to Query Answering in Description Logics + (AAAI Press)
Practical Reasoning with Nominals in the EL Family of Description Logics + (AAAI Press)
Efficient Rule-Based Inferencing for OWL EL + (AAAI Press)
Updating Description Logic ABoxes + (AAAI Press)
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics + (AAAI Press)
Expressive Non-Monotonic Description Logics Based on Circumscription + (AAAI Press)
Conservative Extensions in Expressive Description Logics + (AAAI Press)
Answering conjunctive queries in the SHIQ description logic + (AAAI Press)
Completing Description Logic Knowledge Bases using Formal Concept Analysis + (AAAI Press)
A Description Logic of Change + (AAAI Press)
Complexity of Abduction in the EL Family of Lightweight Description Logics + (AAAI Press)
Prime Implicate Normal Form for ALC Concepts + (AAAI Press)
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics + (AAAI Press)
Query and Predicate Emptiness in Description Logics + (AAAI Press)
Description Logics over Lattices with Multi-valued Ontologies + (AAAI Press)
Undecidability of Fuzzy Description Logics + (AAAI Press)
Extending Unification in EL Towards General TBoxes + (AAAI Press)
Most Specific Generalizations w.r.t. General EL-TBoxes + (AAAI Press)
Positive Subsumption in Fuzzy EL with General t-norms + (AAAI Press)
On the Decidability of Verifying LTL Properties of Golog Programs + (AAAI Press)
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference + (AAAI Press)
Answering Instance Queries Relaxed by Concept Similarity + (AAAI Press)
Concept Dissimilarity with Triangle Inequality + (AAAI Press)
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs + (AAAI Press)
Reasoning in the Description Logic BEL using Bayesian Networks + (AAAI Press)
Decidable Gödel description logics without the finitely-valued model property + (AAAI Press)
Ontology-Based Monitoring of Dynamic Systems + (AAAI Press)
An Abductive Model for Human Reasoning (Poster Paper) + (AAAI Press)
A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (AAAI Press)
Computing First-Order Logic Programs by Fibring Artificial Neural Networks + (AAAI Press)
Reasonable Highly Expressive Query Languages + (AAAI Press)
Temporal Query Answering in the Description Logic EL + (AAAI Press)
The Complexity of Subsumption in Fuzzy EL + (AAAI Press)
Characterization of the Expressivity of Existential Rule Queries + (AAAI Press)
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks + (AAAI Press)
Verification of Knowledge-Based Programs over Description Logic Actions + (AAAI Press)
A Computational Logic Approach to the Belief Bias Effect + (AAAI Press)