Sciweavers

Share
15 search results - page 1 / 3
» tableaux 2005
Sort
View
TABLEAUX
2005
Springer
10 years 1 months ago
LoTREC: Logical Tableaux Research Engineering Companion
Olivier Gasquet, Andreas Herzig, Dominique Longin,...
TABLEAUX
2005
Springer
10 years 1 months ago
Unit Propagation in a Tableau Framework
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...
Gernot Stenz
TABLEAUX
2005
Springer
10 years 1 months ago
Pdk: The System and Its Language
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...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
TABLEAUX
2005
Springer
10 years 1 months ago
Proof Output and Transformation for Disconnection Tableaux
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...
Philipp Correll, Gernot Stenz
TABLEAUX
2005
Springer
10 years 1 months ago
Description Logics in Ontology Applications
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...
Ian Horrocks
books