%0 Journal Article %D 2004 %T Integrating Knowledge Representation and Reasoning in Geographical %A Paolo Mancarella %A Alessandra Raffaetà %A Chiara Renso %A Franco Turini %G eng %0 Journal Article %J International Journal of Geographical Information Science %D 2004 %T Integrating knowledge representation and reasoning in Geographical Information Systems %A Paolo Mancarella %A Alessandra Raffaetà %A Chiara Renso %A Franco Turini %B International Journal of Geographical Information Science %V 18 %P 417-447 %G eng %0 Conference Paper %B Computational Logic: Logic Programming and Beyond %D 2002 %T Negation as Failure through Abduction: Reasoning about Termination %A Paolo Mancarella %A Dino Pedreschi %A Salvatore Ruggieri %B Computational Logic: Logic Programming and Beyond %P 240-272 %G eng %0 Journal Article %D 1994 %T Implementations of Program Composition Operations %A Antonio Brogi %A A. Chiarelli %A Paolo Mancarella %A V. Mazzotta %A Dino Pedreschi %A Chiara Renso %A Franco Turini %P 292–307 %G eng %0 Conference Paper %B PLILP %D 1994 %T Implementations of Program Composition Operations %A Antonio Brogi %A A. Chiarelli %A Paolo Mancarella %A V. Mazzotta %A Dino Pedreschi %A Chiara Renso %A Franco Turini %B PLILP %P 292-307 %G eng %0 Conference Paper %B PLILP %D 1994 %T Implementations of Program Composition Operations %A Antonio Brogi %A A. Chiarelli %A Paolo Mancarella %A V. Mazzotta %A Dino Pedreschi %A Chiara Renso %A Franco Turini %B PLILP %P 292-307 %G eng %0 Journal Article %J ACM Trans. Program. Lang. Syst. %D 1994 %T Modular Logic Programming %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B ACM Trans. Program. Lang. Syst. %V 16 %P 1361-1398 %G eng %0 Conference Paper %B META %D 1992 %T Meta for Modularising Logic Programming %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B META %P 105-119 %G eng %0 Conference Paper %B ICLP Workshop on Construction of Logic Programs %D 1991 %T Theory Construction in Computational Logic %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B ICLP Workshop on Construction of Logic Programs %P 241-250 %G eng %0 Conference Paper %B NACLP %D 1990 %T Algebraic Properties of a Class of Logic Programs %A Paolo Mancarella %A Dino Pedreschi %A Marina Rondinelli %A Marco Tagliatti %B NACLP %P 23-39 %G eng %0 Conference Paper %B PLILP %D 1990 %T Logic Programming within a Functional Framework %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B PLILP %P 372-386 %G eng %0 Journal Article %J J. Log. Program. %D 1990 %T A Transformational Approach to Negation in Logic Programming %A Roberto Barbuti %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B J. Log. Program. %V 8 %P 201-228 %G eng %0 Conference Paper %B ECAI %D 1990 %T Universal Quantification by Case Analysis %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B ECAI %P 111-116 %G eng %0 Conference Paper %B ICLP/SLP %D 1988 %T An Algebra of Logic Programs %A Paolo Mancarella %A Dino Pedreschi %B ICLP/SLP %P 1006-1023 %G eng %0 Journal Article %J J. Log. Program. %D 1988 %T Complete Logic Programs with Domain-Closure Axiom %A Paolo Mancarella %A Simone Martini %A Dino Pedreschi %B J. Log. Program. %V 5 %P 263-276 %G eng %0 Conference Paper %B FGCS %D 1988 %T A Progress Report on the LML Project %A Bruno Bertolino %A Paolo Mancarella %A Luigi Meo %A Luca Nini %A Dino Pedreschi %A Franco Turini %B FGCS %P 675-684 %G eng %0 Conference Paper %B TAPSOFT, Vol.2 %D 1987 %T Intensional Negation of Logic Programs: Examples and Implementation Techniques %A Roberto Barbuti %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B TAPSOFT, Vol.2 %P 96-110 %G eng