Sciweavers

30 search results - page 5 / 6
» Extending Defeasible Logic and Defeasible Prolog
Sort
View
COOPIS
2002
IEEE
13 years 10 months ago
A Defeasible Ontology Language
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
Stijn Heymans, Dirk Vermeir
ECAI
2006
Springer
13 years 9 months ago
On the Existence of Answer Sets in Normal Extended Logic Programs
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
Martin Caminada, Chiaki Sakama
AUSAI
2006
Springer
13 years 9 months ago
ALE Defeasible Description Logic
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monoto...
Pakornpong Pothipruk, Guido Governatori
PRIMA
2007
Springer
13 years 11 months ago
Contextual Agent Deliberation in Defeasible Logic
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
ECSQARU
2009
Springer
13 years 12 months ago
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
Mauro Javier Gómez Lucero, Carlos Ivá...