The Difficulties of Learning Logic Programs with Cut

Francesco Bergadano Daniele Gunetti Umberto Trinchero

Published in: CoRR (1993)

Keyphrases

logic programs
logic programming
background knowledge
answer sets
fixpoint
stable models
answer set programming
computational properties
term rewriting systems