Propositional and predicate logics of incomplete information

Autor: Leonid Libkin, Marco Console, Paolo Guagliardo

Publikováno v: Console, M, Guagliardo, P & Libkin, L 2022, ' Propositional and predicate logics of incomplete information ', Artificial Intelligence, vol. 302, 103603 . https://doi.org/10.1016/j.artint.2021.103603
University of Edinburgh-PURE
Artificial Intelligence
Artificial Intelligence, 2022, 302, pp.103603. ⟨10.1016/j.artint.2021.103603⟩
Console, M, Guagliardo, P & Libkin, L 2018, Propositional and Predicate Logics of Incomplete Information . in Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-18) . Principles of Knowledge Representation and Reasoning, Tempe, Arizona, USA, pp. 592-601, 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, United States, 30/10/18 . < https://www.aaai.org/ocs/index.php/KR/KR18/paper/view/18068 >

International audience; One of the most common scenarios of handling incomplete information occurs in relational databases. They describe in-complete knowledge with three truth values, using Kleene’s logic for propositional formulae and a rather pe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e348a28402fe31585d7322b0495681e7
https://hdl.handle.net/20.500.11820/b9dc9a1d-4fc2-4bfd-8816-3c550ae5b3e5

Updating graph databases with Cypher

Autor: Leonid Libkin, Hannes Voigt, Petra Selmer, Stefan Plantikow, Victor Marsault, Alastair Green, Martin Schuster, Tobias Lindaaker, Paolo Guagliardo

Publikováno v: 45th International Conference on Very Large Data Bases (VLDB)
45th International Conference on Very Large Data Bases (VLDB), Aug 2019, Los Angeles, United States. pp.2242-2254, ⟨10.14778/3352063.3352139⟩
Green, A, Guagliardo, P, Libkin, L, Lindaaker, T, Marsault, V, Plantikow, S, Schuster, M, Selmer, P & Voigt, H 2019, ' Updating Graph Databases with Cypher ', Proceedings of the VLDB Endowment (PVLDB), vol. 12, no. 12, pp. 2242-2253 . https://doi.org/10.14778/3352063.3352139

The paper describes the present and the future of graph updates in Cypher, the language of the Neo4j property graph database and several other products. Update features include those with clear analogs in relational databases, as well as those that d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8aa4905a78316f6d974d45144115aee
https://doi.org/10.14778/3352063.3352139

Coping with Incomplete Data: Recent Advances

Autor: Paolo Guagliardo, Leonid Libkin, Etienne Toussaint, Marco Console

Publikováno v: SIGMOD/PODS 2020-International Conference on Management of Data
SIGMOD/PODS 2020-International Conference on Management of Data, Jun 2020, Portland / Virtual, United States. pp.33-47, ⟨10.1145/3375395.3387970⟩
PODS
Console, M, Guagliardo, P, Libkin, L & Toussaint, E 2020, Coping with Incomplete Data: Recent Advances . in PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems . pp. 33-47, 2020 ACM SIGMOD/PODS International Conference on Management of Data, Portland, United States, 14/06/20 . https://doi.org/10.1145/3375395.3387970

International audience; Handling incomplete data in a correct manner is a notoriously hard problem in databases. Theoretical approaches rely on the computationally hard notion of certain answers, while practical solutions rely on ad hoc query evaluat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8d9ba970c41fb342916f5b35a031cc1
https://inria.hal.science/hal-03127726

Do We Need Many-valued Logics for Incomplete Information?

Autor: Marco Console, Leonid Libkin, Paolo Guagliardo

Publikováno v: IJCAI
Console, M, Guagliardo, P & Libkin, L 2019, Do We Need Many-valued Logics for Incomplete Information? in Proceedings of the Twenty-Eighth International Joint Conferences on Artificial Intelligence . pp. 6141-6145, International Joint Conference in Artificial Intelligence, Macao, China, 10/08/19 . https://doi.org/10.24963/ijcai.2019/851

One of the most common scenarios of handling incomplete information occurs in relational databases. They describe incomplete knowledge with three truth values, using Kleene's logic for propositional formulae and a rather peculiar extension to predica

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf9675a2e61a0ed7b08b24d86a0147d
https://doi.org/10.24963/ijcai.2019/851

Cypher

Autor: Tobias Lindaaker, Andrés Taylor, Paolo Guagliardo, Petra Selmer, Victor Marsault, Leonid Libkin, Alastair Green, Nadime Francis, Stefan Plantikow, Mats Rydberg

Publikováno v: SIGMOD Conference
Francis, N, Green, A, Guagliardo, P, Libkin, L, Lindaaker, T, Marsault, V, Plantikow, S, Rydberg, M, Selmer, P & Taylor, A 2018, Cypher: An Evolving Query Language for Property Graphs . in SIGMOD '18: Proceedings of the 2018 International Conference on Management of Data . Proceedings-ACM-SIGMOD International Conference on Management of Data, pp. 1433-1445, SIGMOD’18, Houston, United States, 10/06/18 . https://doi.org/10.1145/3183713.3190657
SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data
SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. pp.1433, ⟨10.1145/3183713.3190657⟩
SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. ACM Press, pp.1433, 2018, 〈10.1145/3183713.3190657〉

International audience; The Cypher property graph query language is an evolving language, originally designed and implemented as part of the Neo4j graph database, and it is currently used by several commercial database products and researchers. We de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26d3a601d21b9c496f37909062c36ec0
https://doi.org/10.1145/3183713.3190657