dblp.uni-trier.dewww.uni-trier.de

Franco Turini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
95EEDino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166
94EEDino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592
2008
93EEFranco Turini: The Semantics of Ugo Montanari. Concurrency, Graphs and Models 2008: 804-805
92EEMiriam Baglioni, Andrea Bellandi, Barbara Furletti, Laura Spinsanti, Franco Turini: Ontology-Based Business Plan Classification. EDOC 2008: 365-371
91EEDino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568
90EEFosca Giannotti, Dino Pedreschi, Franco Turini: Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. PinKDD 2008: 25-32
89EEDino 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
88EESalvatore 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
87EEAlessandra 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)
2007
86EEMichele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini: Mining Clinical Data with a Temporal Dimension: A Case Study. BIBM 2007: 429-436
85EEMichele Berlingerio, Francesco Bonchi, Fosca Giannotti, Franco Turini: Time-Annotated Sequences for Medical Data Mining. ICDM Workshops 2007: 133-138
84EEAndrea 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)
83EESalvatore Rinzivillo, Franco Turini: Knowledge discovery from spatial transactions. J. Intell. Inf. Syst. 28(1): 1-22 (2007)
2006
82 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
81EEFranco 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
80EEAndrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: A middleware language and system for knowledge discovery in databases. Data Knowl. Eng. 57(2): 179-220 (2006)
2005
79EESalvatore Rinzivillo, Franco Turini: Extracting spatial association rules from spatial transactions. GIS 2005: 79-86
78EEMaurizio Atzori, Paolo Mancarella, Franco Turini: Memory-Aware Frequent k-Itemset Mining. KDID 2005: 38-54
77EEMiriam Baglioni, Barbara Furletti, Franco Turini: DrC4.5: Improving C4.5 by means of prior knowledge. SAC 2005: 474-481
76 Andrea Romei, Salvatore Ruggieri, Franco Turini: KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219
75EEAndrea 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)
2004
74EEFosca Giannotti, Giuseppe Manco, Franco Turini: Towards a Logic Query Language for Data Mining. Database Support for Data Mining Applications 2004: 76-94
73EEMirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini: Deductive and Inductive Reasoning on Spatio-Temporal Data. INAP/WLP 2004: 98-115
72EESalvatore Rinzivillo, Franco Turini: Classification in Geographical Information Systems. PKDD 2004: 374-385
71 Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini: Deductive and Inductive Reasoning on Trajectories. SEBD 2004: 98-105
70EEFosca Giannotti, Giuseppe Manco, Franco Turini: Specifying Mining Algorithms with Iterative User-Defined Aggregates. IEEE Trans. Knowl. Data Eng. 16(10): 1232-1246 (2004)
69EEPaolo 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)
2003
68 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
67EEMaurizio Atzori, Paolo Mancarella, Franco Turini: Abduction in Classification Tasks. AI*IA 2003: 213-224
66EEMiriam Baglioni, Franco Turini: MQL: An Algebraic Query Language for Knowledge Discovery. AI*IA 2003: 225-236
65EEMiriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini: Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249
64EEAlessandra Raffaetà, Chiara Renso, Franco Turini: Qualitative Spatial Reasoning in a Logical Framework. AI*IA 2003: 78-90
2002
63EEAlessandra Raffaetà, Franco Turini, Chiara Renso: Enhancing GISs for spatio-temporal reasoning. ACM-GIS 2002: 42-48
62EEPaolo 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
61 Alessandra Raffaetà, Chiara Renso, Franco Turini: Qualitative Reasoning in a Spatio-Temporal Language. SEBD 2002: 105-118
2001
60EEFosca Giannotti, Giuseppe Manco, Franco Turini: Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. PKDD 2001: 128-139
59EEAndrea Bracciali, Antonio Brogi, Franco Turini: Coordinating interaction patterns. SAC 2001: 159-165
58 Fosca Giannotti, Alessandra Raffaetà, Chiara Renso, Franco Turini: Complex Reasoning on Geographical Data. SEBD 2001: 331-338
2000
57 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-
56EEPaolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. Computational Logic 2000: 1002-1016
55 Piero Alcamo, Francesco Domenichini, Franco Turini: An XML Based Environment in Support of the Overall KDD Process. FQAS 2000: 413-424
54 Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini: Using MedLan to Integrate Geographical Data. J. Log. Program. 43(1): 3-14 (2000)
1999
53EEFosca 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
52EEFosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini: Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA 1999: 202-213
51EEPaolo Mancarella, Alessandra Raffaetà, Franco Turini: Temporal Annotated Constraint Logic Programming with Multiple Theories. DEXA Workshop 1999: 501-508
50 Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini: Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999: 117-131
49 Antonio Brogi, Chiara Renso, Franco Turini: Dynamic composition of parameterised logic modules. Comput. Lang. 25(4): 211-242 (1999)
48 Paolo Mancarella, Alessandra Raffaetà, Franco Turini: Knowledge representation with multiple logical theories and time. J. Exp. Theor. Artif. Intell. 11(1): 47-76 (1999)
47EEAntonio Brogi, Simone Contiero, Franco Turini: Programming by Combining General Logic Programs. J. Log. Comput. 9(1): 7-24 (1999)
1998
46 Patrizia Asirelli, Chiara Renso, Franco Turini: The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS 1998: 41-55
45EEAntonio Brogi, Simone Contiero, Franco Turini: The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142
1997
44 Antonio Brogi, Simone Contiero, Franco Turini: Composing General Logic Programs. LPNMR 1997: 274-289
43EEPaolo Mancarella, Alessandra Raffaetà, Franco Turini: Time in a Multi-Theory Logical Framework. TIME 1997: 62-70
42 Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini: Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 3-25 (1997)
1996
41EEDomenico Aquilino, Chiara Renso, Franco Turini: Towards Declarative GIS Analysis. ACM-GIS 1996: 98-104
40 Giuseppe Manco, Alessandra Raffaetà, Franco Turini: Modeling Object Dynamics in Object-Oriented Logic Programming. APPIA-GULP-PRODE 1996: 567-580
39 Danilo Montesi, Chiara Renso, Franco Turini: Using Temporary Integrity Constraints to Optimize Databases. FAPR 1996: 430-435
38 Patrizia Asirelli, Chiara Renso, Franco Turini: Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases 1996: 415-434
1995
37 Danilo Montesi, Franco Turini: Integrity Constraints Evolution in Deductive Databases. GULP-PRODE 1995: 160-168
36 Paolo Mancarella, Alessandra Raffaetà, Franco Turini: LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282
35 Giuseppe Manco, Franco Turini: A Structural (Meta-Logical) Semantics for Linear Objects. GULP-PRODE 1995: 421-434
34 Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini: An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR 1995: 57-70
33EEAntonio Brogi, Franco Turini: Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149(2): 201-209 (1995)
1994
32 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
31 Antonio Brogi, Chiara Renso, Franco Turini: Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994: 408-422
30 Antonio Brogi, Franco Turini: Semantics of Meta-Logic in an Algebra of Programs LICS 1994: 262-270
29EEAntonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307
28EEAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994)
1992
27EEAntonio Brogi, Franco Turini: Metalogic for State Oriented Programming. ELP 1992: 187-204
26 Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119
25 Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. Types in Logic Programming 1992: 313-332
1991
24 Allessandro Campioli, Luciano Lucchesi, Franco Turini: Spreadviews. DEXA 1991: 525-530
23 Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250
22 Antonio Brogi, Franco Turini: Metalogic for Knowledge Representation. KR 1991: 61-69
1990
21 Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116
20EEAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386
19EEMichela 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)
18 Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990)
1988
17 Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684
1987
16EERoberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110
15 Giuliano Pacini, Franco Turini: Semantics of Production Systems Inf. Comput. 73(2): 87-101 (1987)
14 Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini: Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9(2): 161-177 (1987)
1986
13 Roberto Barbuti, C. D'Ascanio, Franco Turini: Cooperating Logic Theories. AIMSA 1986: 165-172
12 Vincenzo Ambriola, Giuliano Pacini, Franco Turini: The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103
1985
11 Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini: Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985)
1984
10EEFranco Turini: Magma2: A Language Oriented toward Experiments in Control. ACM Trans. Program. Lang. Syst. 6(4): 468-486 (1984)
1983
9 Paolo Mancarella, Franco Turini: A High Level Analysis Tool for Concurrent Programs. ICPP 1983: 293-302
8 Giuliano Pacini, Franco Turini: Demonizing Production Systems. IJCAI 1983: 862-866
7 Franco Turini: Abstractions of Control Environments. BIT 23(1): 21-35 (1983)
1979
6 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
5 Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini: Information Management in Context Trees. Acta Inf. 10: 85-94 (1978)
1977
4 Carlo Montangero, Giuliano Pacini, Franco Turini: Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20(10): 725-730 (1977)
1975
3 Carlo Montangero, Giuliano Pacini, Franco Turini: MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561
1974
2EEGiuliano Pacini, Carlo Montangero, Franco Turini: Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974: 157-169
1 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

