Publication:4893671
From MaRDI portal
zbMath0856.68134MaRDI QIDQ4893671
Sven-Erik Bornscheuer, Michael Thielscher
Publication date: 3 February 1997
Related Items
Formalization of reasoning about default action (preliminary report), Reasoning about nondeterministic and concurrent actions: A process algebra approach, Default reasoning by deductive planning, Situation calculus for controller synthesis in manufacturing systems with first-order state representation, Applications of Action Languages in Cognitive Robotics