Dino Pedreschi

Orcid: 0000-0003-4801-3225

Affiliations:
  • University of Pisa, Italy


According to our database1, Dino Pedreschi authored at least 268 papers between 1985 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Understanding Any Time Series Classifier with a Subsequence-based Explainer.
ACM Trans. Knowl. Discov. Data, February, 2024

AI, Meet Human: Learning Paradigms for Hybrid Decision Making Systems.
CoRR, 2024

2023
Co-design of Human-centered, Explainable AI for Clinical Decision Support.
ACM Trans. Interact. Intell. Syst., December, 2023

Generative AI models should include detection mechanisms as a condition for public release.
Ethics Inf. Technol., December, 2023

Benchmarking and survey of explanation methods for black box models.
Data Min. Knowl. Discov., September, 2023

Social AI and the Challenges of the Human-AI Ecosystem.
CoRR, 2023

Human mobility, AI assistants, and urban emissions: an insidious triangle.
Proceedings of the Italia Intelligenza Artificiale, 2023


Semantic Enrichment of Explanations of AI Models for Healthcare.
Proceedings of the Discovery Science - 26th International Conference, 2023

2022
Methods and tools for causal discovery and causal inference.
WIREs Data Mining Knowl. Discov., 2022

Measuring the Salad Bowl: Superdiversity on Twitter.
CoRR, 2022

Explaining Black Box with Visual Exploration of Latent Space.
Proceedings of the 24th Eurographics Conference on Visualization, 2022

How routing strategies impact urban emissions.
Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022

Transparent Latent Space Counterfactual Explanations for Tabular Data.
Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

Explaining Siamese Networks in Few-Shot Learning for Audio Data.
Proceedings of the Discovery Science - 25th International Conference, 2022

Interpretable Latent Space to Enable Counterfactual Explanations.
Proceedings of the Discovery Science - 25th International Conference, 2022

Understanding the impact of explanations on advice-taking: a user study for AI-based clinical Decision Support Systems.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

Benchmark Analysis of Black Box Local Explanation Methods.
Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

A Modularized Framework for Explaining Black Box Classifiers for Text Data.
Proceedings of the 35th Canadian Conference on Artificial Intelligence, Toronto, Ontario, 2022

2021
Predicting seasonal influenza using supermarket retail records.
PLoS Comput. Biol., 2021

FairLens: Auditing black-box clinical decision support systems.
Inf. Process. Manag., 2021

Correction to: Human migration: the big data perspective.
Int. J. Data Sci. Anal., 2021

Human migration: the big data perspective.
Int. J. Data Sci. Anal., 2021

Introduction to the special issue on social mining and big data ecosystem for open, responsible data science.
Int. J. Data Sci. Anal., 2021

Data science: a game changer for science and innovation.
Int. J. Data Sci. Anal., 2021

Correction to: An ethico-legal framework for social data science.
Int. J. Data Sci. Anal., 2021

An ethico-legal framework for social data science.
Int. J. Data Sci. Anal., 2021

(So) Big Data and the transformation of the city.
Int. J. Data Sci. Anal., 2021

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment.
Ethics Inf. Technol., 2021

GLocalX - From Local to Global Explanations of Black Box AI Models.
Artif. Intell., 2021

RT-MongoDB: A NoSQL Database with Differentiated Performance.
Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021

A modularized framework for explaining hierarchical attention networks on text classifiers.
Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021

Towards a Social Artificial Intelligence.
Proceedings of the Human-Centered Artificial Intelligence, 2021

2020
Explaining Multi-label Black-Box Classifiers for Health Applications.
Proceedings of the Precision Health and Medicine - A Digital Revolution in Healthcare, 2020

Authenticated Outlier Mining for Outsourced Databases.
IEEE Trans. Dependable Secur. Comput., 2020

Error Estimation of Ultra-Short Heart Rate Variability Parameters: Effect of Missing Data Caused by Motion Artifacts.
Sensors, 2020

Causal inference for social discrimination reasoning.
J. Intell. Inf. Syst., 2020

The relationship between human mobility and viral transmissibility during the COVID-19 epidemics in Italy.
CoRR, 2020

