The logic of time and the way we reason about time is intrinsically connected with the way we reason about causality. In this paper, we focus our attention on some of the less obvious ways in which reasoning about time and causality interact. It is explained why in temporal reasoning a firm distinction has to be made between the ontology, i.e., what happens, and the way we describe the ontology. Temporal events need to be redescribed in such a way that they causally explain why some of the events are followed by the others. While building a temporal/causal theory, certain events may be omitted, not because they do not play a causal role, but because they do not play an explanatory role. In doing so, it is possible to eliminate the distincti...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
Reasoning and talking about time is to a great extent reasoning and talking about what actually happ...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...
The logic of time and the way we reason about time is intrinsically connected with the way we reason...
In this paper our work is devoted to systematic study of actions theories by using a logical formal...
We extend the ontology of the situation calculus to provide for the representation of time and even...
This paper presents a new formalism for reasoning about change over time. The formalism derives a cl...
In this contribution, I will argue for an ontological understanding of time as temporality. This, ho...
This paper is concerned about the way humans reason about time in the light of reasoning theories an...
This work concerns temporal aspects of a knowledge based system which holds information on patients ...
What does it mean to say that something is “temporal” or that something “exists” in time? What is ti...
In temporal reasoning there are two interrelated issues; how to model time per se and how to model o...
We are used to regarding actions and other events, such as Brutus’ stabbing of Caesar or the sinking...
This article deals with the role of time in causal models in the social sciences, in particular in s...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
Reasoning and talking about time is to a great extent reasoning and talking about what actually happ...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...
The logic of time and the way we reason about time is intrinsically connected with the way we reason...
In this paper our work is devoted to systematic study of actions theories by using a logical formal...
We extend the ontology of the situation calculus to provide for the representation of time and even...
This paper presents a new formalism for reasoning about change over time. The formalism derives a cl...
In this contribution, I will argue for an ontological understanding of time as temporality. This, ho...
This paper is concerned about the way humans reason about time in the light of reasoning theories an...
This work concerns temporal aspects of a knowledge based system which holds information on patients ...
What does it mean to say that something is “temporal” or that something “exists” in time? What is ti...
In temporal reasoning there are two interrelated issues; how to model time per se and how to model o...
We are used to regarding actions and other events, such as Brutus’ stabbing of Caesar or the sinking...
This article deals with the role of time in causal models in the social sciences, in particular in s...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
Reasoning and talking about time is to a great extent reasoning and talking about what actually happ...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...