2152 search results - page 23 / 431 » On Automating the Calculus of Relations |
94
Voted
LICS
2000
IEEE
15 years 4 months 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...
171
Voted
TABLEAUX
2009
Springer
15 years 7 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
15 years 6 months ago
2007
Springer
90
Voted
TABLEAUX
2005
Springer
15 years 6 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
15 years 20 days 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...