Login / Signup
Analogical Logic Program Synthesis Algorithm That Can Refute Inappropriate Similarities.
Ken Sadohara
Makoto Haraguchi
Published in:
ALT (1995)
Keyphrases
</>
logic programs
optimal solution
search space
np hard
expectation maximization
answer set programming