3773 search results - page 326 / 755 » Logical Reasoning |
169
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
194
click to vote
SLOGICA
2011
15 years 1 months ago
2011
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
166
click to vote
DLOG
2007
15 years 9 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
179
click to vote
LPNMR
1997
Springer
15 years 11 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
159
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...