1368 search results - page 72 / 274 » Personality-Based Practical Reasoning |
159
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
125
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
123
click to vote
LPAR
2001
Springer
15 years 6 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
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...