Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Authors: Andreas Henschel and Michael Thielscher
Article title: The LMW Traffic World in the Fluent Calculus
Publ. type: Article
Volume: 5
Article No: 14
Language: English
Abstract [en]: 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.
Publisher: LINKÖPING University Electronic Press
Year: 2000
Available: 2000-12-05
No. of pages: 18
Series: LINKÖPING Electronic Articles in Computer and Information Science
ISSN: 1401-9841
Note: First posting 1999-12-18 in ETAI Newsletter on Actions and Change, December 20, 1999


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21