Publications

Export 55 results:
Sort by: Author Title Type [ Year (Asc)]
1993
Chiarelli, A, Mazzotta V, Renso C.  1993.  A WAM Estesa per la Composizione di Programi Logici. GULP. :189-202.
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, 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, 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
Brogi, A, Renso C, Turini F.  1999.  Dynamic composition of parameterised logic modules. Comput. Lang.. 25:211-242.
Brogi, A, Renso C, Turini F.  1999.  Dynamic Composition of Parameterised Logic Modules. Computer Languages. :211–242.
2000
Raffaetà, A, Renso C.  2000.  Temporal Reasoning in Geographical Information Systems. DEXA Workshop. :899-905.
Aquilino, D, Asirelli P, Formuso A, Renso C, Turini F.  2000.  Using MedLan to Integrate Geographical Data. J. Log. Program.. 43:3-14.
2001
Giannotti, F, Raffaetà A, Renso C, Turini F.  2001.  Complex Reasoning on Geographical Data. SEBD. :331-338.
Giannotti, F, Raffaetà A, Renso C, Turini F.  2001.  Complex Reasoning on Geographical Data. SEBD. :331-338.
Bonchi, F, Giannotti F, Manco G, Renso C, Nanni M, Pedreschi D, Ruggieri S.  2001.  Data Mining for Intelligent Web Caching. ITCC. :599-603.
Bonchi, F, Giannotti F, Manco G, Renso C, Nanni M, Pedreschi D, Ruggieri S.  2001.  Data Mining for Intelligent Web Caching. ITCC. :599-603.
Bonchi, F, Giannotti F, Gozzi C, Manco G, Nanni M, Pedreschi D, Renso C, Ruggieri S.  2001.  Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng.. 39:165-189.
Bonchi, F, Giannotti F, Gozzi C, Manco G, Nanni M, Pedreschi D, Renso C, Ruggieri S.  2001.  Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng.. 39:165-189.
2002
Raffaetà, A, Turini F, Renso C.  2002.  Enhancing GISs for spatio-temporal reasoning. ACM-GIS. :42-48.
Raffaetà, A, Renso C, Turini F.  2002.  Qualitative Reasoning in a Spatio-Temporal Language. SEBD. :105-118.
2003
Raffaetà, A, Renso C, Turini F.  2003.  Qualitative Spatial Reasoning in a Logical Framework. AI*IA. :78-90.
2004
Nanni, M, Raffaetà A, Renso C, Turini F.  2004.  Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP. :98-115.