|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
|Issue:||Vol. 5 (2000), No. 014|
|Abstract:|| An axiomatization of the Traffic World scenario as proposed
in  is presented using the Fluent Calculus . 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.
|ETAI Newsletter on Actions and Change, December 20, 1999|
| Original publication
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".