Reasoning about effects of concurrent actions
From MaRDI portal
Recommendations
Cited in
(19)- Programming simultaneous actions using common knowledge
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Representing and reasoning about concurrent actions with abductive logic programs
- Abductive reasoning through filtering
- ConGolog, a concurrent programming language based on the situation calculus
- What do you really want to do? Towards a theory of intentions for human-robot collaboration
- Representing and planning with interacting actions and privacy
- Defining actions in concurrent declarative programming
- Perspectives on logic-based approaches for reasoning about actions and change
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- scientific article; zbMATH DE number 1301605 (Why is no real title available?)
- scientific article; zbMATH DE number 2080342 (Why is no real title available?)
- scientific article; zbMATH DE number 928018 (Why is no real title available?)
- Reasoning about concurrent interaction
- Logic Programming and Nonmonotonic Reasoning
- Formalizing sensing actions -- a transition function based approach
- Temporal representation and reasoning in artificial intelligence: A review
- Nonmonotonic causal theories
- Equilibrium logic
This page was built for publication: Reasoning about effects of concurrent actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352530)
