Publications

2016:

  • V. Barany, B. ten Cate, B. Kimelfeld, D. Olteanu, and Z. Vagena: Declarative probabilistic programming with datalog. ICDT 2016, Bordeaux, France, March 15-18, 2016, pages 7:1–7:19, 2016.
  • M. Benedikt, B. ten Cate, and M. Vanden Boom: Effective interpolation and preservation in guarded logics. ACM Trans. Comput. Log., 17(2):8, 2016.
  • D. Burdick, R. Fagin, P. G. Kolaitis, L. Popa, and W. Tan: A declarative framework for linking entities. ACM Trans. Database Syst., 41(3):17, 2016
  • L. Hella and P. G. Kolaitis: Dependence logic vs. constraint satisfaction. In 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 – September 1, 2016, Marseille, France, pages 14:1–14:17, 2016.
  • P. G. Kolaitis, R. Pichler, E. Sallinger, and V. Savenkov: Limits of schema mappings. In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016, pages 19:1–19:17, 2016.
  • B. ten Cate, R. L. Halpert, and P. G. Kolaitis: Exchange-repairs – managing inconsistency in data exchange. J. Data Semantics, 5(2):77–97, 2016.
  • B. ten Cate, R. L. Halpert, and P. G. Kolaitis: Practical query answering in data exchange under inconsistency-tolerant semantics. EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016., pages 233–244, 2016.

2015:

  • Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan (2015). Approximation Algorithms for Schema-Mapping Discovery from Data Examples. Alberto Mendelsohn Workshop 2015, Lima.
  • Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis (2015).Dichotomies in the Complexity of Preferred Repairs. 34th ACM Symposium on Principles of Database Systems (PODS 2015). Melbourne.
  • D. Burdick,Ronald Fagin, Phokion G. Kolaitis, W.-C. Tan (2015). A Declarative Framework for Linking Entities. 18th International Conference on Database Theory (ICDT 2015). Brussels.
  • Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan (2015). High-Level Why-Not Explanations using Ontologies. 34th ACM Symposium on Principles of Database Systems.
  • Balder ten Cate, Victor Dalmau (2015). The Product Homomorphism Problem and Applications. 18th International Conference on Database Theory (ICDT). Brussels.
  • Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom (2015). The Complexity of Boundedness for Guarded Logics. Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Kyoto.
  • Michael Benedikt, Balder ten Cate, Michael Vanden Boom (2015). Interpolation with Decidable Fixpoint Logics. Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Kyoto
  • Vince Barany, Balder ten Cate, Luc Segoufin (2015). Guarded Negation. 62. (3). Journal of the ACM, 62. 22. Published. Yes. Yes. DOI. 10.1145/2701414.
  • Balder ten Cate and V. Dalmau: The product homomorphism problem and applications. ICDT 2015, Brussels, Belgium, pages 161–176, 2015.

2014:

  • Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter: Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. Journal of the ACM 39(4):33 (special issue: selected papers from PODS 2013).
  • Balder ten Cate, Richard Halpert and Phokion G. Kolaitis: Exchange-Repairs: Managing Inconsistency in Data Exchange. In Proceedings of 8th International Conference On Web Reasoning And Rule Systems (RR 2014)
  • Phokion G. Kolaitis, Emanuel Salligner, Vadim Savenkov: Nested dependencies: structure and reasoning. In Proceedings of 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2014): 176-188.
  • Michael Benedikt, Balder ten Cate, Efthymia Tsamoura: Generating low-cost plans from proofs. In Proceedings of 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2014): 200-211.
  • Michael Benedikt, Balder Ten Cate and Michael Vanden Boom: Effective Interpolation and Preservation in Guarded Logics. In Proceedings of 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2014): 13 (10 pages)
  • B. Kimelfeld and P. G. Kolaitis: The complexity of mining maximal frequent subgraphs. ACM Trans. Database Syst., 39(4):32:1–32:33, 2014.

2013:

  • Phokion G. Kolaitis and Francesca Spezzano: The Semantics of Aggregate Queries in Data Exchange Revisited. In: Scalable Uncertainty Management – 7th International Conference (SUM 2013): 233-246, September 16-18, 2013.
  • Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis: Learning schema mappings. ACM Transactions on Database Systems 38(4): 28 (31 pages) (2013)
  • Balder ten Cate, Enrico Franconi, Inanç Seylan: Beth Definability in Expressive Description Logics. Journal for Artificial Intelligence Research (JAIR) 48: 347-414 (2013)
  • Luc Segoufin, Balder ten Cate: Unary negation. Logical Methods in Computer Science 9:3  (46 pages) (2013)
  • Balder ten Cate, Phokion G. Kolaitis, Walied Othman. Data exchange with arithmetic operations. 16th International Conference on Extending Database Technology (EDBT 2013). Genoa, Italy.
  • Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis. Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China.
  • Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter. Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013). New York.
  • Benny Kimelfeld and Phokion G. Kolaitis. The Complexity of Mining Maximal Frequent Subgraphs. 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013). New York.
  • Vince Barany, Michael Benedikt and Balder ten Cate. Rewriting Guarded Negation Queries. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013). Klosterneuburg, Austria.
  • Balder ten Cate, Phokion G. Kolaitis, and Wang-Chiew Tan. Schema mappings and data examples. 16th International Conference on Extending Database Technology (EDBT 2013). Genoa, Italy