A Representation Theorem for Change through Composition of Activities

DOI10.1145/3329121MaRDI QIDQ4972158zbMATH OpenOpenAlexFDO

Authors Bahar Aameri, Michael Gruninger

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

zbMATH Keywords

algebraic representation of changecanonical activitiesfirst-order logicpartial automorphismsreasoning about action

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• The representation of composition structures
• Representing action and change by logic programs
• A general framework for reasoning about change
• Changes of problem representation. Theory and experiments
• Additive representations over actions and acts
• On Compositionality of Dinatural Transformations
• scientific article; zbMATH DE number 1301603

This page was built for publication: A Representation Theorem for Change through Composition of Activities

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