325 search results - page 4 / 65 » Representation Theory for Default Logic |
ECAI
1998
Springer
14 years 23 days ago
1998
Springer
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...
COSIT
1999
Springer
14 years 24 days ago
1999
Springer
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...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
JELIA
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
AAAI
2007
13 years 11 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...