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 General Form of Attribute Exploration +
- Adding Causal Relationships to DL-based Action Formalisms +
- Conjunctive Query Answering in Rough EL +
- Error-Tolerant Reasoning in the Description Logic EL +
- Exploiting SAT Technology for Axiom Pinpointing +
- Exploration by Confidence +
- Hybrid Unification in the Description Logic EL +
- LATPub721 +
- Learning Formal Definitions for Snomed CT from Text +
- Matching with respect to general concept inclusions in the Description Logic EL +
- Model Exploration by Confidence with Completely Specified Counterexamples +
- Most Specific Generalizations w.r.t. General EL-TBoxes +
- On Confident GCIs of Finite Interpretations +
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) +
- On the Complexity and Expressiveness of Description Logics with Counting +
- On the Complexity of Temporal Query Answering +
- Runtime Verification Using a Temporal Description Logic Revisited +
- SAT Encoding of Unification in EL +
- Solving Language Equations and Disequations Using Looping Tree Automata with Colors +
- Techreport3049 +
- The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals +
- Towards Parallel Repair Using Decompositions +
- Unification in the Description Logic EL Without the Top Concept +
