3776 search results - page 170 / 756 » Partition-Based Logical Reasoning |
131
Voted
DLOG
2010
15 years 1 months ago
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
97
Voted
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
151
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
134
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
162
Voted
KR
1994
Springer
15 years 7 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....