15 search results - page 1 / 3 » tableaux 2005 |
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...