| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Franco Turini Andrea Romei , M. Sciolla , Franco Turini, M. Valentini : Distributed Knowledge Discovery with the Parallel KDDML System. Parallel and Distributed Computing and Networks 2006 : 204-211 Salvatore Rinzivillo , Franco Turini: Extracting spatial association rules from spatial transactions. GIS 2005 : 79-86 Maurizio Atzori , Paolo Mancarella , Franco Turini: Memory-Aware Frequent k -Itemset Mining. KDID 2005 : 38-54 Miriam Baglioni , Barbara Furletti , Franco Turini: DrC4.5: Improving C4.5 by means of prior knowledge. SAC 2005 : 474-481 Andrea Romei , Salvatore Ruggieri , Franco Turini: KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005 : 208-219 Fosca Giannotti , Giuseppe Manco , Franco Turini: Towards a Logic Query Language for Data Mining. Database Support for Data Mining Applications 2004 : 76-94 Mirco Nanni , Alessandra Raffaetà , Chiara Renso , Franco Turini: Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP 2004 : 98-115 Salvatore Rinzivillo , Franco Turini: Classification in Geographical Information Systems. PKDD 2004 : 374-385 Mirco Nanni , Alessandra Raffaetà , Chiara Renso , Franco Turini: Deductive and Inductive Reasoning on Trajectories. SEBD 2004 : 98-105 Fosca Giannotti , Giuseppe Manco , Franco Turini: Specifying Mining Algorithms with Iterative User-Defined Aggregates. IEEE Trans. Knowl. Data Eng. 16 (10): 1232-1246 (2004) Paolo Mancarella , Alessandra Raffaetà , Chiara Renso , Franco Turini: Integrating knowledge representation and reasoning in Geographical Information Systems. International Journal of Geographical Information Science 18 (4): 417-447 (2004) Amedeo Cappelli , Franco Turini: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings Springer 2003 Maurizio Atzori , Paolo Mancarella , Franco Turini: Abduction in Classification Tasks. AI*IA 2003 : 213-224 Miriam Baglioni , Franco Turini: MQL: An Algebraic Query Language for Knowledge Discovery. AI*IA 2003 : 225-236 Miriam Baglioni , U. Ferrara , Andrea Romei , Salvatore Ruggieri , Franco Turini: Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003 : 237-249 Alessandra Raffaetà , Chiara Renso , Franco Turini: Qualitative Spatial Reasoning in a Logical Framework. AI*IA 2003 : 78-90 Alessandra Raffaetà , Franco Turini, Chiara Renso : Enhancing GISs for spatio-temporal reasoning. ACM-GIS 2002 : 42-48 Paolo Baldan , Paolo Mancarella , Alessandra Raffaetà , Franco Turini: MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002 : 1-40 Alessandra Raffaetà , Chiara Renso , Franco Turini: Qualitative Reasoning in a Spatio-Temporal Language. SEBD 2002 : 105-118 Fosca Giannotti , Giuseppe Manco , Franco Turini: Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. PKDD 2001 : 128-139 Andrea Bracciali , Antonio Brogi , Franco Turini: Coordinating interaction patterns. SAC 2001 : 159-165 Fosca Giannotti , Alessandra Raffaetà , Chiara Renso , Franco Turini: Complex Reasoning on Geographical Data. SEBD 2001 : 331-338 Antonio Brogi , Simone Contiero , Franco Turini: On the Interplay between Reactivity and Computation. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000 : 66- Paolo Mancarella , Gianluca Nerbini , Alessandra Raffaetà , Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000 : 1002-1016 Piero Alcamo , Francesco Domenichini , Franco Turini: An XML Based Environment in Support of the Overall KDD Process. FQAS 2000 : 413-424 Domenico Aquilino , Patrizia Asirelli , A. Formuso , Chiara Renso , Franco Turini: Using MedLan to Integrate Geographical Data. J. Log. Program. 43 (1): 3-14 (2000) 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 Paolo Mancarella , Alessandra Raffaetà , Franco Turini: Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999 : 501-508 Fosca Giannotti , Giuseppe Manco , Mirco Nanni , Dino Pedreschi , Franco Turini: Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999 : 117-131 Antonio Brogi , Chiara Renso , Franco Turini: Dynamic composition of parameterised logic modules. Comput. Lang. 25 (4): 211-242 (1999) Paolo Mancarella , Alessandra Raffaetà , Franco Turini: Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11 (1): 47-76 (1999) Antonio Brogi , Simone Contiero , Franco Turini: Programming by Combining General Logic Programs. J. Log. Comput. 9 (1): 7-24 (1999) Patrizia Asirelli , Chiara Renso , Franco Turini: The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS 1998 : 41-55 Antonio Brogi , Simone Contiero , Franco Turini: The Use of Renaming in Composing General Programs. LOPSTR 1998 : 124-142 Antonio Brogi , Simone Contiero , Franco Turini: Composing General Logic Programs. LPNMR 1997 : 274-289 Paolo Mancarella , Alessandra Raffaetà , Franco Turini: Time in a Multi-Theory Logical Framework. TIME 1997 : 62-70 Domenico Aquilino , Patrizia Asirelli , Chiara Renso , Franco Turini: Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 3-25 (1997) Domenico Aquilino , Chiara Renso , Franco Turini: Towards Declarative GIS Analysis. ACM-GIS 1996 : 98-104 Giuseppe Manco , Alessandra Raffaetà , Franco Turini: Modeling Object Dynamics in Object-Oriented Logic Programming. APPIA-GULP-PRODE 1996 : 567-580 Danilo Montesi , Chiara Renso , Franco Turini: Using Temporary Integrity Constraints to Optimize Databases. FAPR 1996 : 430-435 Patrizia Asirelli , Chiara Renso , Franco Turini: Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases 1996 : 415-434 Danilo Montesi , Franco Turini: Integrity Constraints Evolution in Deductive Databases. GULP-PRODE 1995 : 160-168 Paolo Mancarella , Alessandra Raffaetà , Franco Turini: LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995 : 271-282 Giuseppe Manco , Franco Turini: A Structural (Meta-Logical) Semantics for Linear Objects. GULP-PRODE 1995 : 421-434 Domenico Aquilino , Patrizia Asirelli , Chiara Renso , Franco Turini: An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR 1995 : 57-70 Antonio Brogi , Franco Turini: Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149 (2): 201-209 (1995) Laurent Fribourg , Franco Turini: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings Springer 1994 Antonio Brogi , Chiara Renso , Franco Turini: Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994 : 408-422 Antonio Brogi , Franco Turini: Semantics of Meta-Logic in an Algebra of Programs LICS 1994 : 262-270 Antonio Brogi , A. Chiarelli , Paolo Mancarella , V. Mazzotta , Dino Pedreschi , Chiara Renso , Franco Turini: Implementations of Program Composition Operations. PLILP 1994 : 292-307 Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16 (4): 1361-1398 (1994) Antonio Brogi , Franco Turini: Metalogic for State Oriented Programming. ELP 1992 : 187-204 Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini: Meta for Modularising Logic Programming. META 1992 : 105-119 Bruno Bertolino , Luigi Meo , Dino Pedreschi , Franco Turini: The Type System of LML. Types in Logic Programming 1992 : 313-332 Allessandro Campioli , Luciano Lucchesi , Franco Turini: Spreadviews. DEXA 1991 : 525-530 Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991 : 241-250 Antonio Brogi , Franco Turini: Metalogic for Knowledge Representation. KR 1991 : 61-69 Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini: Universal Quantification by Case Analysis. ECAI 1990 : 111-116 Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini: Logic Programming within a Functional Framework. PLILP 1990 : 372-386 Michela Degl'Innocenti , Gian Luigi Ferrari , Giuliano Pacini , Franco Turini: RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16 (11): 1235-1246 (1990) Roberto Barbuti , Paolo Mancarella , Dino Pedreschi , Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8 (3): 201-228 (1990) Bruno Bertolino , Paolo Mancarella , Luigi Meo , Luca Nini , Dino Pedreschi , Franco Turini: A Progress Report on the LML Project. FGCS 1988 : 675-684 Roberto Barbuti , Paolo Mancarella , Dino Pedreschi , Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987 : 96-110 Giuliano Pacini , Franco Turini: Semantics of Production Systems Inf. Comput. 73 (2): 87-101 (1987) Fosca Giannotti , Attilio Matteucci , Dino Pedreschi , Franco Turini: Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9 (2): 161-177 (1987) Roberto Barbuti , C. D'Ascanio , Franco Turini: Cooperating Logic Theories. AIMSA 1986 : 165-172 Vincenzo Ambriola , Giuliano Pacini , Franco Turini: The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986 : 93-103 Vincenzo Ambriola , Fosca Giannotti , Dino Pedreschi , Franco Turini: Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11 (8): 784-794 (1985) Franco Turini: Magma2: A Language Oriented toward Experiments in Control. ACM Trans. Program. Lang. Syst. 6 (4): 468-486 (1984) Paolo Mancarella , Franco Turini: A High Level Analysis Tool for Concurrent Programs. ICPP 1983 : 293-302 Giuliano Pacini , Franco Turini: Demonizing Production Systems. IJCAI 1983 : 862-866 Franco Turini: Abstractions of Control Environments. BIT 23 (1): 21-35 (1983) Patrizia Asirelli , Pierpaolo Degano , Giorgio Levi , Alberto Martelli , Ugo Montanari , Giuliano Pacini , Franco Sirovich , Franco Turini: A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979 : 251-264 Carlo Montangero , Giuliano Pacini , Maria Simi , Franco Turini: Information Management in Context Trees. Acta Inf. 10 : 85-94 (1978) Carlo Montangero , Giuliano Pacini , Franco Turini: Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20 (10): 725-730 (1977) Carlo Montangero , Giuliano Pacini , Franco Turini: MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975 : 556-561 Giuliano Pacini , Carlo Montangero , Franco Turini: Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974 : 157-169 Carlo Montangero , Giuliano Pacini , Franco Turini: A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974 : 350-361 1 [ 55 ] 2 [ 11 ] [ 12 ] 3 [ 34 ] [ 41 ] [ 42 ] [ 54 ] 4 [ 6 ] [ 34 ] [ 38 ] [ 42 ] [ 46 ] [ 54 ] 5 [ 67 ] [ 77 ] 6 [ 65 ] [ 66 ] [ 76 ] 7 [ 62 ] 8 [ 13 ] [ 16 ] [ 18 ] 9 [ 17 ] [ 25 ] 10 [ 59 ] 11 [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 33 ] [ 44 ] [ 45 ] [ 47 ] [ 49 ] [ 57 ] [ 59 ] 12 [ 24 ] 13 [ 68 ] 14 [ 29 ] 15 [ 44 ] [ 45 ] [ 47 ] [ 57 ] 16 [ 13 ] 17 [ 6 ] 18 [ 19 ] 19 [ 55 ] 20 [ 65 ] 21 [ 19 ] 22 [ 54 ] 23 [ 32 ] 24 [ 76 ] 25 [ 11 ] [ 14 ] [ 50 ] [ 52 ] [ 53 ] [ 58 ] [ 60 ] [ 70 ] [ 74 ] 26 [ 6 ] 27 [ 24 ] 28 [ 9 ] [ 16 ] [ 17 ] [ 18 ] [ 20 ] [ 21 ] [ 23 ] [ 26 ] [ 28 ] [ 29 ] [ 36 ] [ 43 ] [ 48 ] [ 51 ] [ 56 ] [ 62 ] [ 67 ] [ 69 ] [ 77 ] 29 [ 35 ] [ 40 ] [ 50 ] [ 52 ] [ 53 ] [ 60 ] [ 70 ] [ 74 ] 30 [ 6 ] 31 [ 14 ] 32 [ 29 ] 33 [ 17 ] [ 25 ] 34 [ 6 ] 35 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] 36 [ 37 ] [ 39 ] 37 [ 50 ] [ 71 ] [ 73 ] 38 [ 56 ] 39 [ 17 ] 40 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 12 ] [ 15 ] [ 19 ] 41 [ 11 ] [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 20 ] [ 21 ] [ 23 ] [ 25 ] [ 26 ] [ 28 ] [ 29 ] [ 50 ] [ 52 ] [ 53 ] 42 [ 36 ] [ 40 ] [ 43 ] [ 48 ] [ 51 ] [ 56 ] [ 58 ] [ 61 ] [ 62 ] [ 63 ] [ 64 ] [ 69 ] [ 71 ] [ 73 ] 43 [ 29 ] [ 31 ] [ 34 ] [ 38 ] [ 39 ] [ 41 ] [ 42 ] [ 46 ] [ 49 ] [ 54 ] [ 58 ] [ 61 ] [ 63 ] [ 64 ] [ 69 ] [ 71 ] [ 73 ] 44 [ 72 ] [ 78 ] 45 [ 65 ] [ 75 ] [ 79 ] 46 [ 65 ] [ 75 ] 47 [ 79 ] 48 [ 5 ] 49 [ 6 ] 50 [ 79 ]  ©2006 Association for Computing Machinery |
