The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dino Pedreschi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  80. Termination is Language-Independent. [Citation Graph (, )][DBLP]


  81. Geographic privacy-aware knowledge discovery and delivery. [Citation Graph (, )][DBLP]


  82. Advanced knowledge discovery on movement data with the GeoPKDD system. [Citation Graph (, )][DBLP]


  83. Pattern-Preserving k-Anonymization of Sequences and its Application to Mobil- ity Data Mining. [Citation Graph (, )][DBLP]


  84. Trajectory pattern analysis for urban traffic. [Citation Graph (, )][DBLP]


  85. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


  86. High Quality True-Positive Prediction for Fiscal Fraud Detection. [Citation Graph (, )][DBLP]


  87. Discrimination-aware data mining. [Citation Graph (, )][DBLP]


  88. Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. [Citation Graph (, )][DBLP]


  89. Privacy-Aware Knowledge Discovery from Location Data. [Citation Graph (, )][DBLP]


  90. As Time Goes by: Discovering Eras in Evolving Social Networks. [Citation Graph (, )][DBLP]


  91. Exploring Real Mobility Data with M-Atlas. [Citation Graph (, )][DBLP]


  92. Measuring Discrimination in Socially-Sensitive Decision Records. [Citation Graph (, )][DBLP]


  93. Anonymous Sequences from Trajectory Data. [Citation Graph (, )][DBLP]


  94. DCUBE: discrimination discovery in databases. [Citation Graph (, )][DBLP]


  95. A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data. [Citation Graph (, )][DBLP]


  96. IT4PS: information technology for problem solving. [Citation Graph (, )][DBLP]


  97. Mining Mobility Behavior from Trajectory Data. [Citation Graph (, )][DBLP]


  98. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


Search in 0.316secs, Finished in 0.319secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002