default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranco Turini
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j38]Riccardo Guidotti
, Anna Monreale, Salvatore Ruggieri, Francesca Naretto, Franco Turini, Dino Pedreschi, Fosca Giannotti:
Stable and actionable explanations of black-box models through factual and counterfactual rules. Data Min. Knowl. Discov. 38(5): 2825-2862 (2024)- 2023
- [c95]Salvatore Ruggieri, José M. Álvarez, Andrea Pugnana, Laura State, Franco Turini:
Can We Trust Fair-AI? AAAI 2023: 15421-15430 - [c94]Laura State, Alejandra Bringas Colmenarejo, Andrea Beretta, Salvatore Ruggieri, Franco Turini, Stephanie Law:
The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods. EWAF 2023 - [c93]Laura State, Salvatore Ruggieri, Franco Turini:
Declarative Reasoning on Explanations Using Constraint Logic Programming. JELIA 2023: 132-141 - [c92]Laura State, Salvatore Ruggieri, Franco Turini:
Reason to Explain: Interactive Contrastive Explanations (REASONX). xAI (1) 2023: 421-437 - [i8]Laura State, Salvatore Ruggieri, Franco Turini:
Reason to explain: Interactive contrastive explanations (REASONX). CoRR abs/2305.18143 (2023) - [i7]Patrick Mukala, Antonio Cerone, Franco Turini:
An Exploration of Learning Processes as Process Maps in FLOSS Repositories. CoRR abs/2307.07841 (2023) - [i6]Laura State, Salvatore Ruggieri, Franco Turini:
Declarative Reasoning on Explanations Using Constraint Logic Programming. CoRR abs/2309.00422 (2023) - 2021
- [j37]Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti:
GLocalX - From Local to Global Explanations of Black Box AI Models. Artif. Intell. 294: 103457 (2021) - [i5]Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti:
GLocalX - From Local to Global Explanations of Black Box AI Models. CoRR abs/2101.07685 (2021) - 2020
- [j36]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:
Bias in data-driven artificial intelligence systems - An introductory survey. WIREs Data Mining Knowl. Discov. 10(3) (2020) - [i4]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:
Bias in Data-driven AI Systems - An Introductory Survey. CoRR abs/2001.09762 (2020)
2010 – 2019
- 2019
- [j35]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi:
A Survey of Methods for Explaining Black Box Models. ACM Comput. Surv. 51(5): 93:1-93:42 (2019) - [j34]Riccardo Guidotti, Anna Monreale, Fosca Giannotti, Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Factual and Counterfactual Explanations for Black Box Decision Making. IEEE Intell. Syst. 34(6): 14-23 (2019) - [c91]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini:
Meaningful Explanations of Black Box AI Decision Systems. AAAI 2019: 9780-9784 - [c90]Mattia Setzu, Riccardo Guidotti, Anna Monreale, Franco Turini:
Global Explanations with Local Scoring. PKDD/ECML Workshops (1) 2019: 159-171 - 2018
- [i3]Riccardo Guidotti, Anna Monreale, Franco Turini, Dino Pedreschi, Fosca Giannotti:
A Survey Of Methods For Explaining Black Box Models. CoRR abs/1802.01933 (2018) - [i2]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Dino Pedreschi, Franco Turini, Fosca Giannotti:
Local Rule-Based Explanations of Black Box Decision Systems. CoRR abs/1805.10820 (2018) - [i1]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini:
Open the Black Box Data-Driven Explanation of Black Box Decision Systems. CoRR abs/1806.09936 (2018) - 2017
- [j33]Valerio Grossi, Andrea Romei, Franco Turini:
Survey on using constraints in data mining. Data Min. Knowl. Discov. 31(2): 424-464 (2017) - [j32]Patrick Mukala, Antonio Cerone, Franco Turini:
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. 22(6): 3207-3229 (2017) - 2016
- [c89]Binh Thanh Luong, Salvatore Ruggieri, Franco Turini:
Classification Rule Mining Supported by Ontology for Discrimination Discovery. ICDM Workshops 2016: 868-875 - [c88]Salvatore Ruggieri, Franco Turini:
A KDD Process for Discrimination Discovery. ECML/PKDD (3) 2016: 249-253 - [p7]Valerio Grossi, Dino Pedreschi, Franco Turini:
Data Mining and Constraints: An Overview. Data Mining and Constraint Programming 2016: 25-48 - 2015
- [c87]Andrea Romei, Salvatore Ruggieri, Franco Turini:
The layered structure of company share networks. DSAA 2015: 1-10 - [c86]Patrick Mukala, Antonio Cerone, Franco Turini:
Mining Learning Processes from FLOSS Mailing Archives. I3E 2015: 287-298 - [c85]Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini:
Clustering Formulation Using Constraint Optimization. SEFM Workshops 2015: 93-107 - 2014
- [c84]Patrick Mukala, Antonio Cerone, Franco Turini:
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. SEFM Workshops 2014: 164-181 - [c83]Patrick Mukala, Antonio Cerone, Franco Turini:
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. SEFM Workshops 2014: 182-198 - [c82]Patrick Mukala, Antonio Cerone, Franco Turini:
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. SEFM Workshops 2014: 227-242 - 2013
- [j31]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discrimination discovery in scientific project evaluation: A case study. Expert Syst. Appl. 40(15): 6064-6079 (2013) - [p6]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108 - 2012
- [j30]Barbara Furletti, Franco Turini:
Knowledge discovery in ontologies. Intell. Data Anal. 16(3): 513-534 (2012) - [j29]Andrea Bellandi, Franco Turini:
Mining Bayesian networks out of ontologies. J. Intell. Inf. Syst. 38(2): 507-532 (2012) - [j28]Valerio Grossi, Franco Turini:
Stream mining: a novel architecture for ensemble-based classification. Knowl. Inf. Syst. 30(2): 247-281 (2012) - [c81]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discovering Gender Discrimination in Project Funding. ICDM Workshops 2012: 394-401 - [c80]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
A study of top-k measures for discrimination discovery. SAC 2012: 126-131 - 2011
- [j27]Andrea Romei, Franco Turini:
Inductive database languages: requirements and examples. Knowl. Inf. Syst. 26(3): 351-384 (2011) - [c79]Andrea Romei, Franco Turini:
Programming the KDD Process using XQuery. KDIR 2011: 131-139 - [c78]Valerio Grossi, Franco Turini:
An Adaptive Selective Ensemble for Data Streams Classification. ICAART (1) 2011: 136-145 - [c77]Valerio Grossi, Franco Turini:
Data Streams Classification: A Selective Ensemble with Adaptive Behavior. ICAART (Revised Selected Papers) 2011: 208-223 - [c76]Barbara Furletti, Franco Turini:
What Else Can Be Extracted from Ontologies? Influence Rules. ICSOFT (Selected Papers) 2011: 270-285 - [c75]Barbara Furletti, Franco Turini:
Mining Influence Rules out of Ontologies. ICSOFT (2) 2011: 323-333 - [c74]Rilwan O. Basanya, Adegboyega K. Ojo, Tomasz Janowski, Franco Turini:
Mining Collaboration Opportunities to Support Joined-Up Government. PRO-VE 2011: 359-366 - [c73]Binh Luong Thanh, Salvatore Ruggieri, Franco Turini:
k-NN as an implementation of situation testing for discrimination discovery and prevention. KDD 2011: 502-510 - 2010
- [j26]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010) - [j25]Andrea Romei, Franco Turini:
XML data mining. Softw. Pract. Exp. 40(2): 101-130 (2010) - [j24]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Data mining for discrimination discovery. ACM Trans. Knowl. Discov. Data 4(2): 9:1-9:40 (2010) - [c72]Binh Luong Thanh, Franco Turini:
Association Analysis of Semi-structured Data for Discrimination Discovery in Business. DMIN 2010: 193-199 - [c71]Andrea Romei, Franco Turini:
XQuake - An XQuery-like Language for Mining XML Data. ICAART (1) 2010: 20-27 - [c70]Andrea Romei, Franco Turini:
Language Support to XML Data Mining: A Case Study. ICAART (Revised Selected Papers) 2010: 25-38 - [c69]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130
2000 – 2009
- 2009
- [c68]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166 - [c67]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592 - [p5]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 - 2008
- [j23]Alessandra Raffaetà, Tommaso Ceccarelli, Dominique Centeno, Fosca Giannotti, Alessandro 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) - [c66]Franco Turini:
The Semantics of Ugo Montanari. Concurrency, Graphs and Models 2008: 804-805 - [c65]Miriam Baglioni, Andrea Bellandi, Barbara Furletti, Laura Spinsanti, Franco Turini:
Ontology-Based Business Plan Classification. EDOC 2008: 365-371 - [c64]Fosca Giannotti, Dino Pedreschi, Franco Turini:
Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. PinKDD 2008: 25-32 - [c63]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Discrimination-aware data mining. KDD 2008: 560-568 - [p4]Dino Pedreschi, Francesco Bonchi, Franco Turini, Vassilios S. Verykios, Maurizio Atzori, Bradley A. Malin, Bart Moelans, Yücel Saygin:
Privacy Protection: Regulations and Technologies, Opportunities and Threats. Mobility, Data Mining and Privacy 2008: 101-119 - [p3]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 - 2007
- [j22]Andrea Romei, Matteo Sciolla, Franco Turini, Marlis Valentini:
KDDML-G: a grid-enabled knowledge discovery system. Concurr. Comput. Pract. Exp. 19(13): 1785-1809 (2007) - [j21]Salvatore Rinzivillo, Franco Turini:
Knowledge discovery from spatial transactions. J. Intell. Inf. Syst. 28(1): 1-22 (2007) - [c62]Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini:
Mining Clinical Data with a Temporal Dimension: A Case Study. BIBM 2007: 429-436 - [c61]Michele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini:
Time-Annotated Sequences for Medical Data Mining. ICDM Workshops 2007: 133-138 - 2006
- [j20]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) - [c60]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 - [c59]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 - 2005
- [j19]Andrea Bracciali, Antonio Brogi, Franco Turini:
A framework for specifying and verifying the behaviour of open systems. J. Log. Algebraic Methods Program. 63(2): 215-240 (2005) - [c58]Salvatore Rinzivillo, Franco Turini:
Extracting spatial association rules from spatial transactions. GIS 2005: 79-86 - [c57]Maurizio Atzori, Paolo Mancarella, Franco Turini:
Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54 - [c56]Miriam Baglioni, Barbara Furletti, Franco Turini:
DrC4.5: Improving C4.5 by means of prior knowledge. SAC 2005: 474-481 - [c55]Andrea Romei, Salvatore Ruggieri, Franco Turini:
KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219 - 2004
- [j18]Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini:
Integrating knowledge representation and reasoning in Geographical Information Systems. Int. J. Geogr. Inf. Sci. 18(4): 417-447 (2004) - [j17]Fosca Giannotti, Giuseppe Manco, Franco Turini:
Specifying Mining Algorithms with Iterative User-Defined Aggregates. IEEE Trans. Knowl. Data Eng. 16(10): 1232-1246 (2004) - [c54]Salvatore Rinzivillo, Franco Turini:
Classification in Geographical Information Systems. PKDD 2004: 374-385 - [c53]Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini:
Deductive and Inductive Reasoning on Trajectories. SEBD 2004: 98-105 - [c52]Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini:
Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP 2004: 98-115 - [p2]Fosca Giannotti, Giuseppe Manco, Franco Turini:
Towards a Logic Query Language for Data Mining. Database Support for Data Mining Applications 2004: 76-94 - 2003
- [c51]Alessandra Raffaetà, Chiara Renso, Franco Turini:
Qualitative Spatial Reasoning in a Logical Framework. AI*IA 2003: 78-90 - [c50]Maurizio Atzori, Paolo Mancarella, Franco Turini:
Abduction in Classification Tasks. AI*IA 2003: 213-224 - [c49]Miriam Baglioni, Franco Turini:
MQL: An Algebraic Query Language for Knowledge Discovery. AI*IA 2003: 225-236 - [c48]Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249 - [e2]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. Lecture Notes in Computer Science 2829, Springer 2003, ISBN 3-540-20119-X [contents] - 2002
- [c47]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 - [c46]Alessandra Raffaetà, Franco Turini, Chiara Renso:
Enhancing GISs for spatio-temporal reasoning. ACM-GIS 2002: 42-48 - [c45]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 - [c44]Alessandra Raffaetà, Chiara Renso, Franco Turini:
Qualitative Reasoning in a Spatio-Temporal Language. SEBD 2002: 105-118 - 2001
- [c43]Fosca Giannotti, Giuseppe Manco, Franco Turini:
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. PKDD 2001: 128-139 - [c42]Andrea Bracciali, Antonio Brogi, Franco Turini:
Coordinating interaction patterns. SAC 2001: 159-165 - [c41]Fosca Giannotti, Alessandra Raffaetà, Chiara Renso, Franco Turini:
Complex Reasoning on Geographical Data. SEBD 2001: 331-338 - 2000
- [j16]Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini:
Using MedLan to Integrate Geographical Data. J. Log. Program. 43(1): 3-14 (2000) - [c40]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- - [c39]Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016 - [c38]Piero Alcamo, Francesco Domenichini, Franco Turini:
An XML Based Environment in Support of the Overall KDD Process. FQAS 2000: 413-424
1990 – 1999
- 1999
- [j15]Antonio Brogi, Chiara Renso, Franco Turini:
Dynamic composition of parameterised logic modules. Comput. Lang. 25(4): 211-242 (1999) - [j14]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11(1): 47-76 (1999) - [j13]Antonio Brogi, Simone Contiero, Franco Turini:
Programming by Combining General Logic Programs. J. Log. Comput. 9(1): 7-24 (1999) - [c37]Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini:
Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA 1999: 202-213 - [c36]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999: 501-508 - [c35]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 - [c34]Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini:
Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999: 117-131 - 1998
- [c33]Antonio Brogi, Simone Contiero, Franco Turini:
The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142 - [c32]Patrizia Asirelli, Chiara Renso, Franco Turini:
The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS 1998: 41-55 - 1997
- [j12]Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 3-25 (1997) - [c31]Antonio Brogi, Simone Contiero, Franco Turini:
Composing General Logic Programs. LPNMR 1997: 274-289 - [c30]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
Time in a Multi-Theory Logical Framework. TIME 1997: 62-68 - 1996
- [c29]Giuseppe Manco, Alessandra Raffaetà, Franco Turini:
Modeling Object Dynamics in Object-Oriented Logic Programming. APPIA-GULP-PRODE 1996: 567-580 - [c28]Danilo Montesi, Chiara Renso, Franco Turini:
Using Temporary Integrity Constraints to Optimize Databases. FAPR 1996: 430-435 - [c27]Domenico Aquilino, Chiara Renso, Franco Turini:
Towards Declarative GIS Analysis. ACM-GIS 1996: 98-104 - [c26]Patrizia Asirelli, Chiara Renso, Franco Turini:
Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases 1996: 415-434 - 1995
- [j11]Antonio Brogi, Franco Turini:
Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149(2): 201-209 (1995) - [c25]Danilo Montesi, Franco Turini:
Integrity Constraints Evolution in Deductive Databases. GULP-PRODE 1995: 160-168 - [c24]Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282 - [c23]Giuseppe Manco, Franco Turini:
A Structural (Meta-Logical) Semantics for Linear Objects. GULP-PRODE 1995: 421-434 - [c22]Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR 1995: 57-70 - 1994
- [j10]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) - [c21]Antonio Brogi, Chiara Renso, Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994: 408-422 - [c20]Antonio Brogi, Franco Turini:
Semantics of Meta-Logic in an Algebra of Programs. LICS 1994: 262-270 - [c19]Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini:
Implementations of Program Composition Operations. PLILP 1994: 292-307 - [e1]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. Lecture Notes in Computer Science 883, Springer 1994, ISBN 3-540-58792-6 [contents] - 1992
- [c18]Antonio Brogi, Franco Turini:
Metalogic for State Oriented Programming. ELP 1992: 187-204 - [c17]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Meta for Modularising Logic Programming. META 1992: 105-119 - [p1]Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini:
The Type System of LML. Types in Logic Programming 1992: 313-332 - 1991
- [c16]Allessandro Campioli, Luciano Lucchesi, Franco Turini:
Spreadviews. DEXA 1991: 525-530 - [c15]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 - [c14]Antonio Brogi, Franco Turini:
Metalogic for Knowledge Representation. KR 1991: 61-69 - 1990
- [j9]Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini:
A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990) - [j8]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) - [c13]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Universal Quantification by Case Analysis. ECAI 1990: 111-116 - [c12]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Logic Programming within a Functional Framework. PLILP 1990: 372-386
1980 – 1989
- 1988
- [c11]Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini:
A Progress Report on the LML Project. FGCS 1988: 675-684 - 1987
- [j7]Giuliano Pacini, Franco Turini:
Semantics of Production Systems. Inf. Comput. 73(2): 87-101 (1987) - [j6]Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini:
Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9(2): 161-177 (1987) - [c10]Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110 - 1986
- [c9]Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103 - [c8]Roberto Barbuti, C. D'Ascanio, Franco Turini:
Cooperating Logic Theories. AIMSA 1986: 165-172 - 1985
- [j5]Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985) - 1984
- [j4]Franco Turini:
Magma2: A Language Oriented toward Experiments in Control. ACM Trans. Program. Lang. Syst. 6(4): 468-486 (1984) - [c7]E. Barbi, F. Calvo, C. Perale, Franco Sirovich, Franco Turini:
A conceptual approach to document retrieval. COCS 1984: 219-226 - 1983
- [j3]Franco Turini:
Abstractions of Control Environments. BIT 23(1): 21-35 (1983) - [c6]Paolo Mancarella, Franco Turini:
A High Level Analysis Tool for Concurrent Programs. ICPP 1983: 293-302 - [c5]Giuliano Pacini, Franco Turini:
Demonizing Production Systems. IJCAI 1983: 862-866
1970 – 1979
- 1979
- [c4]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 - 1978
- [j2]Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini:
Information Management in Context Trees. Acta Informatica 10: 85-94 (1978) - 1977
- [j1]Carlo Montangero, Giuliano Pacini, Franco Turini:
Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20(10): 725-730 (1977) - 1975
- [c3]Carlo Montangero, Giuliano Pacini, Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561 - 1974
- [c2]Giuliano Pacini, Carlo Montangero, Franco Turini:
Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974: 157-169 - [c1]Carlo Montangero, Giuliano Pacini, Franco Turini:
A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974: 350-361
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
