Agent Logics as Program Logics: Grounding KARO.

Koen V. Hindriks, John-Jules Ch. Meyer

Browse the full KI paper archive.