СТ |
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs |
2001 |
Bozzano M., Delzanno G., Martelli M. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
СТ |
Multi-agent Systems Development as a Software Engineering Enterprise |
1999 |
Bozzano M., Delzanno G., Martelli M., Mascardi V., Zini F. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
СТ |
A Linear Logic Calculus of Objects |
1996 |
Bugliesi M., Delzanno G., Liquori L., Martelli M. |
|
|
|
Logic Programming |
12.03.1998 |
СТ |
Objects in Forum |
1995 |
Delzanno G., Martelli M. |
|
|
|
Logic Programming: Proc. of the Intern. Symp. |
24.04.1996 |
СТ |
Failure and Success made Symmetric |
1990 |
Levi G., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
A New Declarative Semantics for Logic Languages |
1988 |
Falaschi M., Levi G., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
СТ |
Negation as Instantiation: A new Rule for the Treatment of Negation in Logic Programming |
1991 |
Di Pierro A., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
CLP(AD) as a Deductive Database Language with Updates |
1992 |
Bertino E., Martelli M., Montesi D. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |