Publications

Export 16 results:
Sort by: Author Title Type [ Year (Asc)]
1987
Barbuti, R, Mancarella P, Pedreschi D, Turini F.  1987.  Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2. :96-110.
1988
Mancarella, P, Pedreschi D.  1988.  An Algebra of Logic Programs. ICLP/SLP. :1006-1023.
Mancarella, P, Martini S, Pedreschi D.  1988.  Complete Logic Programs with Domain-Closure Axiom. J. Log. Program.. 5:263-276.
Bertolino, B, Mancarella P, Meo L, Nini L, Pedreschi D, Turini F.  1988.  A Progress Report on the LML Project. FGCS. :675-684.
1990
Mancarella, P, Pedreschi D, Rondinelli M, Tagliatti M.  1990.  Algebraic Properties of a Class of Logic Programs. NACLP. :23-39.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Logic Programming within a Functional Framework. PLILP. :372-386.
Barbuti, R, Mancarella P, Pedreschi D, Turini F.  1990.  A Transformational Approach to Negation in Logic Programming. J. Log. Program.. 8:201-228.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Universal Quantification by Case Analysis. ECAI. :111-116.
1991
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1991.  Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.
1992
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1992.  Meta for Modularising Logic Programming. META. :105-119.
1994
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. PLILP. :292-307.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. PLILP. :292-307.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1994.  Modular Logic Programming. ACM Trans. Program. Lang. Syst.. 16:1361-1398.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. :292–307.
2002
Mancarella, P, Pedreschi D, Ruggieri S.  2002.  Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond. :240-272.
2004
Mancarella, P, Raffaetà A, Renso C, Turini F.  2004.  Integrating knowledge representation and reasoning in Geographical Information Systems. International Journal of Geographical Information Science. 18:417-447.