Graph Representation and Computation Rules for Typeless Recursive Languages. - Giuliano Pacini; Carlo Montangero; Franco Turini (ICALP, 1974)

A model for structured parallel processing in block-structured programming languages. - Carlo Montangero; Giuliano Pacini; Franco Turini (Symposium on Programming, 1974)

MAGMA-LISP: A "Machine Language" For Artificial Intelligence. - Carlo Montangero; Giuliano Pacini; Franco Turini (IJCAI, 1975)

Two-Level Control Structure for Nondeterministic Programming. - Carlo Montangero; Giuliano Pacini; Franco Turini (Commun. ACM, 1977)

Information Management in Context Trees. - Carlo Montangero; Giuliano Pacini; Maria Simi; Franco Turini (Acta Informatica, 1978)

A Flexible Environment for Program Development Based on a Symbolic Interpreter. - Patrizia Asirelli; Pierpaolo Degano; Giorgio Levi; Alberto Martelli; Ugo Montanari; Giuliano Pacini; Franco Sirovich; Franco Turini (ICSE, 1979)

A High Level Analysis Tool for Concurrent Programs. - Paolo Mancarella; Franco Turini (ICPP, 1983)

Demonizing Production Systems. - Giuliano Pacini; Franco Turini (IJCAI, 1983)

Abstractions of Control Environments. - Franco Turini (BIT, 1983)

A conceptual approach to document retrieval. - E. Barbi; F. Calvo; C. Perale; Franco Sirovich; Franco Turini (COCS, 1984)

Magma2: A Language Oriented toward Experiments in Control. - Franco Turini (ACM Trans. Program. Lang. Syst., 1984)

Symbolic Semantics and Program Reduction. - Vincenzo Ambriola; Fosca Giannotti; Dino Pedreschi; Franco Turini (IEEE Trans. Software Eng., 1985)

The Sharing of Partial Results in Nondeterministic Computations. - Vincenzo Ambriola; Giuliano Pacini; Franco Turini (AIMSA, 1986)

Cooperating Logic Theories. - Roberto Barbuti; C. D'Ascanio; Franco Turini (AIMSA, 1986)

Intensional Negation of Logic Programs: Examples and Implementation Techniques. - Roberto Barbuti; Paolo Mancarella; Dino Pedreschi; Franco Turini (TAPSOFT, Vol.2, 1987)

Symbolic Evaluation with Structural Recursive Symbolic Constants. - Fosca Giannotti; Attilio Matteucci; Dino Pedreschi; Franco Turini (Sci. Comput. Program., 1987)

Semantics of Production Systems - Giuliano Pacini; Franco Turini (Inf. Comput., 1987)

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

Universal Quantification by Case Analysis. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ECAI, 1990)

Logic Programming within a Functional Framework. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (PLILP, 1990)

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

RSF: A Formalism for Executable Requirement Specifications. - Michela Degl'Innocenti; Gian-Luigi Ferrari 002; Giuliano Pacini; Franco Turini (IEEE Trans. Software Eng., 1990)

Spreadviews. - Allessandro Campioli; Luciano Lucchesi; Franco Turini (DEXA, 1991)

Theory Construction in Computational Logic. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ICLP Workshop on Construction of Logic Programs, 1991)

Metalogic for Knowledge Representation. - Antonio Brogi; Franco Turini (KR, 1991)

The Type System of LML. - Bruno Bertolino; Luigi Meo; Dino Pedreschi; Franco Turini (Types in Logic Programming, 1992)

Metalogic for State Oriented Programming. - Antonio Brogi; Franco Turini (ELP, 1992)

Meta for Modularising Logic Programming. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (META, 1992)

Amalgamating Language and Meta-language for Composing Logic Programs. - Antonio Brogi; Chiara Renso; Franco Turini (GULP-PRODE (2), 1994)

Semantics of Meta-Logic in an Algebra of Programs - Antonio Brogi; Franco Turini (LICS, 1994)

