Login / Signup
AND/OR trees for the learning of functional logic programs.
Cèsar Ferri Ramírez
José Hernández-Orallo
María José Ramírez-Quintana
Published in:
APPIA-GULP-PRODE (2001)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer set programming
inductive logic programming
answer sets
expert systems
model checking
fixpoint
computational properties
normal logic programs