Master thesis defense in Algolog. All are welcome.
Time: Thursday, 4 April, 13.00.
Place: build. 322, room 205.
Speaker: Daniel Svendsen.
Title of thesis: Implementation of Conditional Epistemic Planning