A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning

Open in new window