TY - JOUR T1 - Integrating Knowledge Representation and Reasoning in Geographical Y1 - 2004 A1 - Paolo Mancarella A1 - Alessandra Raffaetà A1 - Chiara Renso A1 - Franco Turini N1 - information systems. {\em International Journal of GIS,Vol 18 (4), June }. ER - TY - JOUR T1 - Integrating knowledge representation and reasoning in Geographical Information Systems JF - International Journal of Geographical Information Science Y1 - 2004 A1 - Paolo Mancarella A1 - Alessandra Raffaetà A1 - Chiara Renso A1 - Franco Turini VL - 18 ER - TY - CONF T1 - Negation as Failure through Abduction: Reasoning about Termination T2 - Computational Logic: Logic Programming and Beyond Y1 - 2002 A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Salvatore Ruggieri JF - Computational Logic: Logic Programming and Beyond ER - TY - JOUR T1 - Implementations of Program Composition Operations Y1 - 1994 A1 - Antonio Brogi A1 - A. Chiarelli A1 - Paolo Mancarella A1 - V. Mazzotta A1 - Dino Pedreschi A1 - Chiara Renso A1 - Franco Turini N1 - Programming Language Implementation and Logic Programming Lecture Notes in Computer Science, volume 844, ER - TY - CONF T1 - Implementations of Program Composition Operations T2 - PLILP Y1 - 1994 A1 - Antonio Brogi A1 - A. Chiarelli A1 - Paolo Mancarella A1 - V. Mazzotta A1 - Dino Pedreschi A1 - Chiara Renso A1 - Franco Turini JF - PLILP ER - TY - CONF T1 - Implementations of Program Composition Operations T2 - PLILP Y1 - 1994 A1 - Antonio Brogi A1 - A. Chiarelli A1 - Paolo Mancarella A1 - V. Mazzotta A1 - Dino Pedreschi A1 - Chiara Renso A1 - Franco Turini JF - PLILP ER - TY - JOUR T1 - Modular Logic Programming JF - ACM Trans. Program. Lang. Syst. Y1 - 1994 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini VL - 16 ER - TY - CONF T1 - Meta for Modularising Logic Programming T2 - META Y1 - 1992 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - META ER - TY - CONF T1 - Theory Construction in Computational Logic T2 - ICLP Workshop on Construction of Logic Programs Y1 - 1991 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - ICLP Workshop on Construction of Logic Programs ER - TY - CONF T1 - Algebraic Properties of a Class of Logic Programs T2 - NACLP Y1 - 1990 A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Marina Rondinelli A1 - Marco Tagliatti JF - NACLP ER - TY - CONF T1 - Logic Programming within a Functional Framework T2 - PLILP Y1 - 1990 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - PLILP ER - TY - JOUR T1 - A Transformational Approach to Negation in Logic Programming JF - J. Log. Program. Y1 - 1990 A1 - Roberto Barbuti A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini VL - 8 ER - TY - CONF T1 - Universal Quantification by Case Analysis T2 - ECAI Y1 - 1990 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - ECAI ER - TY - CONF T1 - An Algebra of Logic Programs T2 - ICLP/SLP Y1 - 1988 A1 - Paolo Mancarella A1 - Dino Pedreschi JF - ICLP/SLP ER - TY - JOUR T1 - Complete Logic Programs with Domain-Closure Axiom JF - J. Log. Program. Y1 - 1988 A1 - Paolo Mancarella A1 - Simone Martini A1 - Dino Pedreschi VL - 5 ER - TY - CONF T1 - A Progress Report on the LML Project T2 - FGCS Y1 - 1988 A1 - Bruno Bertolino A1 - Paolo Mancarella A1 - Luigi Meo A1 - Luca Nini A1 - Dino Pedreschi A1 - Franco Turini JF - FGCS ER - TY - CONF T1 - Intensional Negation of Logic Programs: Examples and Implementation Techniques T2 - TAPSOFT, Vol.2 Y1 - 1987 A1 - Roberto Barbuti A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - TAPSOFT, Vol.2 ER -