@article {MRRT03, title = {Integrating Knowledge Representation and Reasoning in Geographical}, year = {2004}, note = {information systems. {\em International Journal of GIS,Vol 18 (4), June }.}, author = {Paolo Mancarella and Alessandra Raffaet{\`a} and Chiara Renso and Franco Turini} } @article {DBLP:journals/gis/MancarellaRRT04, title = {Integrating knowledge representation and reasoning in Geographical Information Systems}, journal = {International Journal of Geographical Information Science}, volume = {18}, number = {4}, year = {2004}, pages = {417-447}, author = {Paolo Mancarella and Alessandra Raffaet{\`a} and Chiara Renso and Franco Turini} } @conference {DBLP:conf/birthday/MancarellaPR02, title = {Negation as Failure through Abduction: Reasoning about Termination}, booktitle = {Computational Logic: Logic Programming and Beyond}, year = {2002}, pages = {240-272}, author = {Paolo Mancarella and Dino Pedreschi and Salvatore Ruggieri} } @article {BCMMPRT94, title = {Implementations of Program Composition Operations}, year = {1994}, note = {Programming Language Implementation and Logic Programming Lecture Notes in Computer Science, volume 844,}, pages = {292{\textendash}307}, author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini} } @conference {DBLP:conf/plilp/BrogiCMMPRT94, title = {Implementations of Program Composition Operations}, booktitle = {PLILP}, year = {1994}, pages = {292-307}, author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini} } @conference {DBLP:conf/plilp/BrogiCMMPRT94, title = {Implementations of Program Composition Operations}, booktitle = {PLILP}, year = {1994}, pages = {292-307}, author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini} } @article {DBLP:journals/toplas/BrogiMPT94, title = {Modular Logic Programming}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {16}, number = {4}, year = {1994}, pages = {1361-1398}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/meta/BrogiMPT92, title = {Meta for Modularising Logic Programming}, booktitle = {META}, year = {1992}, pages = {105-119}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/iclp/BrogiMPT91, title = {Theory Construction in Computational Logic}, booktitle = {ICLP Workshop on Construction of Logic Programs}, year = {1991}, pages = {241-250}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/slp/MancarellaPRT90, title = {Algebraic Properties of a Class of Logic Programs}, booktitle = {NACLP}, year = {1990}, pages = {23-39}, author = {Paolo Mancarella and Dino Pedreschi and Marina Rondinelli and Marco Tagliatti} } @conference {DBLP:conf/plilp/BrogiMPT90, title = {Logic Programming within a Functional Framework}, booktitle = {PLILP}, year = {1990}, pages = {372-386}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @article {DBLP:journals/jlp/BarbutiMPT90, title = {A Transformational Approach to Negation in Logic Programming}, journal = {J. Log. Program.}, volume = {8}, number = {3}, year = {1990}, pages = {201-228}, author = {Roberto Barbuti and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/ecai/BrogiMPT90, title = {Universal Quantification by Case Analysis}, booktitle = {ECAI}, year = {1990}, pages = {111-116}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/iclp/MancarellaP88, title = {An Algebra of Logic Programs}, booktitle = {ICLP/SLP}, year = {1988}, pages = {1006-1023}, author = {Paolo Mancarella and Dino Pedreschi} } @article {DBLP:journals/jlp/MancarellaMP88, title = {Complete Logic Programs with Domain-Closure Axiom}, journal = {J. Log. Program.}, volume = {5}, number = {3}, year = {1988}, pages = {263-276}, author = {Paolo Mancarella and Simone Martini and Dino Pedreschi} } @conference {DBLP:conf/fgcs/BertolinoMMNPT88, title = {A Progress Report on the LML Project}, booktitle = {FGCS}, year = {1988}, pages = {675-684}, author = {Bruno Bertolino and Paolo Mancarella and Luigi Meo and Luca Nini and Dino Pedreschi and Franco Turini} } @conference {DBLP:conf/tapsoft/BarbutiMPT87, title = {Intensional Negation of Logic Programs: Examples and Implementation Techniques}, booktitle = {TAPSOFT, Vol.2}, year = {1987}, pages = {96-110}, author = {Roberto Barbuti and Paolo Mancarella and Dino Pedreschi and Franco Turini} }