Implementations of Program Composition Operations. - Antonio Brogi; A. Chiarelli; Paolo Mancarella; V. Mazzotta; Dino Pedreschi; Chiara Renso; Franco Turini (PLILP, 1994)

Modular Logic Programming. - Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini (ACM Trans. Program. Lang. Syst., 1994)

LOO: An Object Oriented Logic Programming Language. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (GULP-PRODE, 1995)

A Structural (Meta-Logical) Semantics for Linear Objects. - Giuseppe Manco 001; Franco Turini (GULP-PRODE, 1995)

Integrity Constraints Evolution in Deductive Databases. - Danilo Montesi; Franco Turini (GULP-PRODE, 1995)

An Operator for Composing Deductive Databases with Theories of Constraints. - Domenico Aquilino; Patrizia Asirelli; Chiara Renso; Franco Turini (LPNMR, 1995)

Fully Abstract Composition Semantics for an Algebra of Logic Programs. - Antonio Brogi; Franco Turini (Theor. Comput. Sci., 1995)

Modeling Object Dynamics in Object-Oriented Logic Programming. - Giuseppe Manco 001; Alessandra Raffaetà; Franco Turini (APPIA-GULP-PRODE, 1996)

Using Temporary Integrity Constraints to Optimize Databases. - Danilo Montesi; Chiara Renso; Franco Turini (FAPR, 1996)

Towards Declarative GIS Analysis. - Domenico Aquilino; Chiara Renso; Franco Turini (ACM-GIS, 1996)

Language Extensions for Semantic Integration of Deductive Databases. - Patrizia Asirelli; Chiara Renso; Franco Turini (Logic in Databases, 1996)

Composing General Logic Programs. - Antonio Brogi; Simone Contiero; Franco Turini (LPNMR, 1997)

Time in a Multi-Theory Logical Framework. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (TIME, 1997)

Applying Restriction Constraints to Deductive Databases. - Domenico Aquilino; Patrizia Asirelli; Chiara Renso; Franco Turini (Ann. Math. Artif. Intell., 1997)

The Use of Renaming in Composing General Programs. - Antonio Brogi; Simone Contiero; Franco Turini (LOPSTR, 1998)

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

Temporal Annotated Constraint Logic Programming with Multiple Theories. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (DEXA Workshop, 1999)

Experiences with a Logic-based knowledge discovery Support Environment. - Fosca Giannotti; Giuseppe Manco 001; Dino Pedreschi; Franco Turini (1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999)

Integration of Deduction and Induction for Mining Supermarket Sales Data. - Fosca Giannotti; Giuseppe Manco 001; Mirco Nanni; Dino Pedreschi; Franco Turini (SEBD, 1999)

Dynamic composition of parameterised logic modules. - Antonio Brogi; Chiara Renso; Franco Turini (Comput. Lang., 1999)

Knowledge representation with multiple logical theories and time. - Paolo Mancarella; Alessandra Raffaetà; Franco Turini (J. Exp. Theor. Artif. Intell., 1999)

Programming by Combining General Logic Programs. - Antonio Brogi; Simone Contiero; Franco Turini (J. Log. Comput., 1999)

