A Representation Theorem for Change through Composition of Activities
From MaRDI portal
Publication:4972158
DOI10.1145/3329121zbMath1433.68426MaRDI QIDQ4972158
Michael Gruninger, Bahar Aameri
Publication date: 22 November 2019
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3329121
first-order logic; reasoning about action; partial automorphisms; algebraic representation of change; canonical activities
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation