2196 search results - page 72 / 440 » Practical Reasoning Using Values |
108
click to vote
CADE
2005
Springer
16 years 5 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
CADE
2004
Springer
16 years 5 days ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
IANDC
2010
14 years 9 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
194
click to vote
PADL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...