Dino Pedreschi

According to our database1, Dino Pedreschi authored at least 227 papers between 1985 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
The italian music superdiversity - Geography, emotion and language: one resource to find them, one resource to rule them all.
Multimedia Tools Appl., 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

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.
Transactions on Data Privacy, 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

NDlib: a Python Library to Model and Analyze Diffusion Processes Over Complex Networks.
CoRR, 2018

Active and passive diffusion processes in complex networks.
Applied Network Science, 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 Social Networks and Media, 2017

Tiles: an online algorithm for community discovery in dynamic social networks.
Machine Learning, 2017

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

The Inductive Constraint Programming Loop.
IEEE Intelligent Systems, 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 TIST, 2016

Homophilic network decomposition: a community-centric analysis of online social services.
Social Netw. Analys. Mining, 2016

A supervised approach for intra-/inter-community interaction prediction in dynamic social networks.
Social Netw. Analys. Mining, 2016

Unveiling mobility complexity through complex network analysis.
Social Netw. Analys. Mining, 2016

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

An analytical framework to nowcast well-being using mobile phone data.
CoRR, 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

The Inductive Constraint Programming Loop.
CoRR, 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, 2015

City users' classification with mobile phone data.
Proceedings of the 2015 IEEE International Conference on Big Data, 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.
TKDD, 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 Systems Journal, 2013

Towards mega-modeling: a walk through data analysis experiences.
SIGMOD Record, 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, 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.
KI, 2012

Data Science for Simulating the Era of Electric Vehicles.
KI, 2012

FuturICT - The Road towards Ethical ICT
CoRR, 2012

A Classification for Community Discovery Methods in Complex Networks
CoRR, 2012

DEMON: a Local-First Discovery Method for Overlapping Communities
CoRR, 2012

Privacy-preserving Mining of Association Rules from Outsourced Transaction Databases.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 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 Auditing Framework of Outlier-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 Privacy, 2011

Privacy in mobility data mining.
SIGKDD Explorations, 2011

A classification for community discovery methods in complex networks.
Statistical Analysis and Data Mining, 2011

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

A Query Language for Mobility Data Mining.
IJDWM, 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.
TKDD, 2010

Movement Data Anonymity through Generalization.
Trans. Data Privacy, 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 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

Integrating induction and deduction for finding evidence of discrimination.
Proceedings of the 12th International Conference on Artificial Intelligence and Law, 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.
Information Visualization, 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 Intelligent Systems, 2005

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

k-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.
TPLP, 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

Classes of Terminating Logic Programs
CoRR, 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.
Electr. Notes Theor. Comput. Sci., 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

Bounded Nondeterminism of Logic Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

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

Experiences with a Logic-Based Knowledge Discovery Support Environment.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 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
Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach.
Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

A Case Study in Logic Program Verification: the Vanilla Metainterpreter.
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.
Meth. of Logic in CS, 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. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985


  Loading...