Reflection and meta-level artificial intelligence architectures
Towards provably correct system synthesis and extension
METAFOL: Program tactics and logic tactics plus reflection
Descriptive dynamic logic and its application to reflective architectures
Inference and reflection in the object-centered representation language NOOS
Meta-level selection techniques for the control of default reasoning
Declarative reflection tools for agent shells
Using reflection techniques for flexible problem solving (with examples from diagnosis)
Implementation of a reflective system
A hierarchical and reflective framework for synchronization and scheduling controls
Calendar of conferences and events