Reasoning about effects of concurrent actions

DOI10.1016/S0743-1066(96)00140-9zbMath0882.68027MaRDI QIDQ4352530

Chitta R. Baral, Michael Gelfond

Publication date: 4 September 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programming inference mechanisms

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

Equilibrium logic ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints ⋮ Formalizing sensing actions -- a transition function based approach ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ What do you really want to do? Towards a theory of intentions for human-robot collaboration ⋮ Representing and planning with interacting actions and privacy ⋮ Abductive reasoning through filtering ⋮ Nonmonotonic causal theories

This page was built for publication: Reasoning about effects of concurrent actions