Franco Turini

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108

Barbara Furletti, Franco Turini: Knowledge discovery in ontologies. Intell. Data Anal. 16(3): 513-534 (2012)

Andrea Bellandi, Franco Turini: Mining Bayesian networks out of ontologies. J. Intell. Inf. Syst. 38(2): 507-532 (2012)

Valerio Grossi, Franco Turini: Stream mining: a novel architecture for ensemble-based classification. Knowl. Inf. Syst. 30(2): 247-281 (2012)

Andrea Romei, Salvatore Ruggieri, Franco Turini: Discovering Gender Discrimination in Project Funding. ICDM Workshops 2012: 394-401

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: A study of top-k measures for discrimination discovery. SAC 2012: 126-131

Andrea Romei, Franco Turini: Inductive database languages: requirements and examples. Knowl. Inf. Syst. 26(3): 351-384 (2011)

Andrea Romei, Franco Turini: Programming the KDD Process using XQuery. KDIR 2011: 131-139

Valerio Grossi, Franco Turini: An Adaptive Selective Ensemble for Data Streams Classification. ICAART (1) 2011: 136-145

Barbara Furletti, Franco Turini: Mining Influence Rules out of Ontologies. ICSOFT (2) 2011: 323-333

Rilwan O. Basanya, Adegboyega K. Ojo, Tomasz Janowski, Franco Turini: Mining Collaboration Opportunities to Support Joined-Up Government. PRO-VE 2011: 359-366

Binh Luong Thanh, Salvatore Ruggieri, Franco Turini: k-NN as an implementation of situation testing for discrimination discovery and prevention. KDD 2011: 502-510

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010)

Andrea Romei, Franco Turini: XML data mining. Softw., Pract. Exper. 40(2): 101-130 (2010)

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Data mining for discrimination discovery. TKDD 4(2) (2010)

Binh Luong Thanh, Franco Turini: Association Analysis of Semi-structured Data for Discrimination Discovery in Business. DMIN 2010: 193-199

Andrea Romei, Franco Turini: XQuake - An XQuery-like Language for Mining XML Data. ICAART (1) 2010: 20-27

Salvatore Ruggieri, Dino Pedreschi, Franco Turini: DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592

Michele Berlingerio, Francesco Bonchi, Michele Curcio, Fosca Giannotti, Franco Turini: Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation. Biomedical Data and Applications 2009: 211-236

Alessandra Raffaetà, T. Ceccarelli, D. Centeno, Fosca Giannotti, A. Massolo, Christine Parent, Chiara Renso, Stefano Spaccapietra, Franco Turini: An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology. GeoInformatica 12(1): 37-72 (2008)

Franco Turini: The Semantics of Ugo Montanari. Concurrency, Graphs and Models 2008: 804-805

Miriam Baglioni, Andrea Bellandi, Barbara Furletti, Laura Spinsanti, Franco Turini: Ontology-Based Business Plan Classification. EDOC 2008: 365-371

Fosca Giannotti, Dino Pedreschi, Franco Turini: Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. PinKDD 2008: 25-32

Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568

Dino Pedreschi, Francesco Bonchi, Franco Turini, Vassilios S. Verykios, Maurizio Atzori, Bradley Malin, Bart Moelans, Yücel Saygin: Privacy Protection: Regulations and Technologies, Opportunities and Threats. Mobility, Data Mining and Privacy 2008: 101-119

Salvatore Rinzivillo, Franco Turini, Vania Bogorny, Christine Körner, Bart Kuijpers, Michael May: Knowledge Discovery from Geographical Data. Mobility, Data Mining and Privacy 2008: 243-265

Andrea Romei, Matteo Sciolla, Franco Turini, Marlis Valentini: KDDML-G: a grid-enabled knowledge discovery system. Concurrency and Computation: Practice and Experience 19(13): 1785-1809 (2007)

Salvatore Rinzivillo, Franco Turini: Knowledge discovery from spatial transactions. J. Intell. Inf. Syst. 28(1): 1-22 (2007)

Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini: Mining Clinical Data with a Temporal Dimension: A Case Study. BIBM 2007: 429-436

Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini: Time-Annotated Sequences for Medical Data Mining. ICDM Workshops 2007: 133-138

Andrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: A middleware language and system for knowledge discovery in databases. Data Knowl. Eng. 57(2): 179-220 (2006)

Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo: Examples of Integration of Induction and Deduction in Knowledge Discovery. Reasoning, Action and Interaction in AI Theories and Systems 2006: 307-326

Andrea Romei, Matteo Sciolla, Franco Turini, Marlis Valentini: Distributed Knowledge Discovery with the Parallel KDDML System. Parallel and Distributed Computing and Networks 2006: 204-211

Andrea Bracciali, Antonio Brogi, Franco Turini: A framework for specifying and verifying the behaviour of open systems. J. Log. Algebr. Program. 63(2): 215-240 (2005)

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

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)

Fosca Giannotti, Giuseppe Manco, Franco Turini: Specifying Mining Algorithms with Iterative User-Defined Aggregates. IEEE Trans. Knowl. Data Eng. 16(10): 1232-1246 (2004)

Fosca Giannotti, Giuseppe Manco, Franco Turini: Towards a Logic Query Language for Data Mining. Database Support for Data Mining Applications 2004: 76-94

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

Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini: Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP 2004: 98-115

Alessandra Raffaetà, Chiara Renso, Franco Turini: Qualitative Spatial Reasoning in a Logical Framework. AI*IA 2003: 78-90

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

Amedeo Cappelli, Franco Turini (Eds.): AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings. Lecture Notes in Computer Science 2829, Springer 2003, isbn 3-540-20119-X

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à, Franco Turini, Chiara Renso: Enhancing GISs for spatio-temporal reasoning. ACM-GIS 2002: 42-48

Amedeo Cappelli, Maria Novella Catarsi, Patrizia Michelassi, Lorenzo Moretti, Miriam Baglioni, Franco Turini, M. Tavoni: Knowledge Mining and Discovery for Searching in Literary Texts. LREC 2002

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

Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini: Using MedLan to Integrate Geographical Data. J. Log. Program. 43(1): 3-14 (2000)

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

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)

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, 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, Mirco Nanni, Dino Pedreschi, Franco Turini: Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999: 117-131

Antonio Brogi, Simone Contiero, Franco Turini: The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142

Patrizia Asirelli, Chiara Renso, Franco Turini: The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS 1998: 41-55

Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini: Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 3-25 (1997)

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-68

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

Domenico Aquilino, Chiara Renso, Franco Turini: Towards Declarative GIS Analysis. ACM-GIS 1996: 98-104

Patrizia Asirelli, Chiara Renso, Franco Turini: Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases 1996: 415-434

Antonio Brogi, Franco Turini: Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149(2): 201-209 (1995)

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, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (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

Laurent Fribourg, Franco Turini (Eds.): Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings. Lecture Notes in Computer Science 883, Springer 1994, isbn 3-540-58792-6

Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. Types in Logic Programming 1992: 313-332

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

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

Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990)

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)

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

Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684

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, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110

Vincenzo Ambriola, Giuliano Pacini, Franco Turini: The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103

Roberto Barbuti, C. D'Ascanio, Franco Turini: Cooperating Logic Theories. AIMSA 1986: 165-172

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)

Franco Turini: Abstractions of Control Environments. BIT 23(1): 21-35 (1983)

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

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