Mobile phone data analytics against the COVID-19 epidemics in Italy: flow diversity and local job markets during the national lockdown.
CoRR, 2020

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment.
CoRR, 2020

Measuring Immigrants Adoption of Natives Shopping Consumption with Machine Learning.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track, 2020

Doctor XAI: an ontology-based approach to black-box sequential data classification explanations.
Proceedings of the FAT* '20: Conference on Fairness, 2020

Towards In-Memory Sub-Trajectory Similarity Search.
Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference, 2020

Explaining Any Time Series Classifier.
Proceedings of the 2nd IEEE International Conference on Cognitive Machine Intelligence, 2020

Explaining Image Classifiers Generating Exemplars and Counter-Exemplars from Latent Representations.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Personalized Market Basket Prediction with Temporal Annotated Recurring Sequences.
IEEE Trans. Knowl. Data Eng., 2019

PlayeRank: Data-driven Performance Evaluation and Player Ranking in Soccer via a Machine Learning Approach.
ACM Trans. Intell. Syst. Technol., 2019

The italian music superdiversity - Geography, emotion and language: one resource to find them, one resource to rule them all.
Multim. Tools Appl., 2019

Factual and Counterfactual Explanations for Black Box Decision Making.
IEEE Intell. Syst., 2019

Public Opinion and Algorithmic Bias.
ERCIM News, 2019

The AI Black Box Explanation Problem.
ERCIM News, 2019

A Survey of Methods for Explaining Black Box Models.
ACM Comput. Surv., 2019

A Visual Analytics Platform to Measure Performance on University Entrance Tests.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Black Box Explanation by Learning Image Exemplars in the Latent Feature Space.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

Analysis and Visualization of Performance Indicators in University Admission Tests.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Meaningful Explanations of Black Box AI Decision Systems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Integration of Syrian Refugees: Insights from D4R, Media Events and Housing Market Data.
Proceedings of the Guide to Mobile Data Analytics in Refugee Scenarios, 2019

2018
Privacy by Design for Mobility Data Analytics.
Proceedings of the Handbook of Mobile Data Privacy., 2018

Extracting and Inferring Communities via Link Analysis.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

PRUDEnce: a System for Assessing Privacy Risk vs Utility in Data Sharing Ecosystems.
Trans. Data Priv., 2018

NDlib: a python library to model and analyze diffusion processes over complex networks.
Int. J. Data Sci. Anal., 2018

Data science at SoBigData: the European research infrastructure for social mining and big data analytics.
Int. J. Data Sci. Anal., 2018

Discovering temporal regularities in retail customers' shopping behavior.
EPJ Data Sci., 2018

Open the Black Box Data-Driven Explanation of Black Box Decision Systems.
CoRR, 2018

Local Rule-Based Explanations of Black Box Decision Systems.
CoRR, 2018

Algorithmic bias amplifies opinion polarization: A bounded confidence model.
CoRR, 2018

PlayeRank: Multi-dimensional and role-aware rating of soccer player performance.
CoRR, 2018

A Survey Of Methods For Explaining Black Box Models.
CoRR, 2018

Active and passive diffusion processes in complex networks.
Appl. Netw. Sci., 2018

Helping Your Docker Images to Spread Based on Explainable Models.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Node-centric Community Discovery: From static to dynamic social network analysis.
Online Soc. Networks Media, 2017

Tiles: an online algorithm for community discovery in dynamic social networks.
Mach. Learn., 2017

Never drive alone: Boosting carpooling with network analysis.
Inf. Syst., 2017

The Inductive Constraint Programming Loop.
IEEE Intell. Syst., 2017

Human Perception of Performance.
CoRR, 2017

Next Basket Prediction using Recurring Sequential Patterns.
CoRR, 2017

Clustering Individual Transactional Data for Masses of Users.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

Market Basket Prediction Using User-Centric Temporal Annotated Recurring Sequences.
Proceedings of the 2017 IEEE International Conference on Data Mining, 2017

Privacy Preserving Multidimensional Profiling.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

The Fractal Dimension of Music: Geography, Popularity and Sentiment Analysis.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

NDlib: Studying Network Diffusion Dynamics.
Proceedings of the 2017 IEEE International Conference on Data Science and Advanced Analytics, 2017

There's a Path for Everyone: A Data-Driven Personal Model Reproducing Mobility Agendas.
Proceedings of the 2017 IEEE International Conference on Data Science and Advanced Analytics, 2017

Information Diffusion in Complex Networks: The Active/Passive Conundrum.
Proceedings of the Complex Networks & Their Applications VI, 2017

Sentiment Spreading: An Epidemic Model for Lexicon-Based Sentiment Analysis on Twitter.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
ICON Loop Carpooling Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

Data Mining and Constraints: An Overview.
Proceedings of the Data Mining and Constraint Programming, 2016

The Inductive Constraint Programming Loop.
Proceedings of the Data Mining and Constraint Programming, 2016

Driving Profiles Computation and Monitoring for Car Insurance CRM.
ACM Trans. Intell. Syst. Technol., 2016

Homophilic network decomposition: a community-centric analysis of online social services.
Soc. Netw. Anal. Min., 2016

A supervised approach for intra-/inter-community interaction prediction in dynamic social networks.
Soc. Netw. Anal. Min., 2016

Unveiling mobility complexity through complex network analysis.
Soc. Netw. Anal. Min., 2016

An analytical framework to nowcast well-being using mobile phone data.
Int. J. Data Sci. Anal., 2016

Audio Ergo Sum - A Personal Data Model for Musical Preferences.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Going Beyond GDP to Nowcast Well-Being Using Retail Market Data.
Proceedings of the Advances in Network Science, 2016

Understanding Human Mobility with Big Data.
Proceedings of the Solving Large Scale Learning Tasks. Challenges and Algorithms, 2016

2015
Discrimination- and privacy-aware patterns.
Data Min. Knowl. Discov., 2015

Clustering Formulation Using Constraint Optimization.
Proceedings of the Software Engineering and Formal Methods, 2015

Quantification in social networks.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

Behavioral entropy and profitability in retail.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

The harsh rule of the goals: Data-driven performance indicators for football teams.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

Using big data to study the link between human mobility and socio-economic development.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

City users' classification with mobile phone data.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

Community-centric analysis of user engagement in Skype social network.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

Interaction Prediction in Dynamic Networks exploiting Community Discovery.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2014
Uncovering Hierarchical and Overlapping Communities with a Local-First Approach.
ACM Trans. Knowl. Discov. Data, 2014

The retail market as a complex system.
EPJ Data Sci., 2014

Privacy-by-design in big data analytics and social mining.
EPJ Data Sci., 2014

Anonymity preserving sequential pattern mining.
Artif. Intell. Law, 2014

Retrieving Points of Interest from Human Systematic Movements.
Proceedings of the Software Engineering and Formal Methods, 2014

The patterns of musical influence on the Last.Fm social network.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Mining efficient training patterns of non-professional cyclists.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Fair pattern discovery.
Proceedings of the Symposium on Applied Computing, 2014

A Privacy Risk Model for Trajectory Data.
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Overlap versus partition: Marketing classification and customer profiling in complex networks of products.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Big data analytics for smart mobility: a case study.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

The purpose of motion: Learning activities from Individual Mobility Networks.
Proceedings of the International Conference on Data Science and Advanced Analytics, 2014

CF-inspired Privacy-Preserving Prediction of Next Location in the Cloud.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013
The Discovery of Discrimination.
Proceedings of the Discrimination and Privacy in the Information Society, 2013

Multidimensional networks: foundations of structural analysis.
World Wide Web, 2013

Privacy-Preserving Mining of Association Rules From Outsourced Transaction Databases.
IEEE Syst. J., 2013

Towards mega-modeling: a walk through data analysis experiences.
SIGMOD Rec., 2013

Evolving networks: Eras and turning points.
Intell. Data Anal., 2013

A planetary nervous system for social mining and collective awareness
CoRR, 2013

The Three Dimensions of Social Prominence.
Proceedings of the Social Informatics - 5th International Conference, 2013

