Publications by Topic

Data Integration

  • Alshukaili, D., Fernandes, A.A., Paton, N.W., Structuring Linked Data Search Results Using Probabilistic Soft Logic. 15th International Semantic Web Conference, Springer, 3-19, 2016.
  • Maskat, R., Paton, N.W., Embury, S.M., Pay-as-you-go Configuration of Entity Resolution. Large-Scale Data- and Knowledge-Centered Systems, 29, 40-65, 2016.
  • Paton, N., Belhajjame, K., Embury, S., Fernandes, A., Maskat, R. (2016). Pay-as-you-go Data Integration: Experiences and Recurring Themes. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 81-92, Springer. 10.1007/978-3-662-49192-8_7
  • Ríos, J.C.C., Paton, N.W., Fernandes, A.A.A., Belhajjame, K., Efficient Feedback Collection for Pay-as-you-go Source Selection. 28th International Conference on Scientific and Statistical Database Management (SSDBM), 1:1-1:12, 2016.

Data Quality

  • Console, M., Guagliardo, P., Libkin, L. (2016). Approximations and Refinements of Certain Answers via Many-Valued Logics. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR2016).
  • Fan, W. (2015). Data Quality : From Theory to Practice. ACM SIGMOD Record, 44(3). 10.1145/2854006.2854008
  • Gottlob, G., Orsi, G., Pieris, A. (2015). Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. In Rule Technologies: Foundations, Tools, and Applications (Vol. 9202). Springer. 10.1007/978-3-319-21542-6_3
  • Guagliardo, P., Libkin, L. (2016). Making SQL Queries Correct on Incomplete Databases : A Feasibility Study. 35th Symposium on Principles of Database Systems (PODS’16).
  • Ma, S., Duan, L., Fan, W., Hu, C., Chen, W. (2015). Extending Conditional Dependencies with Built-in Predicates. IEEE Transactions on Knowledge and Data Engineering, 27(12), 3274–3288. 10.1109/TKDE.2015.2451632
  • Ortona, S., Orsi, G., Buoncristiano, M., Furche, T. (2015). WADaR : Joint Wrapper and Data Repair. Proceedings of the VLDB Endowment – Proceedings of the 41st International Conference on Very Large Data Bases, Kohala Coast, Hawaii, 8(12). 10.14778/2824032.2824120

Probabilistic Reasoning

  • Barany, V.,  ten Cate, B., Kimelfeld, B., Olteanu, D., Vagena, Z. (2016). Declarative Probabilistic Programming with Datalog. Int Conf on Database Theory (ICDT), Bordeaux.
  • ten Cate, B., Kimelfeld, B., Olteanu, D. (2015). PPDL: Probabilistic Programming with Datalog. In Alberto Mendelzon Workshop (AMW), Lima.

Query Answering

  • Calautti, M., Gottlob, G., Pieris, A. (2015). Chase Termination for Guarded Existential Rules. ACM Symposium on Principles of Database Systems (PODS 2015), 91–103. 10.1145/2745754.2745773
  • Cao, Y., Fan, W., Ma, S. (2015). Virtual Network Mapping : A Graph Pattern Matching Approach. Data Science (Vol. 9147). Springer. 10.1007/978-3-319-20424-6_6
  • Civili, C., Rosati, R. (2016). Bounded Implication for Existential Rules (Extended Abstract). 29th International Workshop on Description Logics (DL 2106).
  • Fan, W., Fan, Z., Tian, C., Dong, X. L. (2015). Keys for Graphs. Proceedings of the VLDB Endowment, 8(12), 1590–1601. 10.14778/2824032.2824056
  • Fan, W., Geerts, F., Cao, Y., Deng, T., Lu, P. (2015). Querying Big Data by Accessing Small Data. Proceedings of the 34th ACM Symposium on Principles of Database Systems (PODS 2015), 173–184. 10.1145/2745754.2745771
  • Fan, W., Wang, X., Wu, Y. (2015). Answering Pattern Queries Using Views. IEEE Transactions on Knowledge and Data Engineering, 1(2), 1–14. 10.1109/TKDE.2015.2429138
  • Fan, W., Wang, X., Wu, Y., Xu, J. (2015). Association Rules with Graph Patterns. Proceedings of the VLDB Endowment, 8(12), 1502–1513. 10.14778/2824032.2824048
  • Figueira, D., Libkin, L. (2015). Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. In 30th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 329–340). IEEE. 10.1109/LICS.2015.39
  • Gheerbrant, A., Libkin, L. (2015). Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory of Computing Systems, 57(4), 892–926. 10.1007/s00224-014-9596-y
  • Gottlob, G., Manna, M., Pieris, A. (2015). Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)
  • Gottlob, G., Pieris, A. (2015). Beyond SPARQL under OWL 2 QL Entailment Regime : Rules to the Rescue. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)
  • Libkin, L. (2015). How to define certain answers. International Joint Conference on Artificial Intelligence (IJCAI 15), 4282–4288.
  • Libkin, L. (2016). SQL’s Three-Valued Logic and Certain Answers. ACM Transactions on Database Systems, 41(1), 1–28. 10.1145/2877206
  • Libkin, L. (2016). Certain answers as objects and knowledge. Artificial Intelligence, 232, 1–19. 10.1016/j.artint.2015.11.004
  • Libkin, L., Martens, W., Vrgoč, D. (2016). Querying Graphs with Data. Journal of the ACM, 63(2), 1–53. 10.1145/2850413

Theoretical Foundations

  • Barcelo, P., Libkin, L. (2016). Order-invariant types and their applications. Logical Methods in Computer Science, 12(1).
  • Figueira, D., Libkin, L. (2015). Synchronizing Relations on Words. Theory of Computing Systems, 57(2), 287–318. 10.1007/s00224-014-9584-2
  • Libkin, L., Tan, T., Vrgoč, D. (2015). Regular expressions for data words. Journal of Computer and System Sciences, 81(7), 1278–1297. 10.1016/j.jcss.2015.03.005

Vision and Architecture

  • Furche, T., Gottlob, G., Libkin, L., Orsi, G., Paton, N. (2016). Data Wrangling for Big Data: Challenges and Opportunities, 19th International Conference on Extending Database Technology (EDBT), 473-478. 10.5441/002/edbt.2016.44