Recursive Modes for Precise Analysis of Logic Programs.

Jichang Tan I-Peng Lin

Published in: ILPS (1997)

Keyphrases

logic programs
logic programming
computational properties
recursive programs
functional programs
background knowledge
inductive logic programming
answer sets
artificial intelligence
stable models
partial deduction