scientific article; zbMATH DE number 928018
From MaRDI portal
Publication:4893671
zbMath0856.68134MaRDI QIDQ4893671
Sven-Erik Bornscheuer, Michael Thielscher
Publication date: 3 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Applications of Action Languages in Cognitive Robotics ⋮ Default reasoning by deductive planning ⋮ Formalization of reasoning about default action (preliminary report) ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach
This page was built for publication: