Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Desc)]
Filters: Author is Franco Turini  [Clear All Filters]
1985
V. Ambriola, Giannotti, F., Pedreschi, D., and Turini, F., “Symbolic Semantics and Program Reduction”, IEEE Trans. Software Eng., vol. 11, pp. 784-794, 1985.
1987
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., “Intensional Negation of Logic Programs: Examples and Implementation Techniques”, in TAPSOFT, Vol.2, 1987, pp. 96-110.
F. Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., “Symbolic Evaluation with Structural Recursive Symbolic Constants”, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.
1988
B. Bertolino, Mancarella, P., Meo, L., Nini, L., Pedreschi, D., and Turini, F., “A Progress Report on the LML Project”, in FGCS, 1988, pp. 675-684.
1990
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Logic Programming within a Functional Framework”, in PLILP, 1990, pp. 372-386.
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., “A Transformational Approach to Negation in Logic Programming”, J. Log. Program., vol. 8, pp. 201-228, 1990.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Universal Quantification by Case Analysis”, in ECAI, 1990, pp. 111-116.
1991
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Theory Construction in Computational Logic”, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.
1992
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Meta for Modularising Logic Programming”, in META, 1992, pp. 105-119.
B. Bertolino, Meo, L., Pedreschi, D., and Turini, F., The Type System of LML. 1992, pp. 313-332.
1994
A. Brogi, Renso, C., and Turini, F., “Amalgamating Language and Meta-language for Composing Logic Programs”, in GULP-PRODE (2), 1994, pp. 408-422.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, pp. 292–307, 1994.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Modular Logic Programming”, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
1995
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, pp. 57–70, 1995.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “An Operator for Composing Deductive Databases with Theories of Constraints”, in LPNMR, 1995, pp. 57-70.
1996
P. Asirelli, Renso, C., and Turini, F., “Language Extensions for Semantic Integration of Deductive Databases”, in Logic in Databases, 1996, pp. 415-434.
D. Aquilino, Renso, C., and Turini, F., “Towards {D}eclarative {GIS} {A}nalysis”, 1996, pp. 99–105.
D. Aquilino, Renso, C., and Turini, F., “Towards Declarative GIS Analysis”, in ACM-GIS, 1996, pp. 98-104.
D. Montesi, Renso, C., and Turini, F., “Using Temporary Integrity Constraints to Optimize Databases”, in FAPR, 1996, pp. 430-435.
1997
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “Applying Restriction Constraint to Deductive Databases”, Annals of Mathematics and Artificial Intelligence, pp. 3–25, 1997.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., “Applying Restriction Constraints to Deductive Databases”, Ann. Math. Artif. Intell., vol. 19, pp. 3-25, 1997.
1998
P. Asirelli, Renso, C., and Turini, F., “The Constraint Operator of MedLan: Its Efficient Implementation and Use”, in IICIS, 1998, pp. 41-55.
1999
A. Brogi, Renso, C., and Turini, F., “Dynamic Composition of Parameterised Logic Modules”, Computer Languages, pp. 211–242, 1999.

Pages