3776 search results - page 518 / 756 » Partition-Based Logical Reasoning |
TPHOL
1999
IEEE
14 years 17 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
ICTAI
1996
IEEE
14 years 13 days ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
LPNMR
1990
Springer
14 years 9 days ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
CIE
2006
Springer
14 years 15 hour ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
LREC
2008
13 years 9 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...