@inproceedings{a4c34317b9a241f79022188a245c7666,
title = "Formal semantics of temporal epistemic reflection",
abstract = "In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and changes of them. Especially the attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these.",
author = "{van der Hoek}, Wiebe and Meyer, {John Jules} and Jan Treur",
year = "1994",
doi = "10.1007/3-540-58792-6_21",
language = "English",
isbn = "9783540587927",
volume = "883 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "332--352",
editor = "L. Fribourg",
booktitle = "Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings",
note = "4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994 ; Conference date: 20-06-1994 Through 21-06-1994",
}