nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A hierarchical and reflective framework for synchronization and scheduling controls
|
Elrad, Tzilla |
|
1996 |
12 |
2-3 |
p. 243-256 14 p. |
artikel |
2 |
Calendar of conferences and events
|
|
|
1996 |
12 |
2-3 |
p. 257-261 5 p. |
artikel |
3 |
Declarative reflection tools for agent shells
|
Tyugu, Enn |
|
1996 |
12 |
2-3 |
p. 203-215 13 p. |
artikel |
4 |
Descriptive dynamic logic and its application to reflective architectures
|
Sierra, Carles |
|
1996 |
12 |
2-3 |
p. 157-171 15 p. |
artikel |
5 |
Implementation of a reflective system
|
Pitrat, Jacques |
|
1996 |
12 |
2-3 |
p. 235-242 8 p. |
artikel |
6 |
Inference and reflection in the object-centered representation language NOOS
|
Arcos, Josep LluĂs |
|
1996 |
12 |
2-3 |
p. 173-188 16 p. |
artikel |
7 |
METAFOL: Program tactics and logic tactics plus reflection
|
Benerecetti, Massimo |
|
1996 |
12 |
2-3 |
p. 139-156 18 p. |
artikel |
8 |
Meta-level selection techniques for the control of default reasoning
|
Allis, Victor |
|
1996 |
12 |
2-3 |
p. 189-201 13 p. |
artikel |
9 |
Reflection and meta-level artificial intelligence architectures
|
de Mantaras, Ramon Lopez |
|
1996 |
12 |
2-3 |
p. 119-121 3 p. |
artikel |
10 |
Towards provably correct system synthesis and extension
|
Giunchiglia, Fausto |
|
1996 |
12 |
2-3 |
p. 123-137 15 p. |
artikel |
11 |
Using reflection techniques for flexible problem solving (with examples from diagnosis)
|
ten Teije, Annette |
|
1996 |
12 |
2-3 |
p. 217-234 18 p. |
artikel |