СТ |
A Multiple-Valued Logical Semantics for Prolog |
1996 |
Barbuti R., Mancarella P. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
СТ |
The Acceptability Semantics for Logic Programs |
1994 |
Kakas A. C., Mancarella P., Dung P. M. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
СТ |
Abduction and Abductive Logic Programming |
1994 |
Kakas A. C., Mancarella P. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
СТ |
An Abductive Framework for Extended Logic Programming |
1995 |
Brogi A., Lamma E., Mancarella P., Mello P. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.07.1995 |
СТ |
Stable Theories for Logic Programs |
1991 |
Kakas A. C., Mancarella P. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
СТ |
Normal Logic Programs as Open Positive Programs |
1992 |
Brogi A., Lamma E., Mancarella P., Mello P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
СТ |
Algebraic Properties of a Class of Logic Programs |
1990 |
Mancarella P., Pedreschi D., Rondinelli M., Tagliatti M. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
Modular Logic Programming |
1994 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
СТ |
An Algebra of Logic Programs |
1988 |
Mancarella P., Pedreschi D. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
СТ |
Implementation of Program Composition Operations |
1994 |
Brogi A., Chiarelli A., Mancarella P., Mazzotta V., Pedreschi D., Renso C., Turini F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
СТ |
Meta for Modularising Logic Programming |
1992 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |