|
СТ |
Asserting Lemmas in the Stable Model Semantics |
1996 |
Costantini S., Lanzarone G. A., Magliocco G. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Contributions to the stable model semantics of logic programs with negation |
1995 |
Costantini S. |
|
|
|
Theoretical Computer Science |
12.09.1996 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Extending Horn Clause Theories by Reflection Principles |
1994 |
Costantini S., Dell Acqua P., Lanzarone G. A. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
