381 search results - page 17 / 77 » Tableaux for Acceptance Logic |
131
Voted
CADE
1999
Springer
15 years 6 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
113
click to vote
APAL
2008
15 years 1 months ago
2008
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...
115
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
164
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
131
click to vote
DLOG
2006
15 years 3 months ago
2006
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...