Towards the assessment of logics for concurrent actions

DOI10.1007/3-540-61313-7_109zbMath1419.68139OpenAlexW2101517537MaRDI QIDQ4632329

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 actionsequential actionobject domain

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• A logic-based calculus of events
• The Range of Applicability of some Non-monotonic Logics for Strict Inertia

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