4352 search results - page 28 / 871 » A Representation Theorem and Applications |
122
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
121
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
128
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
106
click to vote
ARSCOM
2002
15 years 1 months ago
2002
In 1973, Deuber published his famous proof of Rado's conjecture regarding partition regular sets. In his proof, he invented structures called (m, p, c)-sets and gave a partit...
114
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...