Dynamic Epistemic Algebra with Post−conditions to Reason about Robot Navigation
Alex Horn
Details
| Address |
Berlin‚ Heidelberg |
| Book Title |
Proceedings of the 18th International Workshop on Logic‚ Language‚ Information and Computation |
| Location |
Philadelphia‚ PA‚ USA |
| Month |
may |
| Pages |
161–175 |
| Publisher |
Springer−Verlag |
| Series |
WoLLIC'11 |
| Year |
2011 |
Links
Related pages
|
People |