Abreu, Salvador

Deductive Databases and Logic Programming

2026 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Logic programming is an excellent platform for implementing declarative rule-based systems in artificial intelligence (AI). It is also well-suited for mediating between declarative tools such as relational or deductive databases, semi-structured databases (XML), and semantic …