The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...