Actions in a multi-agent setting have complex characteris-tics. They may not only affect the real world, but also affect the knowledge and beliefs of agents in the world. In many cases, the effect on the beliefs or knowledge of an agent is not due to that agent actively doing some actions, but could be simply the result of that agent’s perspective in terms of where it is looking. In dynamic epistemic logic (DEL), such multi-agent actions are expressed as complex constructs or as Kripke model type structures. This paper uses the multi-agent action language mA+ to show how one can take advantage of some of the perspective fluents of the world to model com-plex actions, in the sense of DEL, as simple action sequences. The paper describes sever...
In this paper we present TAL-C, a logic of action and change for multi-agent environments which has ...
A theory of action suitable for reasoning about events in multiagent or dynamically changing environ...
Classical planning is the problem of finding a sequence of actions that achieve a desired goal from...
Abstract. Reasoning about actions forms the basis of many tasks such as prediction, planning, and di...
KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, and wil...
abstract: Reasoning about actions forms the basis of many tasks such as prediction, planning, and di...
Recent work on Epistemic Planning uses Dynamic Epistemic Logic (DEL) to formalise and solve multi-ag...
International audienceFormal models for multi-agent systems (MAS) have been introduced and studied i...
As the research in multi-agent domain continues to grow it is becoming more and more important to in...
Epistemic reasoning entails the ability of an agent to reason about the knowledge and beliefs of any...
Multi-agent systems have been employed to model, simulate and explore a variety of real-world scenar...
Over the last few years, the concept of Artificial Intelligence has become central in different task...
We discuss a new concept of agent programs that combines logic programming with reasoning about acti...
AbstractThe last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the...
Single-agent planning in partially observable settings is a well understood problem and existing pla...
In this paper we present TAL-C, a logic of action and change for multi-agent environments which has ...
A theory of action suitable for reasoning about events in multiagent or dynamically changing environ...
Classical planning is the problem of finding a sequence of actions that achieve a desired goal from...
Abstract. Reasoning about actions forms the basis of many tasks such as prediction, planning, and di...
KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, and wil...
abstract: Reasoning about actions forms the basis of many tasks such as prediction, planning, and di...
Recent work on Epistemic Planning uses Dynamic Epistemic Logic (DEL) to formalise and solve multi-ag...
International audienceFormal models for multi-agent systems (MAS) have been introduced and studied i...
As the research in multi-agent domain continues to grow it is becoming more and more important to in...
Epistemic reasoning entails the ability of an agent to reason about the knowledge and beliefs of any...
Multi-agent systems have been employed to model, simulate and explore a variety of real-world scenar...
Over the last few years, the concept of Artificial Intelligence has become central in different task...
We discuss a new concept of agent programs that combines logic programming with reasoning about acti...
AbstractThe last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the...
Single-agent planning in partially observable settings is a well understood problem and existing pla...
In this paper we present TAL-C, a logic of action and change for multi-agent environments which has ...
A theory of action suitable for reasoning about events in multiagent or dynamically changing environ...
Classical planning is the problem of finding a sequence of actions that achieve a desired goal from...