Sciweavers

454 search results - page 4 / 91
» Representation results for defeasible logic
Sort
View
AGI
2008
13 years 10 months ago
OSCAR: An Architecture for Generally Intelligent Agents
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
John L. Pollock
LPNMR
2011
Springer
12 years 11 months ago
What Are the Necessity Rules in Defeasible Reasoning?
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
Ho-Pun Lam, Guido Governatori
AUSAI
2006
Springer
14 years 9 days 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
RR
2010
Springer
13 years 7 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
Hui Wan, Michael Kifer, Benjamin N. Grosof
COMMA
2010
13 years 3 months ago
Base Logics in Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Anthony Hunter