Publications

Export 62 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Ambriola, V, Giannotti F, Pedreschi D, Turini F.  1985.  Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
Aquilino, D, Renso C, Turini F.  1996.  Towards Declarative GIS Analysis. ACM-GIS. :98-104.
Aquilino, D, Asirelli P, Renso C, Turini F.  1995.  An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR. :57-70.
Aquilino, D, Asirelli P, Formuso A, Renso C, Turini F.  2000.  Using MedLan to Integrate Geographical Data. J. Log. Program.. 43:3-14.
Aquilino, D, Asirelli P, Renso C, Turini F.  1997.  Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell.. 19:3-25.
Asirelli, P, Renso C, Turini F.  1998.  The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS. :41-55.
Asirelli, P, Renso C, Turini F.  1996.  Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases. :415-434.
B
Baglioni, M, Furletti B, Turini F.  2005.  DrC4.5: Improving C4.5 by means of Prior Knowledge. ACM Symposium on Applied Computing.
Baglioni, M, Furletti B, Turini F.  2006.  A Tool for Economic Plans analysis based on expert knowledge and data mining techniques. IADIS International Conference Applied Computing 2006 .
Baglioni, M, Bellandi A, Furletti B, Spinsanti L, Turini F.  2008.  Ontology-Based Business Plan Classification. EDOC. :365-371.
Barbuti, R, Mancarella P, Pedreschi D, Turini F.  1990.  A Transformational Approach to Negation in Logic Programming. J. Log. Program.. 8:201-228.
Barbuti, R, Mancarella P, Pedreschi D, Turini F.  1987.  Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2. :96-110.
Berlingerio, M, Bonchi F, Giannotti F, Turini F.  2007.  Mining Clinical Data with a Temporal Dimension: A Case Study. BIBM. :429-436.
Berlingerio, M, Bonchi F, Curcio M, Giannotti F, Turini F.  2009.  Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation. Biomedical Data and Applications. :211-236.
Berlingerio, M, Bonchi F, Giannotti F, Turini F.  2007.  Time-Annotated Sequences for Medical Data Mining. ICDM Workshops. :133-138.
Bertolino, B, Meo L, Pedreschi D, Turini F.  1992.  The Type System of LML. Types in Logic Programming. :313-332.
Bertolino, B, Mancarella P, Meo L, Nini L, Pedreschi D, Turini F.  1988.  A Progress Report on the LML Project. FGCS. :675-684.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1991.  Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.
Brogi, A, Chiarelli A, Mancarella P, Mazzotta V, Pedreschi D, Renso C, Turini F.  1994.  Implementations of Program Composition Operations. :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, Renso C, Turini F.  1994.  Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2). :408-422.
Brogi, A, Renso C, Turini F.  1999.  Dynamic composition of parameterised logic modules. Comput. Lang.. 25:211-242.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Logic Programming within a Functional Framework. PLILP. :372-386.
Brogi, A, Renso C, Turini F.  1999.  Dynamic Composition of Parameterised Logic Modules. Computer Languages. :211–242.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1992.  Meta for Modularising Logic Programming. META. :105-119.