Counterexample Guided Inductive Synthesis Modulo Theories.

Alessandro Abate Cristina David Pascal Kesseli Daniel Kroening Elizabeth Polgreen

Published in: CAV (1) (2018)

Keyphrases

modulo theories
functional programs
answer set programming
model checking
machine learning
knowledge representation
logic programs
artificial intelligence
knowledge base
inductive logic programming
stable model semantics
satisfiability modulo theories