Alex Horn
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| Dynamic Epistemic Algebra with Post−conditions to Reason about Robot Navigation Alex Horn In Proceedings of the 18th International Workshop on Logic‚ Language‚ Information and Computation. Pages 161–175. Berlin‚ Heidelberg. May, 2011. Springer−Verlag. |
Info
|
Themes |
|
|
Projects |
|
|
Supervisors |
|