Sciweavers

1943 search results - page 4 / 389
» Ordering Default Theories
Sort
View
BIRTHDAY
2000
Springer
13 years 11 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
JELIA
2004
Springer
14 years 22 days 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
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
13 years 11 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel
IFIP
2005
Springer
14 years 26 days ago
Relative Trustworthiness
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
Johan W. Klüwer, Arild Waaler
ECAI
1998
Springer
13 years 11 months ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
Paolo Liberatore, Marco Schaerf