Learning Teleoreactive Logic Programs from Problem Solving.

Dongkyu Choi Pat Langley

Published in: ILP (2005)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
answer sets
fixpoint
deductive databases
horn clauses
data model
object oriented
parameter estimation
default logic
refinement operators
partial deduction
term rewriting systems