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