scientific article; zbMATH DE number 928018
From MaRDI portal
Publication:4893671
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
(13)- Programming simultaneous actions using common knowledge
- Multi-level programming and conflict resolution
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Representing and reasoning about concurrent actions with abductive logic programs
- 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
- Representing Action Domains with Numeric-Valued Fluents
- scientific article; zbMATH DE number 1301605 (Why is no real title available?)
- Reasoning about effects of concurrent actions
- Formalization of reasoning about default action (preliminary report)
- scientific article; zbMATH DE number 1929152 (Why is no real title available?)
- Reasoning about concurrent interaction
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)
