Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.

James Brotherston Nikos Gorogiannis

Published in: SAS (2014)

Keyphrases

data sets
logic programming
background knowledge
programming language
inference rules
abductive reasoning