12 search results - page 3 / 3 » Optimal Tableau Algorithms for Coalgebraic Logics |
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
DLOG
2009
13 years 2 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...