2 papers
cs.AI2000
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
Henrik Grosskreutz, Gerhard Lakemeyer
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is eve…
cs.AI2000
Multi-Agent Only Knowing
Joseph Y. Halpern, Gerhard Lakemeyer
Levesque introduced a notion of ``only knowing'', with the goal of capturing certain types of nonmonotonic reasoning. Levesque's logic dealt with only the case of a single agent. R…