What people are saying - Write a review
We haven't found any reviews in the usual places.
Toward the Synthesis of Constraint Propagation Algorithms
K K Lau and M Ornaghi 10
Inductive Synthesis of Logic Programs and Inductive Logic
11 other sections not shown
Other editions - View all
abstract answer abstract interpretation algorithm analysis ancestor check and-parallelism Andorra Andorra-I answer substitution argument Artificial Intelligence atom automatically bagof combined Conference on Logic consider constraint propagation Cont contrapositives correct deductive synthesis defined definite logic program denoted derivation editors EOLD EOLDc equations equivalent Eureka example execution failure axioms finite formula Functional Programming given goal replacement Godel ground representation Horn clauses implementation induction Inductive Logic Programming initial goal input instantiated Katholieke Universiteit Leuven lemma application list(Ys literal logic description Logic Program Synthesis memoized merge(X,Y,Z Meta-Editor meta-programs method mixed abstract negative ancestor object theory optimizations partial evaluation performed predicate symbol problem program synthesis program transformation Prolog programs prove reachability graph reduction step refutation relation renaming set of clauses simplification skeleton solutions specialisation specification framework subgoals synthesis and transformation techniques term theorem prover tion unfolding unification University of Edinburgh variables Whelk Workshop