FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Approximations of Certain Answers in First-Order Logic

Author: Leonid Libkin

Paper Information

Title:Approximations of Certain Answers in First-Order Logic
Authors:Leonid Libkin
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:first-order logic, relational databases, incomplete information, databases as logical theories
Pages:1
Talk:Aug 01 14:35 (Session 34Q)
Paper: