Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Paolo Mancarella  [Clear All Filters]
2004
P. Mancarella, Raffaetà, A., Renso, C., and Turini, F., “Integrating Knowledge Representation and Reasoning in Geographical”, 2004.
P. Mancarella, Raffaetà, A., Renso, C., and Turini, F., “Integrating knowledge representation and reasoning in Geographical Information Systems”, International Journal of Geographical Information Science, vol. 18, pp. 417-447, 2004.
2002
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.
1994
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, pp. 292–307, 1994.
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.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Modular Logic Programming”, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
1992
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Meta for Modularising Logic Programming”, in META, 1992, pp. 105-119.
1991
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.
1990
P. Mancarella, Pedreschi, D., Rondinelli, M., and Tagliatti, M., “Algebraic Properties of a Class of Logic Programs”, in NACLP, 1990, pp. 23-39.
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., “A Transformational Approach to Negation in Logic Programming”, J. Log. Program., vol. 8, pp. 201-228, 1990.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Universal Quantification by Case Analysis”, in ECAI, 1990, pp. 111-116.
1988
P. Mancarella and Pedreschi, D., “An Algebra of Logic Programs”, in ICLP/SLP, 1988, pp. 1006-1023.
P. Mancarella, Martini, S., and Pedreschi, D., “Complete Logic Programs with Domain-Closure Axiom”, J. Log. Program., vol. 5, pp. 263-276, 1988.
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.
1987
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.