MAGIC: MAnaGing InComplete Data - New Foundations

Filter
Conference contribution

Search results

  • 2022

    Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting

    Gheerbrant, A., Libkin, L., Rogova, A. & Sirangelo, C., 5 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 14-26 (CEUR Workshop Proceedings; vol. 3203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Graph Pattern Matching in GQL and SQL/PGQ

    Deutsch, A., Francis, N., Green, A., Hare, K., Li, B., Libkin, L., Lindaaker, T., Marsault, V., Martens, W., Michels, J., Murlak, F., Plantikow, S., Selmer, P., Voigt, H., van Rest, O., Vrgoc, D., Wu, M. & Zemke, F., 11 Jun 2022, Proceedings of the 2022 International Conference on Management of Data. Ives, Z., Bonifati, A., El Abbadi, A., Paparrizos, J. & Taft, R. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 2246-2258 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2021

    PG-Keys: Keys for Property Graphs

    Angles, R., Bonifati, A., Dumbrava, S., Fletcher, G., Hare, K. W., Hidders, J., Lee, V. E., Li, B., Libkin, L., Martens, W., Murlak, F., Perryman, J., Savković, O., Schmidt, M., Sequeda, J., Staworko, S. & Tomaszuk, D., 9 Jun 2021, Proceedings of the 2021 International Conference on Management of Data (SIGMOD ’21). ACM, p. 2423-2436 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    Knowledge-preserving Certain Answers for SQL-like Queries

    Toussaint, E., Guagliardo, P. & Libkin, L., 12 Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning — Main Track. Calvanese, D., Erdem, E. & Thielscher, M. (eds.). International Joint Conferences on Artificial Intelligence Organization, p. 758–767 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reasoning about Measures of Unmeasurable Sets

    Console, M., Hofer, M. & Libkin, L., 12 Sep 2020, Proceedings of 17th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization, p. 264-273 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Coping with Incomplete Data: Recent Advances

    Console, M., Guagliardo, P., Libkin, L. & Toussaint, E., 14 Jun 2020, PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, p. 33-47 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Queries with Arithmetic on Incomplete Databases

    Console, M., Hofer, M. & Libkin, L., 14 Jun 2020, Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. New York, NY, USA: ACM Association for Computing Machinery, p. 179–189 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Epistemic Integrity Constraints for Ontology-Based Data Management

    Console, M. & Lenzerini, M., 3 Apr 2020, Proceedings of the Thirty-fourth AAAI Conference on Artificial Intelligence. AAAI Press, p. 2790-2797 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Do We Need Many-valued Logics for Incomplete Information?

    Console, M., Guagliardo, P. & Libkin, L., 31 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conferences on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, p. 6141-6145 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Measuring the likelihood of numerical constraints

    Console, M., Hofer, M. & Libkin, L., 31 Aug 2019, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2019: August 10-16, 2019, Macao. International Joint Conferences on Artificial Intelligence Organization, p. 1654-1660 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Fragments of Bag Relational Algebra: Expressiveness and Certain Answers

    Console, M., Guagliardo, P. & Libkin, L., 19 Mar 2019, 22nd International Conference on Database Theory (ICDT 2019). Barcelo, P. & Calautti, M. (eds.). 16 p. 8. (LIPICS; vol. 127).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Propositional and Predicate Logics of Incomplete Information

    Console, M., Guagliardo, P. & Libkin, L., 2 Nov 2018, Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-18). Tempe, Arizona, USA: AAAI Press, p. 592-601 10 p. (Principles of Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Approximating Certainty in Querying Data and Metadata

    Civili, C. & Libkin, L., 24 Sep 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018). Palo Alto, California: AAAI Press, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Explainable Certain Answers

    Amendola, G. & Libkin, L., 2018, Proceedings of the 27th International Joint Conferences on Artificial Intelligence Organization (IJCAI 2018). Stockholm, Sweden: IJCAI Inc, p. 1683-1690 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    On the Codd Semantics of SQL Nulls

    Guagliardo, P. & Libkin, L., 29 Aug 2017, Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management. Montevideo, Uruguay: CEUR-WS.org, 11 p. (CEUR Workshop Proceedings; vol. 1912).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

    Amendola, G., Ricca, F. & Truszczynski, M., 25 Aug 2017, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017). IJCAI Inc, p. 532-538 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On Querying Incomplete Information in Databases under Bag Semantics

    Console, M., Guagliardo, P. & Libkin, L., 25 Aug 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence. IJCAI Inc, p. 993-999 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Schema Mappings for Data Graphs

    Francis, N. & Libkin, L., 19 May 2017, PODS '17 Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, p. 389-401 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File