|
СТ |
A System for Measuring Function Points from an ER-DFD Specification |
2004 |
Lamma E., Mello P., Riguzzi F. |
|
|
|
The Computer J. |
14.05.2004 |
|
СТ |
Modularity in Logic Programming |
1994 |
Lamma E., Mello 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 |
|
СТ |
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 |
|
СТ |
Partial Evaluation for Hierarchies of Logic Theories |
1990 |
Sugliesi M., Lamma E., Mello P. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture |
1994 |
Ciampolini A., Lamma E., Mello P., Stefanelli C. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.06.1994 |
|
СТ |
Computing 3-valued Stable Models by using the ATMS |
1993 |
Lamma E., Mello P. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.12.1993 |
|
СТ |
Techniques for Implementing Contexts in Logic Programming |
1992 |
Denti E., Lamma E., Mello P., Natali A., Omicini A. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses |
1992 |
Brogi A., Ciampolini A., Lamma E., Mello P. |
|
|
|
Information Processing Letters |
01.10.1992 |
|
СТ |
Hypotetical Reasoning in Logic Programming: A Semantic Approach |
1990 |
Brogi A., Lamma E., Mello P. |
|
|
|
Information Processing Letters |
15.03.1991 |
