2008 |
92 | EE | Franco Turini:
The Semantics of Ugo Montanari.
Concurrency, Graphs and Models 2008: 804-805 |
91 | EE | Miriam Baglioni,
Andrea Bellandi,
Barbara Furletti,
Laura Spinsanti,
Franco Turini:
Ontology-Based Business Plan Classification.
EDOC 2008: 365-371 |
90 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Franco Turini:
Discrimination-aware data mining.
KDD 2008: 560-568 |
89 | EE | 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 |
88 | EE | 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 |
87 | EE | 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) |
2007 |
86 | EE | Michele Berlingerio,
Francesco Bonchi,
Fosca Giannotti,
Franco Turini:
Mining Clinical Data with a Temporal Dimension: A Case Study.
BIBM 2007: 429-436 |
85 | EE | Michele Berlingerio,
Francesco Bonchi,
Fosca Giannotti,
Franco Turini:
Time-Annotated Sequences for Medical Data Mining.
ICDM Workshops 2007: 133-138 |
84 | EE | 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) |
83 | EE | Salvatore 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 |
81 | EE | 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 |
80 | EE | 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) |
2005 |
79 | EE | Salvatore Rinzivillo,
Franco Turini:
Extracting spatial association rules from spatial transactions.
GIS 2005: 79-86 |
78 | EE | Maurizio Atzori,
Paolo Mancarella,
Franco Turini:
Memory-Aware Frequent k-Itemset Mining.
KDID 2005: 38-54 |
77 | EE | Miriam 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 |
75 | EE | 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) |
2004 |
74 | EE | Fosca Giannotti,
Giuseppe Manco,
Franco Turini:
Towards a Logic Query Language for Data Mining.
Database Support for Data Mining Applications 2004: 76-94 |
73 | EE | Mirco Nanni,
Alessandra Raffaetà,
Chiara Renso,
Franco Turini:
Deductive and Inductive Reasoning on Spatio-Temporal Data.
INAP/WLP 2004: 98-115 |
72 | EE | Salvatore 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 |
70 | EE | Fosca Giannotti,
Giuseppe Manco,
Franco Turini:
Specifying Mining Algorithms with Iterative User-Defined Aggregates.
IEEE Trans. Knowl. Data Eng. 16(10): 1232-1246 (2004) |
69 | EE | 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) |
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 |
67 | EE | Maurizio Atzori,
Paolo Mancarella,
Franco Turini:
Abduction in Classification Tasks.
AI*IA 2003: 213-224 |
66 | EE | Miriam Baglioni,
Franco Turini:
MQL: An Algebraic Query Language for Knowledge Discovery.
AI*IA 2003: 225-236 |
65 | EE | Miriam Baglioni,
U. Ferrara,
Andrea Romei,
Salvatore Ruggieri,
Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization.
AI*IA 2003: 237-249 |
64 | EE | Alessandra Raffaetà,
Chiara Renso,
Franco Turini:
Qualitative Spatial Reasoning in a Logical Framework.
AI*IA 2003: 78-90 |
2002 |
63 | EE | Alessandra Raffaetà,
Franco Turini,
Chiara Renso:
Enhancing GISs for spatio-temporal reasoning.
ACM-GIS 2002: 42-48 |
62 | EE | 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 |
61 | | Alessandra Raffaetà,
Chiara Renso,
Franco Turini:
Qualitative Reasoning in a Spatio-Temporal Language.
SEBD 2002: 105-118 |
2001 |
60 | EE | Fosca Giannotti,
Giuseppe Manco,
Franco Turini:
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study.
PKDD 2001: 128-139 |
59 | EE | Andrea 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- |
56 | EE | Paolo 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 |
53 | EE | 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 |
52 | EE | Fosca Giannotti,
Giuseppe Manco,
Dino Pedreschi,
Franco Turini:
Experiences with a Logic-Based Knowledge Discovery Support Environment.
AI*IA 1999: 202-213 |
51 | EE | Paolo 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) |
47 | EE | Antonio 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 |
45 | EE | Antonio 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 |
43 | EE | Paolo 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 |
41 | EE | Domenico 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 |
33 | EE | Antonio 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 |
29 | | Antonio Brogi,
A. Chiarelli,
Paolo Mancarella,
V. Mazzotta,
Dino Pedreschi,
Chiara Renso,
Franco Turini:
Implementations of Program Composition Operations.
PLILP 1994: 292-307 |
28 | EE | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Modular Logic Programming.
ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) |
1992 |
27 | | Antonio 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 |
20 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Logic Programming within a Functional Framework.
PLILP 1990: 372-386 |
19 | EE | 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) |
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 |
16 | | Roberto 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 |
10 | EE | Franco 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 |
2 | | Giuliano 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 |