<style face="normal" font="default" size="100%">How Routing Strategies Impact Urban Emissions</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">How Routing Strategies Impact Urban Emissions</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Methods and tools for causal discovery and causal inference</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Semantic Enrichment of XAI Explanations for Healthcare</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Benchmarking and Survey of Explanation Methods for Black Box Models</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Give more data, awareness and control to individual citizens, and they will help COVID-19 containment</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">GLocalX - From Local to Global Explanations of Black Box AI Models</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Introduction to the special issue on social mining and big data ecosystem for open, responsible data science</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Analysis and Visualization of Performance Indicators in University Admission Tests</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Artificial Intelligence (AI): new developments and innovations applied to e-commerce</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Authenticated Outlier Mining for Outsourced Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Black Box Explanation by Learning Image Exemplars in the Latent Feature Space</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Causal inference for social discrimination reasoning</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Doctor XAI: an ontology-based approach to black-box sequential data classification explanations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Error Estimation of Ultra-Short Heart Rate Variability Parameters: Effect of Missing Data Caused by Motion Artifacts</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">An ethico-legal framework for social data science</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Human migration: the big data perspective</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Mobile phone data analytics against the COVID-19 epidemics in Italy: flow diversity and local job markets during the national lockdown</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The relationship between human mobility and viral transmissibility during the COVID-19 epidemics in Italy</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The AI black box Explanation Problem</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Algorithmic bias amplifies opinion fragmentation and polarization: A bounded confidence model</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Causal inference for social discrimination reasoning</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Explaining multi-label black-box classifiers for health applications</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Factual and Counterfactual Explanations for Black Box Decision Making</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Meaningful explanations of Black Box AI decision systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">PlayeRank: data-driven performance evaluation and player ranking in soccer via a machine learning approach</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A public data set of spatio-temporal match events in soccer competitions</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Public opinion and Algorithmic bias</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Visual Analytics Platform to Measure Performance on University Entrance Tests (Discussion Paper)</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Active and passive diffusion processes in complex networks</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Diffusive Phenomena in Dynamic Networks: a data-driven study</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Discovering Mobility Functional Areas: A Mobility Data Analysis Approach</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Discovering temporal regularities in retail customers’ shopping behavior</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Fractal Dimension of Music: Geography, Popularity and Sentiment Analysis</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Gastroesophageal reflux symptoms among Italian university students: epidemiology and dietary correlates using automatically recorded transactions</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Helping your docker images to spread based on explainable models</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The italian music superdiversity</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Local Rule-Based Explanations of Black Box Decision Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">NDlib: a python library to model and analyze diffusion processes over complex networks</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Open the Black Box Data-Driven Explanation of Black Box Decision Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Personalized Market Basket Prediction with Temporal Annotated Recurring Sequences</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">PRUDEnce: a system for assessing privacy risk vs utility in data sharing ecosystems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A survey of methods for explaining black box models</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Authenticated Outlier Mining for Outsourced Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Clustering Individual Transactional Data for Masses of Users</style>

Drupal-Biblio

34

