503 search results - page 8 / 101 » Interpolative Boolean Logic |
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
FUZZY
2004
Springer
15 years 2 months ago
2004
Springer
DLOG
2003
14 years 10 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...