29 search results - page 3 / 6 » Deciding ALBO with Tableau |
131
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
175
click to vote
APWEB
2011
Springer
14 years 8 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
110
click to vote
LOGCOM
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
140
click to vote
DLOG
2010
14 years 11 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
124
Voted
IJCAI
1997
15 years 3 months ago
1997
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...