Publications

You are here

Export 5 results:
Author Title [ Type(Asc)] Year
Filters: Author is Paolo Mancarella  [Clear All Filters]
Conference Paper
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Universal Quantification by Case Analysis, in ECAI, 1990, pp. 111-116.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Theory Construction in Computational Logic, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.
B. Bertolino, Mancarella, P., Meo, L., Nini, L., Pedreschi, D., and Turini, F., A Progress Report on the LML Project, in FGCS, 1988, pp. 675-684.
P. Mancarella, Pedreschi, D., and Ruggieri, S., Negation as Failure through Abduction: Reasoning about Termination, in Computational Logic: Logic Programming and Beyond, 2002, pp. 240-272.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Meta for Modularising Logic Programming, in META, 1992, pp. 105-119.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Logic Programming within a Functional Framework, in PLILP, 1990, pp. 372-386.
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., Intensional Negation of Logic Programs: Examples and Implementation Techniques, in TAPSOFT, Vol.2, 1987, pp. 96-110.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
P. Mancarella, Pedreschi, D., Rondinelli, M., and Tagliatti, M., Algebraic Properties of a Class of Logic Programs, in NACLP, 1990, pp. 23-39.
P. Mancarella and Pedreschi, D., An Algebra of Logic Programs, in ICLP/SLP, 1988, pp. 1006-1023.