Add to ORKGThe purpose of this paper is to give a formal account of a kind of agency so far neglected in the field of philosophical modal logic of action: planning agency. In doing this we follow the standard approach of modal logics of agency exemplified by the works of Belnap, Chellas and Pörn. Since we believe there is a close relation between planning, time and indeterminism, we use the theory of branching time as a conceptual framework for investigating the basic features of planning agency. Besides introducing a branching-time semantics, we also provide a calculus sound and complete with respect to this semantics
Abstract. We propose a formal semantics of intention and plan dy-namics based on the notion of local...
A formal language for representing and reasoning about time, actions and plans in a uniform way is p...
Any form of model-based reasoning is limited by the adherence of the model to the actual reality. Sc...
Abstract. The purpose of this paper is to give a formal account of a kind of agency so far neglected...
AbstractThis paper integrates logical and probabilistic approaches to the representation of planning...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the phi...
Abstract. This article considers the link between theory and practice in agentoriented programming. ...
Planning algorithms have traditionally been geared toward achievement goals in single-agent environm...
This paper deals with the historical and philosophical background of the introduction of the notion ...
A formal language for representing and reasoning about time, actions and plans in a uniform way is p...
Within the timeline-based framework, planning problems are modeled as sets of independent, but int...
As the limitations of traditional AI plan representations have become apparent, researchers have tur...
Abstract Our focus in this paper is on natural exogenous actions (Pinto [8]), namely those which oc...
Logics of general branching time, or historical necessity, have long been studied but important axio...
Abstract. We propose a formal semantics of intention and plan dy-namics based on the notion of local...
A formal language for representing and reasoning about time, actions and plans in a uniform way is p...
Any form of model-based reasoning is limited by the adherence of the model to the actual reality. Sc...
Abstract. The purpose of this paper is to give a formal account of a kind of agency so far neglected...
AbstractThis paper integrates logical and probabilistic approaches to the representation of planning...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the phi...
Abstract. This article considers the link between theory and practice in agentoriented programming. ...
Planning algorithms have traditionally been geared toward achievement goals in single-agent environm...
This paper deals with the historical and philosophical background of the introduction of the notion ...
A formal language for representing and reasoning about time, actions and plans in a uniform way is p...
Within the timeline-based framework, planning problems are modeled as sets of independent, but int...
As the limitations of traditional AI plan representations have become apparent, researchers have tur...
Abstract Our focus in this paper is on natural exogenous actions (Pinto [8]), namely those which oc...
Logics of general branching time, or historical necessity, have long been studied but important axio...
Abstract. We propose a formal semantics of intention and plan dy-namics based on the notion of local...
A formal language for representing and reasoning about time, actions and plans in a uniform way is p...
Any form of model-based reasoning is limited by the adherence of the model to the actual reality. Sc...