<style face="normal" font="default" size="100%">Data Science a Game-changer for Science and Innovation</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Forecasting success via early adoptions analysis: A data-driven study</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Fractal Dimension of Music: Geography, Popularity and Sentiment Analysis</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">ICON Loop Carpooling Show Case</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The Inductive Constraint Programming Loop</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The Inductive Constraint Programming Loop</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Information diffusion in complex networks: The active/passive conundrum</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Market Basket Prediction using User-Centric Temporal Annotated Recurring Sequences</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">NDlib: a python library to model and analyze diffusion processes over complex networks</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">NDlib: Studying Network Diffusion Dynamics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Never drive alone: Boosting carpooling with network analysis</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Next Basket Prediction using Recurring Sequential Patterns</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Node-centric Community Discovery: From static to dynamic social network analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Privacy Preserving Multidimensional Profiling</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Sentiment Spreading: An Epidemic Model for Lexicon-Based Sentiment Analysis on Twitter</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">There's A Path For Everyone: A Data-Driven Personal Model Reproducing Mobility Agendas</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Tiles: an online algorithm for community discovery in dynamic social networks</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Advances in Network Science: 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">An analytical framework to nowcast well-being using mobile phone data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Audio Ergo Sum</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Big Data Research in Italy: A Perspective</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach.</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Data Mining and Constraints: An Overview</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Driving Profiles Computation and Monitoring for Car Insurance CRM</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Going Beyond GDP to Nowcast Well-Being Using Retail Market Data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Homophilic network decomposition: a community-centric analysis of online social services</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A supervised approach for intra-/inter-community interaction prediction in dynamic social networks</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Understanding human mobility with big data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Unveiling mobility complexity through complex network analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Behavioral Entropy and Profitability in Retail</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">City users’ classification with mobile phone data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Clustering Formulation Using Constraint Optimization</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Community-centric analysis of user engagement in Skype social network</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Discrimination- and privacy-aware patterns</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">The harsh rule of the goals: data-driven performance indicators for football teams</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Interaction Prediction in Dynamic Networks exploiting Community Discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Quantification in Social Networks</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Returners and explorers dichotomy in human mobility</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A risk model for privacy in trajectory data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Small Area Model-Based Estimators Using Big Data Sources</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Anonymity preserving sequential pattern mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Big data analytics for smart mobility: a case study</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">CF-inspired Privacy-Preserving Prediction of Next Location in the Cloud</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Fair pattern discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mining efficient training patterns of non-professional cyclists</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Overlap versus partition: marketing classification and customer profiling in complex networks of products</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The patterns of musical influence on the Last.Fm social network</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Privacy Risk Model for Trajectory Data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Privacy-by-Design in Big Data Analytics and Social Mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The purpose of motion: Learning activities from Individual Mobility Networks</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The retail market as a complex system</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Retrieving Points of Interest from Human Systematic Movements</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Uncovering Hierarchical and Overlapping Communities with a Local-First Approach</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Use of mobile phone data to estimate mobility flows. Measuring urban population and inter-city mobility using big data in an integrated approach</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Comparing General Mobility and Mobility by Car</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">The discovery of discrimination</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">"Engine Matters": {A} First Large Scale Data Driven Study on Cyclists' Performance</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Evolving networks: Eras and turning points</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Explaining the PRoduct Range Effect in Purchase Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Measuring tie strength in multidimensional networks</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Privacy-Aware Distributed Mobility Data Analytics</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Privacy-Preserving Distributed Movement Data Aggregation</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Privacy-Preserving Mining of Association Rules From Outsourced Transaction Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Quantification Trees</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Spatial and Temporal Evaluation of Network-based Analysis of Human Mobility</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Study on Parameter Estimation for a Mining Flock Algorithm </style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Three Dimensions of Social Prominence</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Towards mega-modeling: a walk through data analysis experiences</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">{Understanding the patterns of car travel}</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">An Agent-Based Model to Evaluate Carpooling at Large Manufacturing Plants</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">AUDIO: An Integrity Auditing Framework of Outlier-Mining-as-a-Service Systems.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Data Science for Simulating the Era of Electric Vehicles</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">DEMON: a local-first discovery method for overlapping communities</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">DEMON: a Local-First Discovery Method for Overlapping Communities</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Discovering the Geographical Borders of Human Mobility</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">"How Well Do We Know Each Other?" Detecting Tie Strength in Multidimensional Social Networks</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Injecting Discrimination and Privacy Awareness Into Pattern Discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mega-modeling for Big Data Analytics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Multidimensional networks: foundations of structural analysis</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Optimal Spatial Resolution for the Analysis of Human Mobility</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A classification for community discovery methods in complex networks</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">C-safety: a framework for the anonymization of semantic trajectories</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Foundations of Multidimensional Network Analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Privacy-preserving data mining from outsourced databases.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The pursuit of hubbiness: Analysis of hubs in large multidimensional networks</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Query Language for Mobility Data Mining</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Unveiling the complexity of human mobility by querying and mining massive trajectory data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Advanced knowledge discovery on movement data with the GeoPKDD system</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Advanced knowledge discovery on movement data with the GeoPKDD system</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">As Time Goes by: Discovering Eras in Evolving Social Networks</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Discovering Eras in Evolving Social Networks (Extended Abstract)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Exploring Real Mobility Data with M-Atlas</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">A Generalisation-based Approach to Anonymising Movement Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mobility data mining: discovering movement patterns from trajectory data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Movement Data Anonymity through Generalization</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Preserving privacy in semantic-rich trajectories of human mobility</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Towards Discovery of Eras in Social Networks</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Anonymous Sequences from Trajectory Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Geographic privacy-aware knowledge discovery and delivery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">GeoPKDD – Geographic Privacy-aware Knowledge Discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Integrating induction and deduction for finding evidence of discrimination</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Measuring Discrimination in Socially-Sensitive Decision Records</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mining Mobility Behavior from Trajectory Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Movement data anonymity through generalization</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Trajectory pattern analysis for urban traffic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Visual Cluster Analysis of Large Collections of Trajectories</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Anonymity preserving pattern discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Discrimination-aware data mining</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy: A Vision of Convergence</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy - Geographic Knowledge Discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Pattern-Preserving k-Anonymization of Sequences and its Application to Mobility Data Mining</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Privacy Protection: Regulations and Technologies, Opportunities and Threats</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Spatiotemporal Data Mining</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Visually driven analysis of movement data by progressive clustering</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Privacy-Aware Knowledge Discovery from Location Data</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Trajectory pattern mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Efficient Mining of Temporally Annotated Sequences</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mining sequences with temporal annotations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Time-focused clustering of trajectories of moving objects</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Towards low-perturbation anonymity preserving pattern discovery</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Anonymity and data mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Blocking Anonymity Threats Raised by Frequent Itemset Mining</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Efficient breadth-first mining of frequent pattern with monotone constraints</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Exante: A Preprocessing Method for Frequent-Pattern Mining</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Bounded Nondeterminism of Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Characterisations of Termination in Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Discovery of ads web hosts through traffic data analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Frequent Pattern Queries for Flexible Knowledge Discovery</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">IT4PS: information technology for problem solving</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">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</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Relational Query Primitive for Constraint-Based Pattern Mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Adaptive Constraint Pushing in Frequent Pattern Mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">ExAnte: Anticipated Data Reduction in Constrained Pattern Mining</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">On logic programs that always succeed</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Pre-processing for Constrained Pattern Mining</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">WebCat: Automatic Categorization of Web Search Results</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Classes of terminating logic programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Declarative Side of Magic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Negation as Failure through Abduction: Reasoning about Termination</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Classes of Terminating Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Data Mining for Intelligent Web Caching</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Data Mining for Intelligent Web Caching</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Nondeterministic, Nonmonotonic Logic Databases</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Web log data warehousing and mining for intelligent web caching</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Web log data warehousing and mining for intelligent web caching</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Web Log Data Warehousing and Mining for Intelligent Web Caching</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Foundations of distributed interaction systems</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Logic-Based Knowledge Discovery in Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">On Verification in Logic Database Languages</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Bounded Nondeterminism of Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Experiences with a Logic-Based Knowledge Discovery Support Environment</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Experiences with a Logic-based knowledge discovery Support Environment</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Integration of Deduction and Induction for Mining Supermarket Sales Data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">On Logic Programs That Do Not Fail</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Using Data Mining Techniques in Fiscal Fraud Detection</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Verification of Logic Programs</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Datalog with Non-Deterministic Choice Computers NDB-PTIME</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Query Answering in Nondeterministic, Nonmonotonic Logic Databases</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Weakest Preconditions for Pure Prolog Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Datalog++: a Basis for Active Object.Oriented Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Datalog++: A Basis for Active Object-Oriented Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Deductive Data Model for Representing and Querying Semistructured Data</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Non-determinism in Deductive Databases - Preface</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Verification of Meta-Interpreters</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Closer Look at Declarative Interpretations</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Case Study in Logic Program Verification: the Vanilla Metainterpreter</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Expressive Power of Non-Deterministic Operators for Logic-based Languages</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Modular Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Proof Method for Runtime Properties of Prolog Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Proving termination of Prolog programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Datalog with Non-Deterministic Choice Computes NDB-PTIME</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Reasoning about Termination of Pure Prolog Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Meta for Modularising Logic Programming</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">The Type System of LML</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Non-Determinism in Deductive Databases</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Proving Termination of General Prolog Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Theory Construction in Computational Logic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Algebraic Properties of a Class of Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Declarative Semantics for Pruning Operators in Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Logic Programming within a Functional Framework</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Transformational Approach to Negation in Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Universal Quantification by Case Analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">An Algebra of Logic Programs</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Complete Logic Programs with Domain-Closure Axiom</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Progress Report on the LML Project</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Intensional Negation of Logic Programs: Examples and Implementation Techniques</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Symbolic Evaluation with Structural Recursive Symbolic Constants</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Symbolic Semantics and Program Reduction</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Type System of Galileo</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Type System of Galileo</style>