503 search results - page 8 / 101 » Interpolative Boolean Logic |
CADE
2005
Springer
15 years 12 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
15 years 1 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 5 months ago
2004
Springer
DLOG
2003
15 years 1 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...