
Publications
.
1996. Using Temporary Integrity Constraints to Optimize Databases. FAPR. :430-435.
.
2010. Preserving privacy in semantic-rich trajectories of human mobility. SPRINGL. :47-54.
.
2009. WhereNext: a location predictor on trajectory pattern mining. KDD. :637-646.
.
2009. WhereNext: a Location Predictor on Trajectory Pattern Mining. 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining.
.
2011. C-safety: a framework for the anonymization of semantic trajectories. Transactions on Data Privacy. 4:73-101.
.
2010. Location Prediction through Trajectory Pattern Mining (Extended Abstract). SEBD. :134-141.
.
2012. Anonymity: a Comparison between the Legal and Computer Science Perspectives.. The 5rd International Conference on Computers, Privacy, and Data Protection: “European Data Protection: Coming of Age”.
.
1994. Proving termination of Prolog programs. GULP-PRODE (1). :46-61.
.
2002. The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond. :83-108.
.
2008. Querying and Reasoning for Spatiotemporal Data Mining. Mobility, Data Mining and Privacy. :335-374.
.
2002. Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond. :240-272.
.
1990. Algebraic Properties of a Class of Logic Programs. NACLP. :23-39.
.
2004. Integrating knowledge representation and reasoning in Geographical Information Systems. International Journal of Geographical Information Science. 18:417-447.
.
1988. Complete Logic Programs with Domain-Closure Axiom. J. Log. Program.. 5:263-276.
.
1988. An Algebra of Logic Programs. ICLP/SLP. :1006-1023.
.
2008. Ontology-driven Querying of Geographical Databases. :31–44.

]