Sciweavers

1426 search results - page 16 / 286
» Specification of nonmonotonic reasoning
Sort
View
DEON
2004
Springer
15 years 5 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 4 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 11 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
71
Voted
KR
2000
Springer
15 years 3 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
87
Voted
AMAI
2004
Springer
15 years 5 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