248 search results - page 4 / 50 » Circuit-based Boolean Reasoning |
AAAI
2000
13 years 7 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
KR
2000
Springer
13 years 9 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
ENTCS
2010
13 years 6 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
FROCOS
2009
Springer
14 years 18 days ago
2009
Springer
RSFDGRC
2005
Springer
13 years 11 months ago
2005
Springer