50 search results - page 6 / 10 » Revising Nonmonotonic Theories: The Case of Defeasible Logic |
APPINF
2003
15 years 1 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
109
click to vote
TPLP
2002
14 years 11 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
100
click to vote
AI
1998
Springer
14 years 11 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
114
click to vote
AAAI
2004
15 years 1 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...