TIME
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
TIME
1998
IEEE
13 years 11 months ago
1998
IEEE
TIME
1998
IEEE
13 years 11 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
TIME
1998
IEEE
13 years 11 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...