Publications by Year

2018

  • Abel, E., Keane, J., Paton, N. W., Fernandes, A. A. A., Koehler, M., Konstantinou, N., Ríos, J.C.C., Azuan, N., Embury, S. M. (2018). User Driven Multi-Criteria Source Selection. Information Sciences, 430–431, 179–199. 10.1016/j.ins.2017.11.019

2017

  • Alviano, M., Morak, M., Pieris, A. (2017). Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS 2017: 377-388.
  • Azuan, N.A., Embury, S.M., Paton, N.W., Observing the Data Scientist: Using Manual Corrections As Implicit Feedback. HILDA@SIGMOD, 13:1-13:6, 2017. 10.1145/3077257.3077272
  • Bárány, V., ten Cate, B., Kimelfeld, B., Olteanu, D., Vagena, Z. (2017). Declarative Probabilistic Programming with Datalog. ACM Transactions on Database Systems, 42(4), 1–35. 10.1145/3132700
  • Barceló, P., Pieris, A., Romero, M. (2017). Semantic Optimization in Tractable Classes of Conjunctive Queries, SIGMOD Record 46(2): 5–17.
  • Barceló, P., Berger, G., Pieris, A. (2017). Guarded Ontology-Mediated Queries Distributing Over Components. AMW 2017.
  • Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E. (2017). Swift Logic for Big Data and Knowledge Graphs. IJCAI 2017: 2-10.
  • Bogatu, A., Paton, N.W., Fernandes, A.A.A., Towards Automatic Data Format Transformations: Data Wrangling at Scale. Proc. 31st British International Conference on Databases, Springer, 36-48, 2017. 10.1007/978-3-319-60795-5_4
  • Bourhis, P., Morak, M., Pieris, A. (2017). Making Cross Products and Guarded Ontology Languages Compatible. IJCAI 2017: 880-886.
  • Console M., Guagliardo P., Libkin L. (2017). On Querying Incomplete Information in Databases under Bag Semantics. IJCAI 2017: 993-999. 10.24963/ijcai.2017/138
  • Crescenzi, W., Fernandes, A.A.A., Merialdo, P., Paton, N.W., Crowdsourcing for data management, Knowledge and Information Systems, 2017. 10.1007/s10115-017-1057-x
  • Francis, N., Libkin, L. (2017). Schema Mappings for Data Graphs. PODS 2017: 389–401. 10.1145/3034786.3056113
  • Gottlob, G., Koch, C., Pieris, A. (2017). Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. LATA 2017: 27–47. 10.1007/978-3-319-53733-7
  • Gottlob, G., Pieris, A., Šimkus, M. (2017). The Impact of Active Domain Predicates on Guarded Existential Rules. Fundamenta Informaticae (to appear).
  • Guagliardo, P., Libkin, L. (2017). A Formal Semantics of SQL Queries, Its Validation, and Applications. PVLDB, 11(1): 27–39.
  • Guagliardo, P., Libkin, L. (2017). Correctness of SQL Queries on Databases with Nulls. SIGMOD Record 46(3): 5-16.
  • Guagliardo, P., Libkin, L. (2017). On the Codd Semantics of SQL Nulls. AMW 2017.
  • Koehler, M., Bogatu, A., Civili, C., Konstantinou, N., Abel, E., Fernandes, A. A. A., Keane, J., Libkin, L., Paton, N. W. (2017). Data Context Informed Data Wrangling. IEEE 2017 International Conference on Big Data (IEEE Big Data 2017).
  • Konstantinou, N., Koehler, M., Abel, E., Civili, C., Neumayr, B., Sallinger, E., Fernandes, A.A.A., Gottlob, G., Keane, J.A., Libkin, L., Paton, N.W., The VADA Architecture for Cost-Effective Data Wrangling. SIGMOD Conference, 1599-1602, 2017. 10.1145/3035918.3058730
  • Ríos, J.C.C., Paton, N. W., Fernandes, A. A. A., Abel, E., Keane, J. A. (2017). Targeted Feedback Collection Applied to Multi-Criteria Source Selection. ADBIS 2017, 136–150.

2016

  • Alshucturing Linked Data Search Results Using Probabilistic Soft Logic. 15th International Semantic Web Conference, Springer, 3-19, 2016.
  • Bárány, V.,  ten Cate, B., Kimelfeld, B., Olteanu, D., Vagena, Z. (2016). Declarative Probabilistic Programming with Datalog. Int Conf on Database Theory (ICDT), Bordeaux.
  • Barcelo, P., Libkin, L. (2016). Order-invariant types and their applications. Logical Methods in Computer Science, 12(1).
  • Civili, C., Rosati, R. (2016). Bounded Implication for Existential Rules (Extended Abstract). 29th International Workshop on Description Logics (DL 2106).
  • 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).
  • 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
  • Guagliardo, P., Libkin, L. (2016). Making SQL Queries Correct on Incomplete Databases : A Feasibility Study. 35th Symposium on Principles of Database Systems (PODS’16).
  • Libkin, L. (2016). Certain answers as objects and knowledge. Artificial Intelligence, 232, 1–19. 10.1016/j.artint.2015.11.004
  • 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., Martens, W., Vrgoč, D. (2016). Querying Graphs with Data. Journal of the ACM, 63(2), 1–53. 10.1145/2850413
  • 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.

2015

  • 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
  • Fan, W. (2015). Data Quality : From Theory to Practice. ACM SIGMOD Record, 44(3). 10.1145/2854006.2854008
  • 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). Synchronizing Relations on Words. Theory of Computing Systems, 57(2), 287–318. 10.1007/s00224-014-9584-2
  • 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., 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
  • 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., 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
  • 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
  • ten Cate, B., Kimelfeld, B., Olteanu, D. (2015). PPDL: Probabilistic Programming with Datalog. In Alberto Mendelzon Workshop (AMW), Lima.