1814 search results - page 32 / 363 » Extended First-Order Logic |
118
click to vote
PODS
2008
ACM
16 years 26 days ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
120
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
119
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
116
Voted
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...
102
click to vote
AAMAS
2008
Springer
15 years 26 days ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...