Formal semantics of meta-level architectures: Temporal epistemic reflection

Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur. Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst., 18(12):1293-1317, 2003. [doi]

Abstract

Abstract is missing.