| 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".