Vol-2372⫷ Vol-2373 ⫸Vol-2374
urn:nbn:de:0074-2373-0


Vol-2373/invited-2⫷Vol-2373/invited_3⫸Vol-2373/paper-1
Gerhard Lakemeyer

Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic