Sciweavers

1426 search results - page 16 / 286
» Specification of nonmonotonic reasoning
Sort
View
DEON
2004
Springer
15 years 3 months ago
Defeasible Logic: Agency, Intention and Obligation
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
Guido Governatori, Antonino Rotolo
IEAAIE
1998
Springer
15 years 1 months ago
Development of an Ecological Decision Support System
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...
Frits van Beusekom, Frances M. T. Brazier, Piet Sc...
CORR
2000
Springer
132views Education» more  CORR 2000»
14 years 9 months ago
Declarative Representation of Revision Strategies
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...
Gerhard Brewka
KR
2000
Springer
15 years 1 months ago
Finding Admissible and Preferred Arguments Can be Very Hard
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
AMAI
2004
Springer
15 years 3 months ago
Production Inference, Nonmonotonicity and Abduction
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
Alexander Bochman