Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S...
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...