|
СТ |
Reflective Agents in Metalogic Programming |
1992 |
Constantini S., Dell Acqua P., Lanzarone G. A. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |
|
СТ |
SLD-Resolution with Reflection |
1994 |
Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
A Basis for a Multilevel Metalogic Programming Language |
1994 |
Barklund J., Boberg K., Dell Acqua P. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Extending Horn Clause Theories by Reflection Principles |
1994 |
Costantini S., Dell Acqua P., Lanzarone G. A. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
|
СТ |
Semantical Properties of Encodings in Logic Programming |
1995 |
Barklund J., Dell Acqua P., Costantini S., Lanzarone G. A. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
