Skip to main content
padlock icon - secure page this page is secure

Publisher: Taylor and Francis Ltd

More about this publication?
Volume 11, Number 1, 1 January 1999

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

Favourites:
ADD

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

Favourites:
ADD
Favourites:
ADD

Knowledge representation with multiple logical theories and time
pp. 47-76(30)
Authors: Mancarella, Paolo; Raffaeta, Alessandra; Turini, Franco

Favourites:
ADD

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

Favourites:
ADD
Favourites:
ADD

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

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more