Sciweavers

67 search results - page 2 / 14
» Nested Rules in Defeasible Logic
Sort
View
RR
2007
Springer
13 years 12 months ago
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
Efstratios Kontopoulos, Nick Bassiliades, Grigoris...
RULEML
2005
Springer
13 years 11 months ago
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
Guido Governatori, Duy Hoang
ECAI
2004
Springer
13 years 11 months ago
Extending Defeasible Logic and Defeasible Prolog
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
Ahti-Veikko Pietarinen
ECAI
2000
Springer
13 years 10 months ago
A Family of Defeasible Reasoning Logics and its Implementation
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
Grigoris Antoniou, David Billington, Guido Governa...
PRICAI
2000
Springer
13 years 9 months ago
Argumentation Semantics for Defeasible Logics
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
Guido Governatori, Michael J. Maher, Grigoris Anto...