University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Alex Horn

Personal photo - Alex Horn
Alex Horn
Doctoral Student
Student, Balliol College

Wolfson Building, Parks Road, Oxford OX1 3QD

Selected Publications

View all

Manage 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