260 search results - page 11 / 52 » Nonmonotonic Reasoning in FLORA-2 |
LFCS
1992
Springer
14 years 1 months ago
1992
Springer
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
IEAAIE
1998
Springer
14 years 2 months ago
1998
Springer
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...
CORR
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
KR
2000
Springer
14 years 1 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
AMAI
2008
Springer
13 years 10 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...