Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a research presentation from the 27th International Symposium on Practical Aspects of Declarative Languages that addresses the challenge of incorporating tabular data into logical knowledge bases. Learn how researchers Robin De Vogelaere, Kylian Van Dessel, and Joost Vennekens from KU Leuven and Leuven.AI developed a logical approach to transform data from sources like databases and CSV files into formal knowledge representations. Discover their analysis of deriving logical vocabulary from tabular data and their implementation of KeBAP (Knowledge-Base API for Python), which automates tasks such as vocabulary derivation and merging different data sources. This 25-minute video presentation, sponsored by ACM SIGPLAN, demonstrates practical solutions for declarative problem solving using the IDP-Z3 reasoning engine and FO(.) language, a rich extension of classical first-order logic.
