3776 search results - page 124 / 756 » Partition-Based Logical Reasoning |
112
click to vote
KR
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
129
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
82
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
