Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S Grigory Fedyukovich Kumar Madhukar Deepak D'Souza

Published in: PLDI (2021)

Keyphrases

horn clauses
logic programs
inference rules
first order logic
inductive logic programming
conceptual clustering
database queries
lattice theory
formal specification
artificial intelligence
specification language
high level
modal logic
domain knowledge
expert systems
function symbols
database