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
1999-12-18
ETAI Newsletter on Actions and Change, December 20, 1999
Original publication
2000-12-05
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".