107
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
116
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
We present MSDA (Major Senses Discovery Algorithm)
110
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
100
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...