Publication:4934644
From MaRDI portal
zbMath0944.68170MaRDI QIDQ4934644
Giuseppe De Giacomo, Hector J. Levesque
Publication date: 17 January 2000
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Progression and verification of situation calculus agents with bounded beliefs, Knowledge, action, and the frame problem, A history based approximate epistemic action theory for efficient postdictive reasoning, Experiences with an interactive museum tour-guide robot, Non-terminating processes in the situation calculus, Making Golog Norm Compliant
Uses Software