Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

The LMW Traffic World in the Fluent Calculus.

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): nr 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.

Keywords:
First posting
1999-12-18		ETAI Newsletter on Actions and Change, December 20, 1999
Intended publication
2000-12-05 		Postscript Checksum
Info from authors  
Third-party information  
[About LiEP] [About Checksum validation] [About compression formats]
Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se 		~