Sciweavers

67 search results - page 5 / 14
» Nested Rules in Defeasible Logic
Sort
View
AUSAI
2007
Springer
15 years 3 months ago
Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
Guido Governatori, Paolo Terenziani
HICSS
1999
IEEE
114views Biometrics» more  HICSS 1999»
15 years 1 months ago
On the Analysis of Regulations using Defeasible Rules
Regulations are a wide-spread and important part of governmentand business. Theycodify howproducts must be madeand processes should be performed. Suchregulations can be difficult ...
Grigoris Antoniou, David Billington, Michael J. Ma...
FSS
2008
145views more  FSS 2008»
14 years 9 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
86
Voted
ECRA
2002
129views more  ECRA 2002»
14 years 9 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
88
Voted
RULEML
2010
Springer
14 years 8 months ago
Superiority Based Revision of Defeasible Theories
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
Guido Governatori, Francesco Olivieri, Simone Scan...