Formal semantics of meta-level architectures: Temporal epistemic reflection

DOI10.1002/INT.10139MaRDI QIDQ3156879zbMATH OpenOpenAlexWikidataFDO

Authors Wiebe van der Hoek, Jan Treur, John-Jules Meyer

Publication date 12 January 2005

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.10139

zbMATH Keywords

meta-level reasoning processes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1754683
• scientific article; zbMATH DE number 1754682
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• Reasoning about reasoning in a meta-level architecture
• Temporal languages for epistemic programs
• Temporal semantics for concurrent METATEM
• Unifying hyper and epistemic temporal logics
• Temporalizing epistemic default logic
• scientific article; zbMATH DE number 1754689
• Symbolic model checking for temporal-epistemic logic

Cited in

(5)

• Reasoning about reasoning in a meta-level architecture
• scientific article; zbMATH DE number 1754682 (Why is no real title available?)
• scientific article; zbMATH DE number 1754683 (Why is no real title available?)
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• Algebraic Methodology and Software Technology

This page was built for publication: Formal semantics of meta-level architectures: Temporal epistemic reflection

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