Journal of Experimental & Theoretical Artificial Intelligence

Introduction to the special issue on time and temporal reasoning
pp. 1-2(2)
Authors: Morris R.; Khatib L.

Changing times: a causal theory of probabilistic temporal reasoning
pp. 3-21(19)
Authors: Tawfik A. Y.; Neufeld E.

Handling contingency in temporal constraint networks: from consistency to controllabilities
pp. 23-45(23)
Authors: Vidal T.; Fargier H.

Knowledge representation with multiple logical theories and time
pp. 47-76(30)
Authors: Mancarella P.; Raffaeta A.; Turini F.

A clausal resolution method for CTL branching-time temporal logic
pp. 77-93(17)
Authors: Bolotov A.; Fisher M.

Removing irrelevant information in temporal resolution proofs
pp. 95-121(27)
Author: Dixon C.

Knowledge-based temporal interpolation
pp. 123-144(22)
Author: Shahar Y.