Progression of decomposed local-effect action theories

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	16
Number of pages	41
Journal	ACM Transactions on Computational Logic
Volume	18
Issue number	2
DOIs	https://doi.org/10.1145/3091119
Publication status	Published - 1 Jun 2017

Decomposition, Forgetting, Inseparability, Progression, Reasoning about actions, ONTOLOGIES, forgetting, inseparability, progression, decomposition, 1ST-ORDER, LOGIC

ID: 10093953