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
(10)- Programming simultaneous actions using common knowledge
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Multi-level programming and conflict resolution
- scientific article; zbMATH DE number 1929152 (Why is no real title available?)
- Formalization of reasoning about default action (preliminary report)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Applications of action languages in cognitive robotics
- Reasoning about concurrent interaction
- Default reasoning by deductive planning
- 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)