On the Interplay between Reactivity and Computation. - Antonio Brogi; Simone Contiero; Franco Turini (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

MuTACLP: A Language for Declarative GIS Analysis. - Paolo Mancarella; Gianluca Nerbini; Alessandra Raffaetà; Franco Turini (Computational Logic, 2000)

An XML Based Environment in Support of the Overall KDD Process. - Piero Alcamo; Francesco Domenichini; Franco Turini (FQAS, 2000)

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

Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. - Fosca Giannotti; Giuseppe Manco 001; Franco Turini (PKDD, 2001)

Coordinating interaction patterns. - Andrea Bracciali; Antonio Brogi; Franco Turini (SAC, 2001)

Complex Reasoning on Geographical Data. - Fosca Giannotti; Alessandra Raffaetà; Chiara Renso; Franco Turini (SEBD, 2001)

MuTACLP: A Language for Temporal Reasoning with Multiple Theories. - Paolo Baldan; Paolo Mancarella; Alessandra Raffaetà; Franco Turini (Computational Logic: Logic Programming and Beyond, 2002)

Enhancing GISs for spatio-temporal reasoning. - Alessandra Raffaetà; Franco Turini; Chiara Renso (ACM-GIS, 2002)

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

Qualitative Reasoning in a Spatio-Temporal Language. - Alessandra Raffaetà; Chiara Renso; Franco Turini (SEBD, 2002)

Abduction in Classification Tasks. - Maurizio Atzori; Paolo Mancarella; Franco Turini (AI*IA, 2003)

Preprocessing and Mining Web Log Data for Web Personalization. - Miriam Baglioni; U. Ferrara; Andrea Romei; Salvatore Ruggieri; Franco Turini (AI*IA, 2003)

MQL: An Algebraic Query Language for Knowledge Discovery. - Miriam Baglioni; Franco Turini (AI*IA, 2003)

Qualitative Spatial Reasoning in a Logical Framework. - Alessandra Raffaetà; Chiara Renso; Franco Turini (AI*IA, 2003)

Towards a Logic Query Language for Data Mining. - Fosca Giannotti; Giuseppe Manco 001; Franco Turini (Database Support for Data Mining Applications, 2004)

Classification in Geographical Information Systems. - Salvatore Rinzivillo; Franco Turini (PKDD, 2004)

Deductive and Inductive Reasoning on Trajectories. - Mirco Nanni; Alessandra Raffaetà; Chiara Renso; Franco Turini (SEBD, 2004)

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

Integrating knowledge representation and reasoning in Geographical Information Systems. - Paolo Mancarella; Alessandra Raffaetà; Chiara Renso; Franco Turini (Int. J. Geogr. Inf. Sci., 2004)

Specifying Mining Algorithms with Iterative User-Defined Aggregates. - Fosca Giannotti; Giuseppe Manco 001; Franco Turini (IEEE Trans. Knowl. Data Eng., 2004)

Extracting spatial association rules from spatial transactions. - Salvatore Rinzivillo; Franco Turini (GIS, 2005)

Memory-Aware Frequent k-Itemset Mining. - Maurizio Atzori; Paolo Mancarella; Franco Turini (KDID, 2005)

DrC4.5: Improving C4.5 by means of prior knowledge. - Miriam Baglioni; Barbara Furletti; Franco Turini (SAC, 2005)

A framework for specifying and verifying the behaviour of open systems. - Andrea Bracciali; Antonio Brogi; Franco Turini (J. Log. Algebraic Methods Program., 2005)

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

Distributed Knowledge Discovery with the Parallel KDDML System. - Andrea Romei; Matteo Sciolla; Franco Turini; Marlis Valentini (Parallel and Distributed Computing and Networks, 2006)

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

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

Time-Annotated Sequences for Medical Data Mining. - Michele Berlingerio; Francesco Bonchi; Fosca Giannotti; Franco Turini (ICDM Workshops, 2007)

KDDML-G: a grid-enabled knowledge discovery system. - Andrea Romei; Matteo Sciolla; Franco Turini; Marlis Valentini (Concurr. Comput. Pract. Exp., 2007)

Knowledge discovery from spatial transactions. - Salvatore Rinzivillo; Franco Turini (J. Intell. Inf. Syst., 2007)

The Semantics of Ugo Montanari. - Franco Turini (Concurrency, Graphs and Models, 2008)

Ontology-Based Business Plan Classification. - Miriam Baglioni; Andrea Bellandi; Barbara Furletti; Laura Spinsanti; Franco Turini (EDOC, 2008)

Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. - Fosca Giannotti; Dino Pedreschi; Franco Turini (PinKDD, 2008)

Discrimination-aware data mining. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (KDD, 2008)

An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology. - Alessandra Raffaetà; Tommaso Ceccarelli; Dominique Centeno; Fosca Giannotti; Alessandro Massolo; Christine Parent; Chiara Renso; Stefano Spaccapietra; Franco Turini (GeoInformatica, 2008)

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

Knowledge Discovery from Geographical Data. - Salvatore Rinzivillo; Franco Turini; Vania Bogorny; Christine Körner; Bart Kuijpers; Michael May 001 (Mobility, Data Mining and Privacy, 2008)

Measuring Discrimination in Socially-Sensitive Decision Records. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (SDM, 2009)

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

Association Analysis of Semi-structured Data for Discrimination Discovery in Business. - Binh Luong Thanh; Franco Turini (DMIN, 2010)

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

Language Support to XML Data Mining: A Case Study. - Andrea Romei; Franco Turini (ICAART (Revised Selected Papers), 2010)

DCUBE: discrimination discovery in databases. - Salvatore Ruggieri; Dino Pedreschi; Franco Turini (SIGMOD Conference, 2010)

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

XML data mining. - Andrea Romei; Franco Turini (Softw. Pract. Exp., 2010)

Data mining for discrimination discovery. - Salvatore Ruggieri; Dino Pedreschi; Franco Turini (ACM Trans. Knowl. Discov. Data, 2010)

Programming the KDD Process using XQuery. - Andrea Romei; Franco Turini (KDIR, 2011)

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

Data Streams Classification: A Selective Ensemble with Adaptive Behavior. - Valerio Grossi; Franco Turini (ICAART (Revised Selected Papers), 2011)

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

What Else Can Be Extracted from Ontologies? Influence Rules. - Barbara Furletti; Franco Turini (ICSOFT (Selected Papers), 2011)

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

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

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

Discovering Gender Discrimination in Project Funding. - Andrea Romei; Salvatore Ruggieri; Franco Turini (ICDM Workshops, 2012)

A study of top-k measures for discrimination discovery. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (SAC, 2012)

Knowledge discovery in ontologies. - Barbara Furletti; Franco Turini (Intell. Data Anal., 2012)

Mining Bayesian networks out of ontologies. - Andrea Bellandi; Franco Turini (J. Intell. Inf. Syst., 2012)

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

Discrimination discovery in scientific project evaluation: A case study. - Andrea Romei; Salvatore Ruggieri; Franco Turini (Expert Syst. Appl., 2013)

The Discovery of Discrimination. - Dino Pedreschi; Salvatore Ruggieri; Franco Turini (Discrimination and Privacy in the Information Society, 2013)

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. - Patrick Mukala; Antonio Cerone; Franco Turini (SEFM Workshops, 2014)

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. - Patrick Mukala; Antonio Cerone; Franco Turini (SEFM Workshops, 2014)

An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. - Patrick Mukala; Antonio Cerone; Franco Turini (SEFM Workshops, 2014)

The layered structure of company share networks. - Andrea Romei; Salvatore Ruggieri; Franco Turini (DSAA, 2015)

Mining Learning Processes from FLOSS Mailing Archives. - Patrick Mukala; Antonio Cerone; Franco Turini (I3E, 2015)

Clustering Formulation Using Constraint Optimization. - Valerio Grossi; Anna Monreale; Mirco Nanni; Dino Pedreschi; Franco Turini (SEFM Workshops, 2015)

Classification Rule Mining Supported by Ontology for Discrimination Discovery. - Binh Thanh Luong; Salvatore Ruggieri; Franco Turini (ICDM Workshops, 2016)

A KDD Process for Discrimination Discovery. - Salvatore Ruggieri; Franco Turini (ECML/PKDD (3), 2016)

Data Mining and Constraints: An Overview. - Valerio Grossi; Dino Pedreschi; Franco Turini (Data Mining and Constraint Programming, 2016)

Survey on using constraints in data mining. - Valerio Grossi; Andrea Romei; Franco Turini (Data Min. Knowl. Discov., 2017)

An empirical verification of a-priori learning models on mailing archives in the context of online learning activities of participants in free libre open source software (FLOSS) communities. - Patrick Mukala; Antonio Cerone; Franco Turini (Educ. Inf. Technol., 2017)

A Survey Of Methods For Explaining Black Box Models. - Riccardo Guidotti; Anna Monreale; Franco Turini; Dino Pedreschi; Fosca Giannotti (CoRR, 2018)

Local Rule-Based Explanations of Black Box Decision Systems. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Dino Pedreschi; Franco Turini; Fosca Giannotti (CoRR, 2018)

Open the Black Box Data-Driven Explanation of Black Box Decision Systems. - Dino Pedreschi; Fosca Giannotti; Riccardo Guidotti; Anna Monreale; Luca Pappalardo; Salvatore Ruggieri; Franco Turini (CoRR, 2018)

Meaningful Explanations of Black Box AI Decision Systems. - Dino Pedreschi; Fosca Giannotti; Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Franco Turini (AAAI, 2019)

Global Explanations with Local Scoring. - Mattia Setzu; Riccardo Guidotti; Anna Monreale; Franco Turini (PKDD/ECML Workshops (1), 2019)

A Survey of Methods for Explaining Black Box Models. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Franco Turini; Fosca Giannotti; Dino Pedreschi (ACM Comput. Surv., 2019)

Factual and Counterfactual Explanations for Black Box Decision Making. - Riccardo Guidotti; Anna Monreale; Fosca Giannotti; Dino Pedreschi; Salvatore Ruggieri; Franco Turini (IEEE Intell. Syst., 2019)

Bias in Data-driven AI Systems - An Introductory Survey. - Eirini Ntoutsi; Pavlos Fafalios; Ujwal Gadiraju; Vasileios Iosifidis; Wolfgang Nejdl; Maria-Esther Vidal; Salvatore Ruggieri; Franco Turini; Symeon Papadopoulos; Emmanouil Krasanakis; Ioannis Kompatsiaris; Katharina Kinder-Kurlanda; et al. (CoRR, 2020)

Bias in data-driven artificial intelligence systems - An introductory survey. - Eirini Ntoutsi; Pavlos Fafalios; Ujwal Gadiraju; Vasileios Iosifidis; Wolfgang Nejdl; Maria-Esther Vidal; Salvatore Ruggieri; Franco Turini; Symeon Papadopoulos; Emmanouil Krasanakis; Ioannis Kompatsiaris; Katharina Kinder-Kurlanda; et al. (WIREs Data Mining Knowl. Discov., 2020)

GLocalX - From Local to Global Explanations of Black Box AI Models. - Mattia Setzu; Riccardo Guidotti; Anna Monreale; Franco Turini; Dino Pedreschi; Fosca Giannotti (Artif. Intell., 2021)

Can We Trust Fair-AI? - Salvatore Ruggieri; José M. Álvarez 002; Andrea Pugnana; Laura State; Franco Turini (AAAI, 2023)

The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods. - Laura State; Alejandra Bringas Colmenarejo; Andrea Beretta; Salvatore Ruggieri; Franco Turini; Stephanie Law (EWAF, 2023)

Declarative Reasoning on Explanations Using Constraint Logic Programming. - Laura State; Salvatore Ruggieri; Franco Turini (JELIA, 2023)

Reason to Explain: Interactive Contrastive Explanations (REASONX). - Laura State; Salvatore Ruggieri; Franco Turini (xAI (1), 2023)

An Exploration of Learning Processes as Process Maps in FLOSS Repositories. - Patrick Mukala; Antonio Cerone; Franco Turini (CoRR, 2023)

Stable and actionable explanations of black-box models through factual and counterfactual rules. - Riccardo Guidotti; Anna Monreale; Salvatore Ruggieri; Francesca Naretto; Franco Turini; Dino Pedreschi; Fosca Giannotti (Data Min. Knowl. Discov., 2024)

The explanation dialogues: an expert focus study to understand requirements towards explanations within the GDPR. - Laura State; Alejandra Bringas Colmenarejo; Andrea Beretta; Salvatore Ruggieri; Franco Turini; Stephanie Law (CoRR, 2025)