Sciweavers

325 search results - page 2 / 65
» Representation Theory for Default Logic
Sort
View
ECSQARU
2009
Springer
13 years 12 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
JELIA
2004
Springer
13 years 10 months ago
An Implementation of Statistical Default Logic
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
Gregory R. Wheeler, Carlos Viegas Damásio
AAAI
1996
13 years 6 months ago
Splitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
Hudson Turner
IJCAI
1989
13 years 6 months ago
Preferred Subtheories: An Extended Logical Framework for Default Reasoning
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
Gerhard Brewka
BIRTHDAY
2000
Springer
13 years 9 months ago
Prioritizing Default Logic
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
Gerhard Brewka, Thomas Eiter