503 search results - page 8 / 101 » Interpolative Boolean Logic |
124
Voted
CADE
2005
Springer
16 years 5 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.
126
click to vote
BIRTHDAY
2008
Springer
15 years 7 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...
123
Voted
FUZZY
2004
Springer
15 years 10 months ago
2004
Springer
134
Voted
CAGD
2010
15 years 2 months ago
2010
137
Voted
DLOG
2003
15 years 6 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...