Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains--and a case study (2000) [7 citations — 3 self]
by Michael Thielscher
In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'2000
http://pikas.inf.tu-dresden.de/~mit/publications/conferences/AAAI00.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Thielscher00modelingactions,author = {Michael Thielscher},
title = {Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains--and a case study},
booktitle = {In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'2000},
year = {2000},
pages = {497--502},
publisher = {MIT Press}
}
Years of Citing Articles
Abstract:
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
Citations
| 523 | The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression – Reiter - 1991 |
| 133 | Ramification and causality – Thielscher - 1997 |
| 113 | Natural Actions, Concurrency and Continuous Time in the Situation Calculus – Reiter - 1996 |
| 50 | From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem – Thielscher - 1999 |
| 38 | Representing the knowledge of a robot – Thielscher - 2000 |
| 21 | A new deductive approach to planning. New Generation Computing – Holldobler, Schneeberger - 1990 |
| 6 | Fluent Calculus planning with continuous change – Thielscher - 1999 |
| 3 | Logic Modelling Workshop. http://www.ida.liu.se/ext/etai/lmw – Sandewall - 1999 |
| 1 | The LMW traffic world in the fluent calculus. http://www.ida. liu.se/ext/etai/lmw/TRAFFIC/001 – Henschel, Thielscher - 1999 |
