| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Fosca Giannotti Francesco Bonchi , Fosca Giannotti, Alessio Mazzanti , Dino Pedreschi : ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint. ICDM 2003 : 11-18 Fosca Giannotti, Giuseppe Manco , Jef Wijsen : Logical Languages for Data Mining. Logics for Emerging Applications of Databases 2003 : 325-361 Francesco Bonchi , Fosca Giannotti, Alessio Mazzanti , Dino Pedreschi : Adaptive Constraint Pushing in Frequent Pattern Mining. PKDD 2003 : 47-58 Francesco Bonchi , Fosca Giannotti, Alessio Mazzanti , Dino Pedreschi : ExAnte: Anticipated Data Reduction in Constrained Pattern Mining. PKDD 2003 : 59-70 Fosca Giannotti, Mirco Nanni , Dino Pedreschi , F. Samaritani : WebCat: Automatic Categorization of Web Search Results. SEBD 2003 : 507-518 Francesco Bonchi , Fosca Giannotti, Alessio Mazzanti , Dino Pedreschi : Pre-processing for Constrained Pattern Mining. SEBD 2003 : 519-530 Fosca Giannotti, Cristian Gozzi , Giuseppe Manco : Characterizing Web User Accesses: A Transactional Approach to Web Log Clustering. ITCC 2002 : 312 Fosca Giannotti, Giuseppe Manco : LDL-M ine : Integrating Data Mining with Intelligent Query Answering. JELIA 2002 : 517-520 Fosca Giannotti, Cristian Gozzi , Giuseppe Manco : Clustering Transactional Data. PKDD 2002 : 175-187 Francesco Bonchi , Fosca Giannotti, Giuseppe Manco , Chiara Renso , Mirco Nanni , Dino Pedreschi , Salvatore Ruggieri : Data Mining for Intelligent Web Caching. ITCC 2001 : 599-603 Fosca Giannotti, Giuseppe Manco , Franco Turini : Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. PKDD 2001 : 128-139 Fosca Giannotti, Cristian Gozzi , Giuseppe Manco : Clustering Transactional Data. SEBD 2001 : 163-176 Fosca Giannotti, Alessandra Raffaetà , Chiara Renso , Franco Turini : Complex Reasoning on Geographical Data. SEBD 2001 : 331-338 Francesco Bonchi , Fosca Giannotti, Cristian Gozzi , Giuseppe Manco , Mirco Nanni , Dino Pedreschi , Chiara Renso , Salvatore Ruggieri : Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng. 39 (2): 165-189 (2001) Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi : Nondeterministic, Nonmonotonic Logic Databases. IEEE Trans. Knowl. Data Eng. 13 (5): 813-823 (2001) Fosca Giannotti, Dino Pedreschi , Carlo Zaniolo : Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. J. Comput. Syst. Sci. 62 (1): 15-42 (2001) Francesco Bonchi , Fosca Giannotti, Dino Pedreschi : On Verification in Logic Database Languages. Computational Logic 2000 : 957-971 Fosca Giannotti, Mirco Nanni , Dino Pedreschi : Logic-Based Knowledge Discovery in Databases. EJC 2000 : 279-283 Fosca Giannotti, Giuseppe Manco : Declarative Knowledge Extraction with Interactive User-Defined Aggregates. FQAS 2000 : 435-444 Fosca Giannotti, Giuseppe Manco : Making Knowledge Extraction and Reasoning Closer. PAKDD 2000 : 360-371 Fosca Giannotti, Giuseppe Manco , Dino Pedreschi , Franco Turini : Experiences with a Logic-based knowledge discovery Support Environment. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999 Fosca Giannotti, Giuseppe Manco , Dino Pedreschi , Franco Turini : Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA 1999 : 202-213 Fosca Giannotti, Robert Jeansoulin , Yannis Theodoridis : Beyond Current Technology: The Perspective of Three EC GIS Projects. DEXA Workshop 1999 : 510 Francesco Bonchi , Fosca Giannotti, Gianni Mainetto , Dino Pedreschi : Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK 1999 : 369-376 Francesco Bonchi , Fosca Giannotti, Gianni Mainetto , Dino Pedreschi : A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection. KDD 1999 : 175-184 Fosca Giannotti, Giuseppe Manco : Querying Inductive Databases via Logic-Based User-Defined Aggregates. PKDD 1999 : 125-135 Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi , Franco Turini : Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999 : 117-131 Francesco Bonchi , Fosca Giannotti, Gianni Mainetto , Dino Pedreschi : Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi. SEBD 1999 : 69-84 Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi : On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. CSL 1998 : 58-72 Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi : Query Answering in Nondeterministic, Nonmonotonic Logic Databases. FQAS 1998 : 175-187 Fosca Giannotti, Dino Pedreschi : Datalog with Non-Deterministic Choice Computers NDB-PTIME. J. Log. Program. 35 (1): 79-101 (1998) Giuseppe Amato , Fosca Giannotti, Gianni Mainetto : Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL 1997 : 413-430 Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi : Datalog++: A Basis for Active Object-Oriented Databases. DOOD 1997 : 283-301 Fosca Giannotti, Giuseppe Manco , Mirco Nanni , Dino Pedreschi : Datalog++: a Basis for Active Object.Oriented Databases. SEBD 1997 : 325-340 Fosca Giannotti, Sergio Greco , Domenico Saccà , Carlo Zaniolo : Programming with Non-Determinism in Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 97-125 (1997) Marilisa E. Carboni , Annalisa Di Deo , Fosca Giannotti, Maria V. Masserotti : Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. DDLP 1996 : 135-151 Marilisa E. Carboni , Annalisa Di Deo , Fosca Giannotti, Maria V. Masserotti : Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche. SEBD 1996 : 73-90 Marilisa E. Carboni , Fosca Giannotti, V. Foddai , Dino Pedreschi : Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. SEBD 1995 : 3-13 Franco Fiore , Fosca Giannotti: An abstract interpreter for the specification language LOTOS. FORTE 1994 : 309-323 Giuseppe Amato , Fosca Giannotti, Giovanni Mainetto : Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation. SEBD 1994 : 329-349 Luca Corciulo , Fosca Giannotti, Dino Pedreschi , Carlo Zaniolo : Expressive Power of Non-Deterministic Operators for Logic-based Languages. Workshop on Deductive Databases and Logic Programming 1994 : 27-40 Fosca Giannotti, Diego Latella : Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Sci. Comput. Program. 23 (2-3): 127-149 (1994) Luca Corciulo , Fosca Giannotti, Dino Pedreschi : Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD 1993 : 49-66 Giuseppe Amato , Fosca Giannotti, Gianni Mainetto : Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO 1993 : 19-29 Fosca Giannotti, Diego Latella : Gate Splitting in LOTOS Specifications Using Abstract Interpretation. TAPSOFT 1993 : 437-452 Giuseppe Amato , Fosca Giannotti, Gianni Mainetto : Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB 1993 : 405-415 Giuseppe Amato , Fosca Giannotti, Gianni Mainetto : Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA 1992 : 174-184 Fosca Giannotti, Diego Latella : Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA 1992 : 194-204 Fosca Giannotti, Dino Pedreschi , Domenico Saccà , Carlo Zaniolo : Non-Determinism in Deductive Databases. DOOD 1991 : 129-146 Fosca Giannotti, Manuel V. Hermenegildo : A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP 1991 : 323-334 C. Bertazzoni , Fosca Giannotti: RASP: A Resource Allocator for Software Projects. IEA/AIE (Vol. 2) 1990 : 628-637 Fosca Giannotti, Dino Pedreschi : Declarative Semantics for Pruning Operators in Logic Programming. LPNMR 1990 : 27-37 Fosca Giannotti, Attilio Matteucci , Dino Pedreschi , Franco Turini : Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9 (2): 161-177 (1987) Antonio Albano , Fosca Giannotti, Renzo Orsini , Dino Pedreschi : The Type System of Galileo. Data Types and Persistence (Appin) 1985 : 101-119 Antonio Albano , Fosca Giannotti, Renzo Orsini , Dino Pedreschi : The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings 1985 : 175-195 Vincenzo Ambriola , Fosca Giannotti, Dino Pedreschi , Franco Turini : Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11 (8): 784-794 (1985) 1 [ 2 ] [ 3 ] 2 [ 10 ] [ 11 ] [ 13 ] [ 17 ] [ 25 ] 3 [ 1 ] 4 [ 6 ] 5 [ 29 ] [ 32 ] [ 33 ] [ 40 ] [ 43 ] [ 47 ] [ 51 ] [ 53 ] [ 54 ] [ 56 ] 6 [ 19 ] [ 20 ] [ 21 ] 7 [ 14 ] [ 16 ] 8 [ 20 ] [ 21 ] 9 [ 18 ] 10 [ 19 ] 11 [ 43 ] [ 45 ] [ 48 ] [ 50 ] 12 [ 22 ] 13 [ 7 ] 14 [ 34 ] 15 [ 9 ] [ 12 ] [ 15 ] 16 [ 10 ] [ 11 ] [ 13 ] [ 25 ] [ 29 ] [ 32 ] [ 33 ] 17 [ 17 ] 18 [ 23 ] [ 24 ] [ 27 ] [ 28 ] [ 30 ] [ 31 ] [ 35 ] [ 36 ] [ 37 ] [ 38 ] [ 42 ] [ 43 ] [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 55 ] 19 [ 20 ] [ 21 ] 20 [ 4 ] 21 [ 51 ] [ 53 ] [ 54 ] [ 56 ] 22 [ 23 ] [ 24 ] [ 27 ] [ 28 ] [ 30 ] [ 39 ] [ 42 ] [ 43 ] [ 47 ] [ 52 ] 23 [ 2 ] [ 3 ] 24 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 8 ] [ 14 ] [ 16 ] [ 19 ] [ 23 ] [ 24 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 32 ] [ 33 ] [ 35 ] [ 36 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 43 ] [ 47 ] [ 51 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] 25 [ 44 ] 26 [ 43 ] [ 44 ] [ 47 ] 27 [ 43 ] [ 47 ] 28 [ 8 ] [ 22 ] 29 [ 52 ] 30 [ 34 ] 31 [ 1 ] [ 4 ] [ 30 ] [ 35 ] [ 36 ] [ 44 ] [ 46 ] 32 [ 55 ] 33 [ 8 ] [ 16 ] [ 22 ] [ 41 ]  ©2004 Association for Computing Machinery |
