414 search results - page 67 / 83 » Resolution for Intuitionistic Logic |
KR
2000
Springer
14 years 10 days ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
DIS
2007
Springer
14 years 2 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...