Publications

Export 97 results:
Sort by: Author Title Type [ Year (Asc)]
1985
Ambriola, V, Giannotti F, Pedreschi D, Turini F.  1985.  Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
1987
Barbuti, R, Mancarella P, Pedreschi D, Turini F.  1987.  Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2. :96-110.
Giannotti, F, Matteucci A, Pedreschi D, Turini F.  1987.  Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program.. 9:161-177.
1988
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.
Bertolino, B, Meo L, Pedreschi D, Turini F.  1992.  The Type System of LML. Types in Logic Programming. :313-332.
1994
Brogi, A, Renso C, Turini F.  1994.  Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2). :408-422.
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.
1995
Aquilino, D, Asirelli P, Renso C, Turini F.  1995.  An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR. :57-70.
1996
Asirelli, P, Renso C, Turini F.  1996.  Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases. :415-434.
Aquilino, D, Renso C, Turini F.  1996.  Towards Declarative GIS Analysis. ACM-GIS. :98-104.
Montesi, D, Renso C, Turini F.  1996.  Using Temporary Integrity Constraints to Optimize Databases. FAPR. :430-435.
1997
Aquilino D., ARPC, Turini F.  1997.  Applying Restriction Constraint to Deductive Databases. Annals of Mathematics and Artificial Intelligence. :3–25.
Aquilino, D, Asirelli P, Renso C, Turini F.  1997.  Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell.. 19:3-25.
1998
Asirelli, P, Renso C, Turini F.  1998.  The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS. :41-55.
1999
Giannotti, F, Jeansoulin R, Theodoridis Y.  1999.  Beyond Current Technology: The Perspective of Three EC GIS Projects. DEXA Workshop. :510.
Brogi, A, Renso C, Turini F.  1999.  Dynamic composition of parameterised logic modules. Comput. Lang.. 25:211-242.