scientific article; zbMATH DE number 928018
From MaRDI portal
Publication:4893671
zbMATH Open0856.68134MaRDI QIDQ4893671FDOQ4893671
Authors: Sven-Erik Bornscheuer, Michael Thielscher 
Publication date: 3 February 1997
Title of this publication is not available (Why is that?)
Recommendations
- Representing and reasoning about concurrent actions with abductive logic programs
- Reasoning about effects of concurrent actions
- Two components of an action language
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
- Multivalued action languages with constraints in \(CLP(FD)\)
Cited In (10)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Formalization of reasoning about default action (preliminary report)
- Multi-level programming and conflict resolution
- Programming simultaneous actions using common knowledge
- Applications of action languages in cognitive robotics
- Title not available (Why is that?)
- Default reasoning by deductive planning
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Reasoning about concurrent interaction
- Representing Action Domains with Numeric-Valued Fluents
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4893671)
