Sciweavers

191 search results - page 2 / 39
» Temporal Extensions to Defeasible Logic
Sort
View
APIN
2000
155views more  APIN 2000»
13 years 5 months ago
Defeasible Logic on an Embedded Microcontroller
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
Michael A. Covington
IGPL
2010
132views more  IGPL 2010»
13 years 3 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
IBERAMIA
2010
Springer
13 years 3 months ago
A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
Teresa Alsinet, Ramón Béjar, Lluis G...
ICAIL
2007
ACM
13 years 9 months ago
Variants of temporal defeasible logics for modelling norm modifications
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...
Guido Governatori, Antonino Rotolo, Régis R...
AUSAI
2007
Springer
13 years 11 months ago
Characterising Deadlines in Temporal Modal Defeasible Logic
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
Guido Governatori, Joris Hulstijn, Régis Ri...