Add to ORKGIn this paper temporal relationships are expressed that provide an external temporal grounding of intentional notions. Justifying conditions are presented that formalise criteria that a (candidate) statement must satisfy in order to qualify as an external representation of a belief, desire or intention. Using these external representations, anticipatory reasoning about intentional dynamics can be performed
Probabilistic reasoning is often attributed a temporal meaning, in which conditioning is regarded as...
Planning effective courses of action requires mak-ing predictions about what the world may be like a...
Much previous work in artificial intelligence has neglected representing time in all its complexity....
Abstract In this paper temporal relationships are expressed that provide an external temporal ground...
In this paper a temporal trace language is defined in which formulae can be expressed that provide a...
In this paper the internal dynamics of mental states based on beliefs, desires and intentions, is fo...
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
In this paper the internal dynamics of mental states, in particular states based on beliefs, desire...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
This paper is concerned about the way humans reason about time in the light of reasoning theories an...
International audienceWe propose a formal semantics of intention and plan dy- namics based on the no...
The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a ...
Abstract. This paper discusses several key issues in temporal and causal inference in the context of...
Bratman’s Belief-Desire-Intention (BDI) theory is seminal in the literature on BDI agents. His BDI t...
Probabilistic reasoning is often attributed a temporal meaning, in which conditioning is regarded as...
Planning effective courses of action requires mak-ing predictions about what the world may be like a...
Much previous work in artificial intelligence has neglected representing time in all its complexity....
Abstract In this paper temporal relationships are expressed that provide an external temporal ground...
In this paper a temporal trace language is defined in which formulae can be expressed that provide a...
In this paper the internal dynamics of mental states based on beliefs, desires and intentions, is fo...
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
In this paper the internal dynamics of mental states, in particular states based on beliefs, desire...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
This paper is concerned about the way humans reason about time in the light of reasoning theories an...
International audienceWe propose a formal semantics of intention and plan dy- namics based on the no...
The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a ...
Abstract. This paper discusses several key issues in temporal and causal inference in the context of...
Bratman’s Belief-Desire-Intention (BDI) theory is seminal in the literature on BDI agents. His BDI t...
Probabilistic reasoning is often attributed a temporal meaning, in which conditioning is regarded as...
Planning effective courses of action requires mak-ing predictions about what the world may be like a...
Much previous work in artificial intelligence has neglected representing time in all its complexity....