Refereed/invited conference/workshop papers

Copyright notice

  1. Consistent Query Answering for Atemporal Constraints over Temporal Databases. Proceedings 23rd International Symposium on Temporal Representation and Reasoning (TIME), October 2016, Copenhagen, Denmark (with Jef Wijsen, to appear).

  2. Output-Sensitive Evaluation of Prioritized Skyline Queries. Proc. 36th International Conference on Management of Data (SIGMOD), May/June 2015, Melbourne, Australia, pp. 1955--1967 (with N. Meneghetti, D. Mindolin and P. Ciaccia).

  3. Temporal Data Model for Program Debugging. Proc. 13th International Symposium on Database Programming Languages (DBPL), August 2011, Seattle (with D. Lessa and B. Jayaraman).

  4. Preference Queries over Sets. Proc. 27th International Conference on Data Engineering (ICDE), April 2011, Hannover, Germany, pp. 1019-1030 (with Xi Zhang).

  5. Discovering Relative Importance of Skyline Attributes. Proc. 35th International Conference on Very Large Data Bases (VLDB), August 2009, Lyon, France, pp. 610-621 (with D. Mindolin).

  6. Minimal Contraction of Preference Relations. Proc. Association for the Advancement of Artificial Intelligence (AAAI), July 2008, Chicago, pp. 492-497 (with D. Mindolin).

  7. Profiling Sets for Preference Querying. Proc. International Workshop on Logic in Databases (LID), May 2008, Rome, Italy (with X. Zhang).

  8. Querying Regular Sets of XML Documents. Proc. International Workshop on Logic in Databases (LID), May 2008, Rome, Italy (with S. Staworko and E. Filiot).

  9. On the Semantics and Evaluation of Top-k Queries in Probabilistic Databases. Proc. 2nd International Workshop on Database Ranking (DBRank), April 2008, Cancun, Mexico, IEEE Computer Society Press (with X. Zhang).

  10. Hierarchical CP-networks. Proc. 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF), September 2007, Vienna, Austria (with D. Mindolin).

  11. Consistent Query Answering: Five Easy Pieces. Proc. 11th International Conference on Database Theory (ICDT), January 2007, Barcelona, Spain, Springer, LNCS 4353, pp. 1-17. Keynote talk.

  12. Consistent Query Answering: Opportunities and Limitations. Proc. 2nd International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC), DEXA Workshops, September 2006, Krakow, Poland, IEEE Computer Society Press. Keynote talk.

  13. Validity-Sensitive Querying of XML Databases. Proc. 2nd International Workshop on Database Technologies for Handling XML Information on the Web (dataX), March 2006, Munich, Germany, Springer, LNCS 4254, pp.164-177 (with S. Staworko).

  14. Preference-Driven Querying of Inconsistent Relational Databases. Proc. International Workshop on Inconsistency and Incompleteness in Databases, March 2006, Munich, Germany, Springer, LNCS 4254, pp. 318-335 (with S. Staworko and J. Marcinkowski).

  15. Iterative Modification and Incremental Evaluation of Preference Queries. Proc. 4th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), February 2006, Budapest, Hungary, Springer, LNCS 3861, pp. 63-82. Invited to a special issue of Annals of Mathematics and Artificial Intelligence. Journal version.

  16. Monotonic and Nonmonotonic Preference Revision. Proc. IJCAI 2005 Multidisciplinary Workshop on Advances in Preference Handling, July 2005, Edinburgh, Scotland, UK (with Joyce Song). Earlier version: arXiv.org preprint cs.DB/0503092.

  17. Computing Consistent Query Answers Using Conflict Hypergraphs. Proc. 13th ACM Conference on Information and Knowledge Management (CIKM), November 2004, Washington, D.C., ACM Press, pp. 417-426. Short version in Proc. Workshop on Information Integration on the Web, August 2004, Toronto, Canada, (with J. Marcinkowski and S. Staworko).

  18. Semantic Optimization of Preference Queries. Proc. International Symposium on Applications of Constraint Databases, June 2004, Paris, France, Springer-Verlag, LNCS 3074, pp. 128-142. Journal version.

  19. Hippo: a System for Computing Consistent Query Answers to a Class of SQL queries. Proc. 9th International Conference on Extending Database Technology, March 2004, Heraklion, Greece. System demo (with J. Marcinkowski and S. Staworko).

  20. Consistent Query Answering: Recent Developments and Future Directions. Proc. Sixth IFIP TC-11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems, November 2003, Lausanne, Switzerland, Kluwer Publishers, 2004, pp. 219-239. Keynote talk.

  21. Skyline with Presorting. Proc. 19th International Conference on Data Engineering, March 2003, Bangalore, India. Poster (with P. Godfrey, J. Gryz and D. Liang).

  22. Consistent Answers from Integrated Data Sources. Proc. 5th International Conference on Flexible Query Answering Systems, October 2002, Copenhagen, Denmark. Springer-Verlag, LNCS 2522, pp. 71-85 (with L. Bertossi, A. Cortes and C. Gutierrez).

  23. Querying with Intrinsic Preferences. Proc. 8th International Conference on Extending Database Technology, March 2002, Prague, Czech Republic. Springer-Verlag, LNCS 2287, pp. 34-51. Journal version.

  24. Scalar Aggregation in FD-Inconsistent Databases. Proc. 8th International Conference on Database Theory, January 2001, London, UK, Springer-Verlag, LNCS 1973, pp. 39-53 (with M. Arenas and L. Bertossi). Journal version.

  25. Monitors for History-Based Policies. Proc. International Workshop on Policies for Distributed Systems and Networks, January 2001, Bristol, UK, Springer-Verlag, LNCS 1995, pp. 57-72 (with J. Lobo).

  26. Specifying and Querying Database Repairs Using Logic Programs with Exceptions. Proc. 4th International Conference on Flexible Query Answering Systems, October 2000, Warsaw, Poland, Springer-Verlag, pp.27-41 (with M. Arenas and L. Bertossi). Journal version.

  27. A Logic Programming Approach to Conflict Resolution in Policy Management. Proc. 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), April 2000, Breckenridge, Colorado, Morgan Kaufman, pp.121-132 (with J. Lobo and S. Naqvi). Journal version.

  28. Animating Spatiotemporal Constraint Databases. Proc. VLDB'99 Workshop on Spatio-Temporal Database Management (STDBM'99), September 1999, Edinburgh, Scotland, Springer-Verlag, LNCS 1678, pp. 224-241 (with Y. Liu and P.Revesz). Color figures.

  29. A Geometric Framework for Specifying Spatiotemporal Objects. Proc. 6th International Workshop on Time Representation and Reasoning (TIME'99), May 1999, Orlando, Florida, IEEE Computer Society Press, pp. 41-46 (with Peter Revesz).

  30. Consistent Query Answers in Inconsistent Databases. Proc. 18th ACM Symposium on Principles of Database Systems, June 1999, Philadelphia, Pennsylvania, pp. 68-79 (with M. Arenas and L. Bertossi).

  31. Query Evaluation in Almost Consistent Databases Using Residues. Proc. International Conference of the Chilean Computer Science Society, November 1998 (with M. Arenas and L. Bertossi).

  32. Decentralized Micropayment Consolidation. Proc. 18th International Conference on Distributed Computing Systems, May 1998, Amsterdam, The Netherlands, pp. 332-341 (with Shamim Naqvi, Marc F. Pucci, and Ron W. Underwood). Full version.

  33. Constraint-Based Interoperability of Spatiotemporal Databases. Proc. 5th International Symposium on Large Spatial Databases, Berlin, Germany, July 1997, Springer-Verlag, LNCS 1262 (with Peter Revesz). Journal version.

  34. Variable Independence and Aggregation Closure. Proc. 15th ACM Symposium on Principles of Database Systems, June 1996, Montreal, Canada, pp. 40-48 (with Dina Goldin and Gabriel Kuper). Journal version.

  35. Querying TSQL2 Databases with Temporal Logic Proc. 5th International Conference on Extending Database Technology, Avignon, France, March 1996, Springer-Verlag, LNCS 1057, pp. 325-341 (with Michael Boehlen, Richard Snodgrass and David Toman). Journal version.

  36. Measuring Infinite Relations. Proc. 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 1995, San Jose, California (with Gabriel Kuper)

  37. Constraint-Generating Dependencies. Proc. 5th International Conference on Database Theory, January 1995, Prague, Czech Republic, LNCS 893, Springer-Verlag(with Marianne Baudinet and Pierre Wolper). Journal version.

  38. Datalog with Integer Periodicity Constraints. Proc. International Logic Programming Symposium, November 1994, Ithaca, New York, MIT Press (with David Toman and David S. Rogers).Journal version.

  39. Temporal Query Languages: a Survey. Proc. International Conference on Temporal Logic, July 1994, Bonn, Germany, Springer-Verlag (LNAI 827), pp. 506-534. This supersedes the notes for my PODS'93 tutorial. Full version.

  40. Implementing Temporal Integrity Constraints Using an Active DBMS Proc. 4th IEEE International Workshop on Research Issues in Data Engineering: Active Database Systems, February 1994, Houston, Texas (with David Toman). Journal version.

  41. On the Feasibility of Checking Temporal Integrity Constraints. Proc. 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 1993, Washington, D.C., pp. 202-213 (with Damian Niwinski). Journal version.

  42. Temporal Databases: Beyond Finite Extensions. Proc. International Workshop on an Infrastructure for Temporal Databases, June 1993, Arlington, Texas (with M. Baudinet and P. Wolper).

  43. Declarative Definition of Object-Oriented Multidatabase Mappings. Proc. International Workshop on Distributed Object Management, August 1992, Edmonton, Canada (with Witold Litwin). Also in Distributed Object Management, M.T. Ozsu, U. Dayal, and P. Valduriez, editors, Morgan Kaufmann, 1993.

  44. Real-Time Integrity Constraints. Proc. 11th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1992, San Diego, California, pp. 274-282. Journal version.

  45. History-less Checking of Dynamic Integrity Constraints. Proc. 8th IEEE International Conference on Data Engineering, February 1992, Phoenix, Arizona, pp. 557-564. Journal version.

  46. Polynomial Time Query Processing in Temporal Deductive Databases. Proc. 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 1990, Nashville, Tennessee, pp. 379-391.

  47. Relational Specifications of Infinite Query Answers. Proc. ACM SIGMOD International Conference on Management of Data, May 1989, Portland, Oregon, pp. 174-183 (with Tomasz Imielinski). Journal version.

  48. Temporal Deductive Databases and Infinite Objects. Proc. 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 1988, Austin, Texas, pp. 61-73 (with Tomasz Imielinski).

  49. A Controllable PROLOG Database System. Proc. 2nd IEEE International Conference on Data Engineering, February 1986, Los Angeles, California, pp. 618-628 (with Naftaly Minsky and David Rozenshtein).

  50. Towards a Programming Environment for Large PROLOG Programs. Proc. 2nd IEEE International Symposium on Logic Programming, July 1985, Boston, Massachusetts, pp. 230-241 (with Naftaly Minsky).