1Piero Alcamo [55]
2Vincenzo Ambriola [11] [12]
3Domenico Aquilino [34] [41] [42] [54]
4Patrizia Asirelli [6] [34] [38] [42] [46] [54]
5Maurizio Atzori [67] [78] [89]
6Miriam Baglioni [65] [66] [77] [81] [92]
7Paolo Baldan [62]
8Roberto Barbuti [13] [16] [18]
9Andrea Bellandi [92]
10Michele Berlingerio [85] [86]
11Bruno Bertolino [17] [25]
12Vania Bogorny [88]
13Francesco Bonchi [85] [86] [89]
14Andrea Bracciali [59] [75]
15Antonio Brogi [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [33] [44] [45] [47] [49] [57] [59] [75]
16Allessandro Campioli [24]
17Amedeo Cappelli [68]
18T. Ceccarelli [87]
19D. Centeno [87]
20A. Chiarelli [29]
21Simone Contiero [44] [45] [47] [57]
22C. D'Ascanio [13]
23Pierpaolo Degano [6]
24Michela Degl'Innocenti [19]
25Francesco Domenichini [55]
26U. Ferrara [65]
27Gian Luigi Ferrari (GianLuigi Ferrari) [19]
28A. Formuso [54]
29Laurent Fribourg [32]
30Barbara Furletti [77] [81] [92]
31Fosca Giannotti [11] [14] [50] [52] [53] [58] [60] [70] [74] [85] [86] [87] [90]
32Christine Körner [88]
33Bart Kuijpers [88]
34Giorgio Levi [6]
35Luciano Lucchesi [24]
36Bradley Malin [89]
37Paolo Mancarella [9] [16] [17] [18] [20] [21] [23] [26] [28] [29] [36] [43] [48] [51] [56] [62] [67] [69] [78]
38Giuseppe Manco [35] [40] [50] [52] [53] [60] [70] [74]
39Alberto Martelli [6]
40A. Massolo [87]
41Attilio Matteucci [14]
42Michael May [88]
43V. Mazzotta [29]
44Luigi Meo [17] [25]
45Bart Moelans [89]
46Ugo Montanari [6]
47Carlo Montangero [1] [2] [3] [4] [5]
48Danilo Montesi [37] [39]
49Mirco Nanni [50] [71] [73]
50Gianluca Nerbini [56]
51Luca Nini [17]
52Giuliano Pacini [1] [2] [3] [4] [5] [6] [8] [12] [15] [19]
53Christine Parent [87]
54Dino Pedreschi [11] [14] [16] [17] [18] [20] [21] [23] [25] [26] [28] [29] [50] [52] [53] [89] [90] [91] [94] [95]
55Alessandra Raffaetà [36] [40] [43] [48] [51] [56] [58] [61] [62] [63] [64] [69] [71] [73] [87]
56Chiara Renso [29] [31] [34] [38] [39] [41] [42] [46] [49] [54] [58] [61] [63] [64] [69] [71] [73] [87]
57Salvatore Rinzivillo [72] [79] [81] [83] [88]
58Andrea Romei [65] [76] [80] [82] [84]
59Salvatore Ruggieri [65] [76] [80] [91] [94] [95]
60Yücel Saygin [89]
61Matteo Sciolla [82] [84]
62Maria Simi [5]
63Franco Sirovich [6]
64Stefano Spaccapietra [87]
65Laura Spinsanti [92]
66Marlis Valentini [82] [84]
67Vassilios S. Verykios [89]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)