30 citations · 49 across the 16 of their papers we have counts for
Showing 2000 · cs.AIShow all
2 papers · 2 filters
cs.AI2000★ 30 cited
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…