260 search results - page 33 / 52 » Nonmonotonic Reasoning in FLORA-2 |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
AUSAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
KI
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
AAAI
2000
13 years 11 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...