Privacy-Aware Distributed Mobility Data Analytics.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Validating general human mobility patterns on massive GPS data.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Measuring tie strength in multidimensional networks.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Parameter Estimation and Pattern Validation in Flock Mining.
Proceedings of the New Frontiers in Mining Complex Patterns, 2013

Quantification Trees.
Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013

"Engine Matters": A First Large Scale Data Driven Study on Cyclists' Performance.
Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013

Explaining the product range effect in purchase data.
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013

Privacy-Preserving Distributed Movement Data Aggregation.
Proceedings of the Geographic Information Science at the Heart of Europe, 2013

A Complexity Science Perspective on Human Mobility.
Proceedings of the Mobility Data: Modeling, 2013

Mobility Data and Privacy.
Proceedings of the Mobility Data: Modeling, 2013

2012
An Agent-Based Model to Evaluate Carpooling at Large Manufacturing Plants.
Proceedings of the 3rd International Conference on Ambient Systems, 2012

Discovering the Geographical Borders of Human Mobility.
Künstliche Intell., 2012

Data Science for Simulating the Era of Electric Vehicles.
Künstliche Intell., 2012

FuturICT - The Road towards Ethical ICT
CoRR, 2012

Towards Democratic Group Detection in Complex Networks.
Proceedings of the Social Computing, Behavioral - Cultural Modeling and Prediction, 2012

A study of top-k measures for discrimination discovery.
Proceedings of the ACM Symposium on Applied Computing, 2012

AUDIO: An Integrity <i>Audi</i>ting Framework of <i>O</i>utlier-Mining-as-a-Service Systems.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

Efficient distributed computation of human mobility aggregates through user mobility profiles.
Proceedings of the ACM SIGKDD International Workshop on Urban Computing, 2012

DEMON: a local-first discovery method for overlapping communities.
Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012

Injecting Discrimination and Privacy Awareness Into Pattern Discovery.
Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

Mega-modeling for Big Data Analytics.
Proceedings of the Conceptual Modeling, 2012

"How Well Do We Know Each Other?" Detecting Tie Strength in Multidimensional Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

Optimal Spatial Resolution for the Analysis of Human Mobility.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011
Unveiling the complexity of human mobility by querying and mining massive trajectory data.
VLDB J., 2011

C-safety: a framework for the anonymization of semantic trajectories.
Trans. Data Priv., 2011

Privacy in mobility data mining.
SIGKDD Explor., 2011

A classification for community discovery methods in complex networks.
Stat. Anal. Data Min., 2011

The pursuit of hubbiness: Analysis of hubs in large multidimensional networks.
J. Comput. Sci., 2011

A Query Language for Mobility Data Mining.
Int. J. Data Warehous. Min., 2011

Challenges for Mobile Data Management in the Era of Cloud and Social Computing.
Proceedings of the 12th IEEE International Conference on Mobile Data Management, 2011

Human mobility, social ties, and link prediction.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Foundations of Multidimensional Network Analysis.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011

Privacy-Preserving Data Mining from Outsourced Databases.
Proceedings of the Computers, Privacy and Data Protection: an Element of Choice, 2011

2010
Data mining for discrimination discovery.
ACM Trans. Knowl. Discov. Data, 2010

Movement Data Anonymity through Generalization.
Trans. Data Priv., 2010

Integrating induction and deduction for finding evidence of discrimination.
Artif. Intell. Law, 2010

