scientific article; zbMATH DE number 1390352
From MaRDI portal
Publication:4934644
zbMath0944.68170MaRDI QIDQ4934644
Giuseppe De Giacomo, Hector J. Levesque
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Progression and verification of situation calculus agents with bounded beliefs ⋮ Knowledge-based programs as building blocks for planning ⋮ Non-terminating processes in the situation calculus ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Experiences with an interactive museum tour-guide robot ⋮ Making Golog Norm Compliant ⋮ Knowledge, action, and the frame problem
Uses Software
This page was built for publication: