Towards the assessment of logics for concurrent actions

DOI10.1007/3-540-61313-7_109MaRDI QIDQ4632329zbMATH OpenOpenAlexFDO

Authors Choong-Ho Yi

Publication date 29 April 2019

Published in Practical Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61313-7_109

zbMATH Keywords

concurrent actionobject domainsequential action

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Representing and reasoning about concurrent actions with abductive logic programs
• Parallel action: Concurrent dynamic logic with independent modalities
• An action-based framework for veryfying logical and behavioural properties of concurrent systems
• scientific article; zbMATH DE number 3958700
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Associative concurrent evaluation of logic programs
• scientific article; zbMATH DE number 1182731
• Hypersequents, logical consequence and intermediate logics for concurrency

Cites work

• A logic-based calculus of events
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• The Range of Applicability of some Non-monotonic Logics for Strict Inertia

Cited in

(3)

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• Reasoning about concurrent interaction

This page was built for publication: Towards the assessment of logics for concurrent actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632329)