Formal semantics of meta-level architectures: Temporal epistemic reflection

DOI10.1002/INT.10139zbMath1101.68673OpenAlexW2142174478WikidataQ124936399 ScholiaQ124936399MaRDI QIDQ3156879

Jan Treur, Wiebe van der Hoek, John-Jules Ch. 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)

Cites Work

• Unnamed Item
• Unnamed Item

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