285 search results - page 15 / 57 » Rational Belief Revision |
KR
1994
Springer
14 years 1 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
KR
2010
Springer
14 years 1 months ago
2010
Springer
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
ECAI
2006
Springer
14 years 23 days ago
2006
Springer
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...
ATAL
2006
Springer
14 years 25 days ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
AUSAI
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution s...