Publications

You are here

Home » Research
Export 5 results:
[ Author(Asc)] Title Type Year
Filters: Author is Paolo Mancarella  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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.
P. Mancarella, Martini, S., and Pedreschi, D., “Complete Logic Programs with Domain-Closure Axiom”, J. Log. Program., vol. 5, pp. 263-276, 1988.
P. Mancarella and Pedreschi, D., “An Algebra of Logic Programs”, in ICLP/SLP, 1988, pp. 1006-1023.
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, Pedreschi, D., and Ruggieri, S., “Negation as Failure through Abduction: Reasoning about Termination”, in Computational Logic: Logic Programming and Beyond, 2002, pp. 240-272.
P. Mancarella, Raffaetà, A., Renso, C., and Turini, F., “Integrating Knowledge Representation and Reasoning in Geographical”, 2004.