Franco Turini

152 papers A* 10A 2B 7C 7Misc 5Journal 48Unranked 65
YearRankTypeTitle / Venue / Authors
2026 J jnl
ReasonX: Declarative Reasoning on Explanations.
CoRR
Laura State, Salvatore Ruggieri, Franco Turini
2025 J jnl
The explanation dialogues: an expert focus study to understand requirements towards explanations within the GDPR.
CoRR
Laura State, Alejandra Bringas Colmenarejo, Andrea Beretta, Salvatore Ruggieri, Franco Turini, Stephanie Law
2024 J jnl
Stable and actionable explanations of black-box models through factual and counterfactual rules.
Data Min. Knowl. Discov.
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Francesca Naretto, Franco Turini, Dino Pedreschi, Fosca Giannotti
2023 J jnl
An Exploration of Learning Processes as Process Maps in FLOSS Repositories.
CoRR
Patrick Mukala, Antonio Cerone, Franco Turini
2023 A* conf
Can We Trust Fair-AI?
AAAI
Salvatore Ruggieri, José M. Álvarez, Andrea Pugnana, Laura State, Franco Turini
2023 B conf
Declarative Reasoning on Explanations Using Constraint Logic Programming.
JELIA
Laura State, Salvatore Ruggieri, Franco Turini
2023 J jnl
Declarative Reasoning on Explanations Using Constraint Logic Programming.
CoRR
Laura State, Salvatore Ruggieri, Franco Turini
2023 — conf
Reason to Explain: Interactive Contrastive Explanations (REASONX).
xAI (1)
Laura State, Salvatore Ruggieri, Franco Turini
2023 J jnl
Reason to explain: Interactive contrastive explanations (REASONX).
CoRR
Laura State, Salvatore Ruggieri, Franco Turini
2023 — conf
The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods.
EWAF
Laura State, Alejandra Bringas Colmenarejo, Andrea Beretta, Salvatore Ruggieri, Franco Turini, Stephanie Law
2021 J jnl
GLocalX - From Local to Global Explanations of Black Box AI Models.
Artif. Intell.
Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti
2021 J jnl
GLocalX - From Local to Global Explanations of Black Box AI Models.
CoRR
Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti
2020 J jnl
Bias in Data-driven AI Systems - An Introductory Survey.
CoRR
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, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab
2020 J jnl
Bias in data-driven artificial intelligence systems - An introductory survey.
WIREs Data Mining Knowl. Discov.
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, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab
2019 J jnl
A Survey of Methods for Explaining Black Box Models.
ACM Comput. Surv.
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
2019 J jnl
Factual and Counterfactual Explanations for Black Box Decision Making.
IEEE Intell. Syst.
Riccardo Guidotti, Anna Monreale, Fosca Giannotti, Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2019 — conf
Global Explanations with Local Scoring.
PKDD/ECML Workshops (1)
Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini
2019 A* conf
Meaningful Explanations of Black Box AI Decision Systems.
AAAI
Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini
2018 J jnl
A Survey Of Methods For Explaining Black Box Models.
CoRR
Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti
2018 J jnl
Local Rule-Based Explanations of Black Box Decision Systems.
CoRR
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Dino Pedreschi, Franco Turini, Fosca Giannotti
2018 J jnl
Open the Black Box Data-Driven Explanation of Black Box Decision Systems.
CoRR
Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini
2017 J jnl
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.
Educ. Inf. Technol.
Patrick Mukala, Antonio Cerone, Franco Turini
2017 J jnl
Survey on using constraints in data mining.
Data Min. Knowl. Discov.
Valerio Grossi, Andrea Romei, Franco Turini
2016 — conf
A KDD Process for Discrimination Discovery.
ECML/PKDD (3)
Salvatore Ruggieri, Franco Turini
2016 — conf
Classification Rule Mining Supported by Ontology for Discrimination Discovery.
ICDM Workshops
Binh Thanh Luong, Salvatore Ruggieri, Franco Turini
2016 — ch.
Data Mining and Constraints: An Overview.
Data Mining and Constraint Programming
Valerio Grossi, Dino Pedreschi, Franco Turini
2015 — conf
Clustering Formulation Using Constraint Optimization.
SEFM Workshops
Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini
2015 — conf
Mining Learning Processes from FLOSS Mailing Archives.
I3E
Patrick Mukala, Antonio Cerone, Franco Turini
2015 B conf
The layered structure of company share networks.
DSAA
Andrea Romei, Salvatore Ruggieri, Franco Turini
2014 — conf
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2014 — conf
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2014 — conf
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2013 J jnl
Discrimination discovery in scientific project evaluation: A case study.
Expert Syst. Appl.
Andrea Romei, Salvatore Ruggieri, Franco Turini
2013 — ch.
The Discovery of Discrimination.
Discrimination and Privacy in the Information Society
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2012 Misc conf
A study of top-k measures for discrimination discovery.
SAC
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2012 — conf
Discovering Gender Discrimination in Project Funding.
ICDM Workshops
Andrea Romei, Salvatore Ruggieri, Franco Turini
2012 J jnl
Knowledge discovery in ontologies.
Intell. Data Anal.
Barbara Furletti, Franco Turini
2012 J jnl
Mining Bayesian networks out of ontologies.
J. Intell. Inf. Syst.
Andrea Bellandi, Franco Turini
2012 J jnl
Stream mining: a novel architecture for ensemble-based classification.
Knowl. Inf. Syst.
Valerio Grossi, Franco Turini
2011 — conf
An Adaptive Selective Ensemble for Data Streams Classification.
ICAART (1)
Valerio Grossi, Franco Turini
2011 — conf
Data Streams Classification: A Selective Ensemble with Adaptive Behavior.
ICAART (Revised Selected Papers)
Valerio Grossi, Franco Turini
2011 J jnl
Inductive database languages: requirements and examples.
Knowl. Inf. Syst.
Andrea Romei, Franco Turini
2011 C conf
Mining Collaboration Opportunities to Support Joined-Up Government.
PRO-VE
Rilwan O. Basanya, Adegboyega K. Ojo, Tomasz Janowski, Franco Turini
2011 — conf
Mining Influence Rules out of Ontologies.
ICSOFT (2)
Barbara Furletti, Franco Turini
2011 — conf
Programming the KDD Process using XQuery.
KDIR
Andrea Romei, Franco Turini
2011 — conf
What Else Can Be Extracted from Ontologies? Influence Rules.
ICSOFT (Selected Papers)
Barbara Furletti, Franco Turini
2011 A* conf
k-NN as an implementation of situation testing for discrimination discovery and prevention.
KDD
Binh Luong Thanh, Salvatore Ruggieri, Franco Turini
2010 — conf
Association Analysis of Semi-structured Data for Discrimination Discovery in Business.
DMIN
Binh Luong Thanh, Franco Turini
2010 — conf
DCUBE: discrimination discovery in databases.
SIGMOD Conference
Salvatore Ruggieri, Dino Pedreschi, Franco Turini
2010 J jnl
Data mining for discrimination discovery.
ACM Trans. Knowl. Discov. Data
Salvatore Ruggieri, Dino Pedreschi, Franco Turini
2010 J jnl
Integrating induction and deduction for finding evidence of discrimination.
Artif. Intell. Law
Salvatore Ruggieri, Dino Pedreschi, Franco Turini
2010 — conf
Language Support to XML Data Mining: A Case Study.
ICAART (Revised Selected Papers)
Andrea Romei, Franco Turini
2010 J jnl
XML data mining.
Softw. Pract. Exp.
Andrea Romei, Franco Turini
2010 — conf
XQuake - An XQuery-like Language for Mining XML Data.
ICAART (1)
Andrea Romei, Franco Turini
2009 C conf
Integrating induction and deduction for finding evidence of discrimination.
ICAIL
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2009 A conf
Measuring Discrimination in Socially-Sensitive Decision Records.
SDM
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2009 — ch.
Mining Clinical, Immunological, and Genetic Data of Solid Organ Transplantation.
Biomedical Data and Applications
Michele Berlingerio, Francesco Bonchi, Michele Curcio, Fosca Giannotti, Franco Turini
2008 J jnl
An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology.
GeoInformatica
Alessandra Raffaetà, Tommaso Ceccarelli, Dominique Centeno, Fosca Giannotti, Alessandro Massolo, Christine Parent, Chiara Renso, Stefano Spaccapietra, Franco Turini
2008 A* conf
Discrimination-aware data mining.
KDD
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
2008 — ch.
Knowledge Discovery from Geographical Data.
Mobility, Data Mining and Privacy
Salvatore Rinzivillo, Franco Turini, Vania Bogorny, Christine Körner, Bart Kuijpers, Michael May
2008 — conf
Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project.
PinKDD
Fosca Giannotti, Dino Pedreschi, Franco Turini
2008 B conf
Ontology-Based Business Plan Classification.
EDOC
Miriam Baglioni, Andrea Bellandi, Barbara Furletti, Laura Spinsanti, Franco Turini
2008 — ch.
Privacy Protection: Regulations and Technologies, Opportunities and Threats.
Mobility, Data Mining and Privacy
Dino Pedreschi, Francesco Bonchi, Franco Turini, Vassilios S. Verykios, Maurizio Atzori, Bradley A. Malin, Bart Moelans, Yücel Saygin
2008 — conf
The Semantics of Ugo Montanari.
Concurrency, Graphs and Models
Franco Turini
2007 J jnl
KDDML-G: a grid-enabled knowledge discovery system.
Concurr. Comput. Pract. Exp.
Andrea Romei, Matteo Sciolla, Franco Turini, Marlis Valentini
2007 J jnl
Knowledge discovery from spatial transactions.
J. Intell. Inf. Syst.
Salvatore Rinzivillo, Franco Turini
2007 — conf
Mining Clinical Data with a Temporal Dimension: A Case Study.
BIBM
Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini
2007 — conf
Time-Annotated Sequences for Medical Data Mining.
ICDM Workshops
Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini
2006 — conf
Distributed Knowledge Discovery with the Parallel KDDML System.
Parallel and Distributed Computing and Networks
Andrea Romei, Matteo Sciolla, Franco Turini, Marlis Valentini
2006 — conf
Examples of Integration of Induction and Deduction in Knowledge Discovery.
Reasoning, Action and Interaction in AI Theories and Systems
Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo
2006 J jnl
KDDML: A middleware language and system for knowledge discovery in databases.
Data Knowl. Eng.
Andrea Romei, Salvatore Ruggieri, Franco Turini
2005 J jnl
A framework for specifying and verifying the behaviour of open systems.
J. Log. Algebraic Methods Program.
Andrea Bracciali, Antonio Brogi, Franco Turini
2005 Misc conf
DrC4.5: Improving C4.5 by means of prior knowledge.
SAC
Miriam Baglioni, Barbara Furletti, Franco Turini
2005 — conf
Extracting spatial association rules from spatial transactions.
GIS
Salvatore Rinzivillo, Franco Turini
2005 — conf
KDDML: a middleware language and system for knowledge discovery in databases.
SEBD
Andrea Romei, Salvatore Ruggieri, Franco Turini
2005 — conf
Memory-Aware Frequent
KDID
Maurizio Atzori, Paolo Mancarella, Franco Turini
2004 — conf
Classification in Geographical Information Systems.
PKDD
Salvatore Rinzivillo, Franco Turini
2004 — conf
Deductive and Inductive Reasoning on Spatio-Temporal Data.
INAP/WLP
Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
2004 — conf
Deductive and Inductive Reasoning on Trajectories.
SEBD
Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
2004 J jnl
Integrating knowledge representation and reasoning in Geographical Information Systems.
Int. J. Geogr. Inf. Sci.
Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini
2004 J jnl
Specifying Mining Algorithms with Iterative User-Defined Aggregates.
IEEE Trans. Knowl. Data Eng.
Fosca Giannotti, Giuseppe Manco, Franco Turini
2004 — ch.
Towards a Logic Query Language for Data Mining.
Database Support for Data Mining Applications
Fosca Giannotti, Giuseppe Manco, Franco Turini
2003 — ed.
AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings
AI*IA
Amedeo Cappelli, Franco Turini
2003 — conf
Abduction in Classification Tasks.
AI*IA
Maurizio Atzori, Paolo Mancarella, Franco Turini
2003 — conf
MQL: An Algebraic Query Language for Knowledge Discovery.
AI*IA
Miriam Baglioni, Franco Turini
2003 — conf
Preprocessing and Mining Web Log Data for Web Personalization.
AI*IA
Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini
2003 — conf
Qualitative Spatial Reasoning in a Logical Framework.
AI*IA
Alessandra Raffaetà, Chiara Renso, Franco Turini
2002 — conf
Enhancing GISs for spatio-temporal reasoning.
ACM-GIS
Alessandra Raffaetà, Franco Turini, Chiara Renso
2002 B conf
Knowledge Mining and Discovery for Searching in Literary Texts.
LREC
Amedeo Cappelli, Maria Novella Catarsi, Patrizia Michelassi, Lorenzo Moretti, Miriam Baglioni, Franco Turini, M. Tavoni
2002 — conf
MuTACLP: A Language for Temporal Reasoning with Multiple Theories.
Computational Logic: Logic Programming and Beyond
Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
2002 — conf
Qualitative Reasoning in a Spatio-Temporal Language.
SEBD
Alessandra Raffaetà, Chiara Renso, Franco Turini
2001 — conf
Complex Reasoning on Geographical Data.
SEBD
Fosca Giannotti, Alessandra Raffaetà, Chiara Renso, Franco Turini
2001 Misc conf
Coordinating interaction patterns.
SAC
Andrea Bracciali, Antonio Brogi, Franco Turini
2001 — conf
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study.
PKDD
Fosca Giannotti, Giuseppe Manco, Franco Turini
2000 C conf
An XML Based Environment in Support of the Overall KDD Process.
FQAS
Piero Alcamo, Francesco Domenichini, Franco Turini
2000 — conf
MuTACLP: A Language for Declarative GIS Analysis.
Computational Logic
Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini
2000 — conf
On the Interplay between Reactivity and Computation.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Antonio Brogi, Simone Contiero, Franco Turini
2000 J jnl
Using MedLan to Integrate Geographical Data.
J. Log. Program.
Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini
1999 J jnl
Dynamic composition of parameterised logic modules.
Comput. Lang.
Antonio Brogi, Chiara Renso, Franco Turini
1999 — conf
Experiences with a Logic-Based Knowledge Discovery Support Environment.
AI*IA
Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini
1999 — conf
Experiences with a Logic-based knowledge discovery Support Environment.
1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery
Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini
1999 — conf
Integration of Deduction and Induction for Mining Supermarket Sales Data.
SEBD
Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini
1999 J jnl
Knowledge representation with multiple logical theories and time.
J. Exp. Theor. Artif. Intell.
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
1999 J jnl
Programming by Combining General Logic Programs.
J. Log. Comput.
Antonio Brogi, Simone Contiero, Franco Turini
1999 — conf
Temporal Annotated Constraint Logic Programming with Multiple Theories.
DEXA Workshop
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
1998 — conf
The Constraint Operator of MedLan: Its Efficient Implementation and Use.
IICIS
Patrizia Asirelli, Chiara Renso, Franco Turini
1998 C conf
The Use of Renaming in Composing General Programs.
LOPSTR
Antonio Brogi, Simone Contiero, Franco Turini
1997 J jnl
Applying Restriction Constraints to Deductive Databases.
Ann. Math. Artif. Intell.
Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1997 B conf
Composing General Logic Programs.
LPNMR
Antonio Brogi, Simone Contiero, Franco Turini
1997 C conf
Time in a Multi-Theory Logical Framework.
TIME
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
1996 — conf
Language Extensions for Semantic Integration of Deductive Databases.
Logic in Databases
Patrizia Asirelli, Chiara Renso, Franco Turini
1996 — conf
Modeling Object Dynamics in Object-Oriented Logic Programming.
APPIA-GULP-PRODE
Giuseppe Manco, Alessandra Raffaetà, Franco Turini
1996 — conf
Towards Declarative GIS Analysis.
ACM-GIS
Domenico Aquilino, Chiara Renso, Franco Turini
1996 — conf
Using Temporary Integrity Constraints to Optimize Databases.
FAPR
Danilo Montesi, Chiara Renso, Franco Turini
1995 — conf
A Structural (Meta-Logical) Semantics for Linear Objects.
GULP-PRODE
Giuseppe Manco, Franco Turini
1995 B conf
An Operator for Composing Deductive Databases with Theories of Constraints.
LPNMR
Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1995 J jnl
Fully Abstract Composition Semantics for an Algebra of Logic Programs.
Theor. Comput. Sci.
Antonio Brogi, Franco Turini
1995 — conf
Integrity Constraints Evolution in Deductive Databases.
GULP-PRODE
Danilo Montesi, Franco Turini
1995 — conf
LOO: An Object Oriented Logic Programming Language.
GULP-PRODE
Paolo Mancarella, Alessandra Raffaetà, Franco Turini
1994 — conf
Amalgamating Language and Meta-language for Composing Logic Programs.
GULP-PRODE (2)
Antonio Brogi, Chiara Renso, Franco Turini
1994 — conf
Implementations of Program Composition Operations.
PLILP
Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini
1994 C ed.
Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings
LOPSTR/META
Laurent Fribourg, Franco Turini
1994 J jnl
Modular Logic Programming.
ACM Trans. Program. Lang. Syst.
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
1994 A* conf
Semantics of Meta-Logic in an Algebra of Programs
LICS
Antonio Brogi, Franco Turini
1992 — conf
Meta for Modularising Logic Programming.
META
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
1992 — conf
Metalogic for State Oriented Programming.
ELP
Antonio Brogi, Franco Turini
1992 — ch.
The Type System of LML.
Types in Logic Programming
Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini
1991 A* conf
Metalogic for Knowledge Representation.
KR
Antonio Brogi, Franco Turini
1991 C conf
Spreadviews.
DEXA
Allessandro Campioli, Luciano Lucchesi, Franco Turini
1991 — conf
Theory Construction in Computational Logic.
ICLP Workshop on Construction of Logic Programs
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
1990 J jnl
A Transformational Approach to Negation in Logic Programming.
J. Log. Program.
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
1990 — conf
Logic Programming within a Functional Framework.
PLILP
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
1990 J jnl
RSF: A Formalism for Executable Requirement Specifications.
IEEE Trans. Software Eng.
Michela Degl'Innocenti, Gian-Luigi Ferrari, Giuliano Pacini, Franco Turini
1990 A conf
Universal Quantification by Case Analysis.
ECAI
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
1988 — conf
A Progress Report on the LML Project.
FGCS
Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini
1987 — conf
Intensional Negation of Logic Programs: Examples and Implementation Techniques.
TAPSOFT, Vol.2
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
1987 J jnl
Semantics of Production Systems
Inf. Comput.
Giuliano Pacini, Franco Turini
1987 J jnl
Symbolic Evaluation with Structural Recursive Symbolic Constants.
Sci. Comput. Program.
Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini
1986 Misc conf
Cooperating Logic Theories.
AIMSA
Roberto Barbuti, C. D'Ascanio, Franco Turini
1986 Misc conf
The Sharing of Partial Results in Nondeterministic Computations.
AIMSA
Vincenzo Ambriola, Giuliano Pacini, Franco Turini
1985 J jnl
Symbolic Semantics and Program Reduction.
IEEE Trans. Software Eng.
Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini
1984 — conf
A conceptual approach to document retrieval.
COCS
E. Barbi, F. Calvo, C. Perale, Franco Sirovich, Franco Turini
1984 J jnl
Magma2: A Language Oriented toward Experiments in Control.
ACM Trans. Program. Lang. Syst.
Franco Turini
1983 B conf
A High Level Analysis Tool for Concurrent Programs.
ICPP
Paolo Mancarella, Franco Turini
1983 J jnl
Abstractions of Control Environments.
BIT
Franco Turini
1983 A* conf
Demonizing Production Systems.
IJCAI
Giuliano Pacini, Franco Turini
1979 A* conf
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
1978 J jnl
Information Management in Context Trees.
Acta Informatica
Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
1977 J jnl
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM
Carlo Montangero, Giuliano Pacini, Franco Turini
1975 A* conf
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
IJCAI
Carlo Montangero, Giuliano Pacini, Franco Turini
1974 — conf
A model for structured parallel processing in block-structured programming languages.
Symposium on Programming
Carlo Montangero, Giuliano Pacini, Franco Turini
1974 A* conf
Graph Representation and Computation Rules for Typeless Recursive Languages.
ICALP
Giuliano Pacini, Carlo Montangero, Franco Turini