Reasoning about effects of concurrent actions
From MaRDI portal
Publication:4352530
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)
68N17: Logic programming
Related Items
Formalizing sensing actions -- a transition function based approach, Temporal representation and reasoning in artificial intelligence: A review, An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints, Nonmonotonic causal theories, Equilibrium logic, Abductive reasoning through filtering, What do you really want to do? Towards a theory of intentions for human-robot collaboration, Representing and planning with interacting actions and privacy