Model-theoretical foundation of action and progression

DOI10.1007/BF02919430zbMath0886.68125OpenAlexW1997573576MaRDI QIDQ1373857

Qijia Tian, Zhongzhi Shi

Publication date: 25 November 1997

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02919430

zbMATH Keywords

situation calculus

Mathematics Subject Classification ID

Knowledge representation (68T30) Classical propositional logic (03B05)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Model-theoretical foundation of action and progression