EPIA
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
EPIA
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We present an approach to agents that can reason, react to the environment and are able to update their own knowledge as a result of new incoming information. Each agents...
EPIA
2001
Springer
14 years 3 months ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
EPIA
2001
Springer
14 years 3 months ago
2001
Springer
EPIA
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...