Travelled to:
1 × Italy
Collaborated with:
∅ W.v.d.Hoek J.C.Meyer
Talks about:
tempor (2) semant (2) architectur (1) reflect (1) epistem (1) control (1) reason (1) formal (1) level (1) dynam (1)
Person: Jan Treur
DBLP: Treur:Jan
Contributed to:
Wrote 2 papers:
- LOPSTR-1994-HoekMT #semantics
- Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.
- LOPSTR-1994-Treur #architecture #reasoning #semantics
- Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (JT), pp. 353–376.