3773 search results - page 112 / 755 » Logical Reasoning |
115
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
120
Voted
IJCAI
2007
15 years 4 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
144
Voted
CADE
1994
Springer
15 years 7 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...
145
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
114
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...