Dynamic Epistemic Algebra with Post−conditions to Reason about Robot Navigation
Alexander Horn
Details
| Book Title |
Proceedings of the 18th International Workshop on Logic‚ Language‚ Information and Computation |
| Pages |
161–175 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
6642 |
| Year |
2011 |
Links
Related pages
|
People |