DCUBE: discrimination discovery in databases.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Discovering Eras in Evolving Social Networks (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Exploring Real Mobility Data with M-Atlas.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010

As Time Goes by: Discovering Eras in Evolving Social Networks.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2010

Towards discovery of eras in social networks.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

Preserving privacy in semantic-rich trajectories of human mobility.
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS, 2010

Mobility data mining: discovering movement patterns from trajectory data.
Proceedings of the Second International Workshop on Computational Transportation Science, 2010

Advanced knowledge discovery on movement data with the GeoPKDD system.
Proceedings of the EDBT 2010, 2010

2009
SNIPER: A Data Mining Methodology for Fiscal Fraud Detection.
ERCIM News, 2009

A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data.
Proceedings of the Advances in Spatial and Temporal Databases, 2009

Anonymous Sequences from Trajectory Data.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Measuring Discrimination in Socially-Sensitive Decision Records.
Proceedings of the SIAM International Conference on Data Mining, 2009

Interactive visual clustering of large collections of trajectories.
Proceedings of the 4th IEEE Symposium on Visual Analytics Science and Technology, 2009

High Quality True-Positive Prediction for Fiscal Fraud Detection.
Proceedings of the ICDM Workshops 2009, 2009

Trajectory pattern analysis for urban traffic.
Proceedings of the Second International Workshop on Computational Transportation Science, 2009

Movement data anonymity through generalization.
Proceedings of the 2nd SIGSPATIAL ACM GIS 2009 International Workshop on Security and Privacy in GIS and LBS, 2009

Geographic privacy-aware knowledge discovery and delivery.
Proceedings of the EDBT 2009, 2009

Mining Mobility Behavior from Trajectory Data.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
Privacy Protection: Regulations and Technologies, Opportunities and Threats.
Proceedings of the Mobility, Data Mining and Privacy - Geographic Knowledge Discovery, 2008

Spatiotemporal Data Mining.
Proceedings of the Mobility, Data Mining and Privacy - Geographic Knowledge Discovery, 2008

Mobility, Data Mining and Privacy: A Vision of Convergence.
Proceedings of the Mobility, Data Mining and Privacy - Geographic Knowledge Discovery, 2008

Anonymity preserving pattern discovery.
VLDB J., 2008

Visually driven analysis of movement data by progressive clustering.
Inf. Vis., 2008

Discrimination-aware data mining.
Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2008

Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project.
Proceedings of the Privacy, 2008

Pattern-Preserving k-Anonymization of Sequences and its Application to Mobil- ity Data Mining.
Proceedings of the 1st International Workshop on Privacy in Location-Based Applications, 2008

08471 Report - Geographic Privacy-Aware Knowledge Discovery and Delivery.
Proceedings of the Geographic Privacy-Aware Knowledge Discovery and Delivery, 16.11., 2008

2007
Privacy-Aware Knowledge Discovery from Location Data.
Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

Trajectory pattern mining.
Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2007

2006
Time-focused clustering of trajectories of moving objects.
J. Intell. Inf. Syst., 2006

Efficient Mining of Temporally Annotated Sequences.
Proceedings of the Sixth SIAM International Conference on Data Mining, 2006

Mining sequences with temporal annotations.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Towards low-perturbation anonymity preserving pattern discovery.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005
Efficient breadth-first mining of frequent pattern with monotone constraints.
Knowl. Inf. Syst., 2005

Exante: A Preprocessing Method for Frequent-Pattern Mining.
IEEE Intell. Syst., 2005

Anonymity and data mining.
Comput. Syst. Sci. Eng., 2005

<i>k</i>-Anonymous Patterns.
Proceedings of the Knowledge Discovery in Databases: PKDD 2005, 2005

Blocking Anonymity Threats Raised by Frequent Itemset Mining.
Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 2005

2004
Bounded Nondeterminism of Logic Programs.
Ann. Math. Artif. Intell., 2004

Frequent Pattern Queries for Flexible Knowledge Discovery.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Characterisations of Termination in Logic Programming.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

IT4PS: information technology for problem solving.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Discovery of ads web hosts through traffic data analysis.
Proceedings of the 9th ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 2004

A Relational Query Primitive for Constraint-Based Pattern Mining.
Proceedings of the Constraint-Based Mining and Inductive Databases, 2004

2003
On logic programs that always succeed.
Sci. Comput. Program., 2003

WebCat: Automatic Categorization of Web Search Results.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

Pre-processing for Constrained Pattern Mining.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

ExAnte: Anticipated Data Reduction in Constrained Pattern Mining.
Proceedings of the Knowledge Discovery in Databases: PKDD 2003, 2003

Adaptive Constraint Pushing in Frequent Pattern Mining.
Proceedings of the Knowledge Discovery in Databases: PKDD 2003, 2003

ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint.
Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 2003

2002
Classes of terminating logic programs.
Theory Pract. Log. Program., 2002

The Declarative Side of Magic.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Negation as Failure through Abduction: Reasoning about Termination.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Distances For Spatio-Temporal Clustering.
Proceedings of the 15th Australian Joint Conference on Artificial Intelligence 2002, 2002

2001
Nondeterministic, Nonmonotonic Logic Databases.
IEEE Trans. Knowl. Data Eng., 2001

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases.
J. Comput. Syst. Sci., 2001

Web log data warehousing and mining for intelligent web caching.
Data Knowl. Eng., 2001

Data Mining for Intelligent Web Caching.
Proceedings of the 2001 International Symposium on Information Technology (ITCC 2001), 2001

2000
Foundations of distributed interaction systems.
Ann. Math. Artif. Intell., 2000

Logic-Based Knowledge Discovery in Databases.
Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

On Verification in Logic Database Languages.
Proceedings of the Computational Logic, 2000

1999
On Logic Programs That Do Not Fail.
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Verification of Logic Programs.
J. Log. Program., 1999

Integration of Deduction and Induction for Mining Supermarket Sales Data.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection.
Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 1999

Experiences with a Logic-based knowledge discovery Support Environment.
Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999

Using Data Mining Techniques in Fiscal Fraud Detection.
Proceedings of the Data Warehousing and Knowledge Discovery, 1999

1998
Datalog with Non-Deterministic Choice Computers NDB-PTIME.
J. Log. Program., 1998

Weakest Preconditions for Pure Prolog Programs.
Inf. Process. Lett., 1998

Query Answering in Nondeterministic, Nonmonotonic Logic Databases.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997
Verification of Meta-Interpreters.
J. Log. Comput., 1997

Non-determinism in Deductive Databases - Preface.
Ann. Math. Artif. Intell., 1997

Datalog++: a Basis for Active Object.Oriented Databases.
Proceedings of the Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1997

Datalog++: A Basis for Active Object-Oriented Databases.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

A Deductive Data Model for Representing and Querying Semistructured Data.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A Closer Look at Declarative Interpretations.
J. Log. Program., 1996

1995
A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modular Logic Programming.
ACM Trans. Program. Lang. Syst., 1994

Declarative Semantics for Pruning Operators in Logic Programming.
Methods Log. Comput. Sci., 1994

Implementations of Program Composition Operations.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

A Proof Method for Runtime Properties of Prolog Programs.
Proceedings of the Logic Programming, 1994

Total correctness of logic and pure Prolog programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Expressive Power of Non-Deterministic Operators for Logic-based Languages.
Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

Termination is Language-Independent.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Proving termination of Prolog programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Reasoning about Termination of Pure Prolog Programs
Inf. Comput., September, 1993

Datalog with Non-Deterministic Choice Computes NDB-PTIME.
Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

1992
Meta for Modularising Logic Programming.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

The Type System of LML.
Proceedings of the Types in Logic Programming., 1992

1991
Proving Termination of General Prolog Programs.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Theory Construction in Computational Logic.
Proceedings of the Constructing Logic Programs, 1991

Non-Determinism in Deductive Databases.
Proceedings of the Deductive and Object-Oriented Databases, 1991

1990
A Transformational Approach to Negation in Logic Programming.
J. Log. Program., 1990

Algebraic Properties of a Class of Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Logic Programming within a Functional Framework.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Declarative Semantics for Pruning Operators in Logic Programming.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

Universal Quantification by Case Analysis.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988
Complete Logic Programs with Domain-Closure Axiom.
J. Log. Program., 1988

An Algebra of Logic Programs.
Proceedings of the Logic Programming, 1988

A Progress Report on the LML Project.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Symbolic Evaluation with Structural Recursive Symbolic Constants.
Sci. Comput. Program., 1987

Intensional Negation of Logic Programs: Examples and Implementation Techniques.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1985
Symbolic Semantics and Program Reduction.
IEEE Trans. Software Eng., 1985

The Type System of Galileo.
Proceedings of the Data Types and Persistence, 1985


  Loading...