2152 search results - page 23 / 431 » On Automating the Calculus of Relations |
LICS
2000
IEEE
14 years 26 days ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
TABLEAUX
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
AICOM
2010
13 years 8 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...