3773 search results - page 122 / 755 » Logical Reasoning |
86
Voted
DLOG
2010
15 years 1 months ago
2010
119
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
110
Voted
CADE
2005
Springer
16 years 3 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.
156
Voted
LOGCOM
2007
15 years 3 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
145
Voted
KR
2000
Springer
15 years 7 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...