Bachelor's Thesis: Efficient Default Reasoning in Golog with Answer Set Programming [completed]

Submitted by Jens Cla├čen on 16. December 2014 - 19:00

The goal of this thesis was to integrate Answer Set Programming (ASP) into a Golog system in order to obtain an agent framework that is capable of efficient non-monotonic reasoning with introspection.