| 2008 |
|---|
| 85 | EE | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
Anonymity preserving pattern discovery.
VLDB J. accepted for publication: (2008) |
| 2007 |
|---|
| 84 | EE | Fosca Giannotti,
Mirco Nanni,
Fabio Pinelli,
Dino Pedreschi:
Trajectory pattern mining.
KDD 2007: 330-339 |
| 83 | EE | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi,
Osman Abul:
Privacy-Aware Knowledge Discovery from Location Data.
MDM 2007: 283-287 |
| 2006 |
|---|
| 82 | EE | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
Towards low-perturbation anonymity preserving pattern discovery.
SAC 2006: 588-592 |
| 81 | EE | Fosca Giannotti,
Mirco Nanni,
Dino Pedreschi,
Fabio Pinelli:
Mining sequences with temporal annotations.
SAC 2006: 593-597 |
| 80 | EE | Fosca Giannotti,
Mirco Nanni,
Dino Pedreschi:
Efficient Mining of Temporally Annotated Sequences.
SDM 2006 |
| 79 | EE | Mirco Nanni,
Dino Pedreschi:
Time-focused clustering of trajectories of moving objects.
J. Intell. Inf. Syst. 27(3): 267-289 (2006) |
| 2005 |
|---|
| 78 | EE | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
Blocking Anonymity Threats Raised by Frequent Itemset Mining.
ICDM 2005: 561-564 |
| 77 | EE | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
k-Anonymous Patterns.
PKDD 2005: 10-21 |
| 76 | | Maurizio Atzori,
Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
Anonymity and data mining.
Comput. Syst. Sci. Eng. 20(5): (2005) |
| 75 | EE | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
Exante: A Preprocessing Method for Frequent-Pattern Mining.
IEEE Intelligent Systems 20(3): 25-31 (2005) |
| 74 | EE | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
Efficient breadth-first mining of frequent pattern with monotone constraints.
Knowl. Inf. Syst. 8(2): 131-153 (2005) |
| 2004 |
|---|
| 73 | | Jean-François Boulicaut,
Floriana Esposito,
Fosca Giannotti,
Dino Pedreschi:
Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings
Springer 2004 |
| 72 | | Jean-François Boulicaut,
Floriana Esposito,
Fosca Giannotti,
Dino Pedreschi:
Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings
Springer 2004 |
| 71 | EE | Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
A Relational Query Primitive for Constraint-Based Pattern Mining.
Constraint-Based Mining and Inductive Databases 2004: 14-37 |
| 70 | EE | V. Bacarella,
Fosca Giannotti,
Mirco Nanni,
Dino Pedreschi:
Discovery of ads web hosts through traffic data analysis.
DMKD 2004: 76-81 |
| 69 | EE | C. Alfonsi,
Nello Scarabottolo,
Dino Pedreschi,
Maria Simi:
IT4PS: information technology for problem solving.
ITiCSE 2004: 241 |
| 68 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Characterisations of Termination in Logic Programming.
Program Development in Computational Logic 2004: 376-431 |
| 67 | | Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
Frequent Pattern Queries for Flexible Knowledge Discovery.
SEBD 2004: 250-261 |
| 66 | EE | Dino Pedreschi,
Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs.
Ann. Math. Artif. Intell. 42(4): 313-343 (2004) |
| 2003 |
|---|
| 65 | EE | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint.
ICDM 2003: 11-18 |
| 64 | EE | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
Adaptive Constraint Pushing in Frequent Pattern Mining.
PKDD 2003: 47-58 |
| 63 | EE | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
ExAnte: Anticipated Data Reduction in Constrained Pattern Mining.
PKDD 2003: 59-70 |
| 62 | | Fosca Giannotti,
Mirco Nanni,
Dino Pedreschi,
F. Samaritani:
WebCat: Automatic Categorization of Web Search Results.
SEBD 2003: 507-518 |
| 61 | | Francesco Bonchi,
Fosca Giannotti,
Alessio Mazzanti,
Dino Pedreschi:
Pre-processing for Constrained Pattern Mining.
SEBD 2003: 519-530 |
| 60 | EE | Dino Pedreschi,
Salvatore Ruggieri:
On logic programs that always succeed.
Sci. Comput. Program. 48(2-3): 163-196 (2003) |
| 2002 |
|---|
| 59 | EE | Paolo Mancarella,
Dino Pedreschi,
Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination.
Computational Logic: Logic Programming and Beyond 2002: 240-272 |
| 58 | EE | Paolo Mascellani,
Dino Pedreschi:
The Declarative Side of Magic.
Computational Logic: Logic Programming and Beyond 2002: 83-108 |
| 57 | | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Classes of terminating logic programs.
TPLP 2(3): 369-418 (2002) |
| 2001 |
|---|
| 56 | EE | Francesco Bonchi,
Fosca Giannotti,
Giuseppe Manco,
Chiara Renso,
Mirco Nanni,
Dino Pedreschi,
Salvatore Ruggieri:
Data Mining for Intelligent Web Caching.
ITCC 2001: 599-603 |
| 55 | EE | Dino Pedreschi,
Salvatore Ruggieri,
Jan-Georg Smaus:
Classes of Terminating Logic Programs
CoRR cs.LO/0106050: (2001) |
| 54 | EE | Francesco Bonchi,
Fosca Giannotti,
Cristian Gozzi,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi,
Chiara Renso,
Salvatore Ruggieri:
Web log data warehousing and mining for intelligent web caching.
Data Knowl. Eng. 39(2): 165-189 (2001) |
| 53 | EE | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi:
Nondeterministic, Nonmonotonic Logic Databases.
IEEE Trans. Knowl. Data Eng. 13(5): 813-823 (2001) |
| 52 | | Fosca Giannotti,
Dino Pedreschi,
Carlo Zaniolo:
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases.
J. Comput. Syst. Sci. 62(1): 15-42 (2001) |
| 2000 |
|---|
| 51 | EE | Francesco Bonchi,
Fosca Giannotti,
Dino Pedreschi:
On Verification in Logic Database Languages.
Computational Logic 2000: 957-971 |
| 50 | | Fosca Giannotti,
Mirco Nanni,
Dino Pedreschi:
Logic-Based Knowledge Discovery in Databases.
EJC 2000: 279-283 |
| 49 | | Marat Fayzullin,
Mirco Nanni,
Dino Pedreschi,
V. S. Subrahmanian:
Foundations of distributed interaction systems.
Ann. Math. Artif. Intell. 28(1-4): 127-168 (2000) |
| 1999 |
|---|
| 48 | 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 |
| 47 | EE | Fosca Giannotti,
Giuseppe Manco,
Dino Pedreschi,
Franco Turini:
Experiences with a Logic-Based Knowledge Discovery Support Environment.
AI*IA 1999: 202-213 |
| 46 | EE | Francesco Bonchi,
Fosca Giannotti,
Gianni Mainetto,
Dino Pedreschi:
Using Data Mining Techniques in Fiscal Fraud Detection.
DaWaK 1999: 369-376 |
| 45 | | Dino Pedreschi,
Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs.
ICLP 1999: 350-364 |
| 44 | EE | Francesco Bonchi,
Fosca Giannotti,
Gianni Mainetto,
Dino Pedreschi:
A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection.
KDD 1999: 175-184 |
| 43 | | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi,
Franco Turini:
Integration of Deduction and Induction for Mining Supermarket Sales Data.
SEBD 1999: 117-131 |
| 42 | | Francesco Bonchi,
Fosca Giannotti,
Gianni Mainetto,
Dino Pedreschi:
Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi.
SEBD 1999: 69-84 |
| 41 | EE | Dino Pedreschi,
Salvatore Ruggieri:
On Logic Programs That Do Not Fail.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 40 | | Dino Pedreschi,
Salvatore Ruggieri:
Verification of Logic Programs.
J. Log. Program. 39(1-3): 125-176 (1999) |
| 1998 |
|---|
| 39 | | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi:
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.
CSL 1998: 58-72 |
| 38 | EE | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi:
Query Answering in Nondeterministic, Nonmonotonic Logic Databases.
FQAS 1998: 175-187 |
| 37 | EE | Dino Pedreschi,
Salvatore Ruggieri:
Weakest Preconditions for Pure Prolog Programs.
Inf. Process. Lett. 67(3): 145-150 (1998) |
| 36 | | Fosca Giannotti,
Dino Pedreschi:
Datalog with Non-Deterministic Choice Computers NDB-PTIME.
J. Log. Program. 35(1): 79-101 (1998) |
| 1997 |
|---|
| 35 | | Fosca Giannotti,
Giuseppe Manco,
Dino Pedreschi:
A Deductive Data Model for Representing and Querying Semistructured Data.
APPIA-GULP-PRODE 1997: 129-140 |
| 34 | | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi:
Datalog++: A Basis for Active Object-Oriented Databases.
DOOD 1997: 283-301 |
| 33 | | Fosca Giannotti,
Giuseppe Manco,
Mirco Nanni,
Dino Pedreschi:
Datalog++: a Basis for Active Object.Oriented Databases.
SEBD 1997: 325-340 |
| 32 | | Dino Pedreschi,
V. S. Subrahmanian:
Non-determinism in Deductive Databases - Preface.
Ann. Math. Artif. Intell. 19(1-2): 1-2 (1997) |
| 31 | | Dino Pedreschi,
Salvatore Ruggieri:
Verification of Meta-Interpreters.
J. Log. Comput. 7(2): 267-303 (1997) |
| 1996 |
|---|
| 30 | | Dino Pedreschi,
Carlo Zaniolo:
Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings
Springer 1996 |
| 29 | | Krzysztof R. Apt,
Maurizio Gabbrielli,
Dino Pedreschi:
A Closer Look at Declarative Interpretations.
J. Log. Program. 28(2): 147-180 (1996) |
| 1995 |
|---|
| 28 | | Marilisa E. Carboni,
V. Foddai,
Fosca Giannotti,
Dino Pedreschi:
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach.
GULP-PRODE 1995: 169-182 |
| 27 | | Dino Pedreschi,
Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
GULP-PRODE 1995: 643-654 |
| 26 | | Marilisa E. Carboni,
Fosca Giannotti,
V. Foddai,
Dino Pedreschi:
Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach.
SEBD 1995: 3-13 |
| 1994 |
|---|
| 25 | | Paolo Mascellani,
Dino Pedreschi:
Proving termination of Prolog programs.
GULP-PRODE (1) 1994: 46-61 |
| 24 | | Dino Pedreschi:
A Proof Method for Runtime Properties of Prolog Programs.
ICLP 1994: 584-598 |
| 23 | | Antonio Brogi,
A. Chiarelli,
Paolo Mancarella,
V. Mazzotta,
Dino Pedreschi,
Chiara Renso,
Franco Turini:
Implementations of Program Composition Operations.
PLILP 1994: 292-307 |
| 22 | | Luca Corciulo,
Fosca Giannotti,
Dino Pedreschi,
Carlo Zaniolo:
Expressive Power of Non-Deterministic Operators for Logic-based Languages.
Workshop on Deductive Databases and Logic Programming 1994: 27-40 |
| 21 | EE | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Modular Logic Programming.
ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) |
| 1993 |
|---|
| 20 | | Luca Corciulo,
Fosca Giannotti,
Dino Pedreschi:
Datalog with Non-Deterministic Choice Computes NDB-PTIME.
DOOD 1993: 49-66 |
| 19 | | Krzysztof R. Apt,
Dino Pedreschi:
Reasoning about Termination of Pure Prolog Programs
Inf. Comput. 106(1): 109-157 (1993) |
| 1992 |
|---|
| 18 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Meta for Modularising Logic Programming.
META 1992: 105-119 |
| 17 | | Bruno Bertolino,
Luigi Meo,
Dino Pedreschi,
Franco Turini:
The Type System of LML.
Types in Logic Programming 1992: 313-332 |
| 1991 |
|---|
| 16 | | Fosca Giannotti,
Dino Pedreschi,
Domenico Saccà,
Carlo Zaniolo:
Non-Determinism in Deductive Databases.
DOOD 1991: 129-146 |
| 15 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Theory Construction in Computational Logic.
ICLP Workshop on Construction of Logic Programs 1991: 241-250 |
| 14 | | Krzysztof R. Apt,
Dino Pedreschi:
Proving Termination of General Prolog Programs.
TACS 1991: 265-289 |
| 1990 |
|---|
| 13 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Universal Quantification by Case Analysis.
ECAI 1990: 111-116 |
| 12 | | Fosca Giannotti,
Dino Pedreschi:
Declarative Semantics for Pruning Operators in Logic Programming.
LPNMR 1990: 27-37 |
| 11 | | Paolo Mancarella,
Dino Pedreschi,
Marina Rondinelli,
Marco Tagliatti:
Algebraic Properties of a Class of Logic Programs.
NACLP 1990: 23-39 |
| 10 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Logic Programming within a Functional Framework.
PLILP 1990: 372-386 |
| 9 | | 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 |
|---|
| 8 | | Bruno Bertolino,
Paolo Mancarella,
Luigi Meo,
Luca Nini,
Dino Pedreschi,
Franco Turini:
A Progress Report on the LML Project.
FGCS 1988: 675-684 |
| 7 | | Paolo Mancarella,
Dino Pedreschi:
An Algebra of Logic Programs.
ICLP/SLP 1988: 1006-1023 |
| 6 | | Paolo Mancarella,
Simone Martini,
Dino Pedreschi:
Complete Logic Programs with Domain-Closure Axiom.
J. Log. Program. 5(3): 263-276 (1988) |
| 1987 |
|---|
| 5 | | Roberto Barbuti,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Intensional Negation of Logic Programs: Examples and Implementation Techniques.
TAPSOFT, Vol.2 1987: 96-110 |
| 4 | | Fosca Giannotti,
Attilio Matteucci,
Dino Pedreschi,
Franco Turini:
Symbolic Evaluation with Structural Recursive Symbolic Constants.
Sci. Comput. Program. 9(2): 161-177 (1987) |
| 1985 |
|---|
| 3 | EE | Antonio Albano,
Fosca Giannotti,
Renzo Orsini,
Dino Pedreschi:
The Type System of Galileo.
Data Types and Persistence (Appin) 1985: 101-119 |
| 2 | EE | Antonio Albano,
Fosca Giannotti,
Renzo Orsini,
Dino Pedreschi:
The Type System of Galileo.
Data Types and Persistence (Appin), Informal Proceedings 1985: 175-195 |
| 1 | | Vincenzo Ambriola,
Fosca Giannotti,
Dino Pedreschi,
Franco Turini:
Symbolic Semantics and Program Reduction.
IEEE Trans. Software Eng. 11(8): 784-794 (1985) |
