2 search results - page 1 / 1 » A Tableaux Calculus for Ambiguous Quantification |
TABLEAUX
1998
Springer
13 years 8 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
ECAI
2010
Springer
13 years 6 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 ...