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 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 +
