Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk).

Published in: CONCUR (2024)

Keyphrases

invited talk
horn clauses
first order logic
logic programs
inference rules
knowledge discovery and data mining
inductive logic programming
selected papers
database queries
rough sets
relational databases
logic programming
program committee