3 search results - page 1 / 1 » Optimal Tableaux for Conditional Logics with Cautious Monoto... |
80
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...