Title: The LMW Traffic World in the Fluent Calculus
Authors: Andreas Henschel and Michael Thielscher
Series: Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 5 (2000), No. 014
URL: http://www.ep.liu.se/ea/cis/2000/014/

Abstract: An axiomatization of the Traffic World scenario as proposed in [1] is presented using the Fluent Calculus [4]. The most challenging property of the domain is its involving such diverse features and continuous change, concurrency, non-determinism, and ramifications, i.e., indirect effects. We show that the Fluent Calculus along with its augmentations is well-suited to meet this challenge.

First posting
ETAI Newsletter on Actions and Change, December 20, 1999
Original publication
Postscript Checksum
Checksum (old) Information about recalculation of checksum

This article was first posted on the Internet as specified under "First posting", and appeared on the E-press server on the date specified under "Original publication".