Efficient fixpoint computation in linear tabling.

Neng-Fa Zhou Taisuke Sato

Published in: PPDP (2003)

Keyphrases

fixpoint
logic programs
logic programming
deductive databases
machine learning
search space
knowledge discovery
fixed point
nonmonotonic reasoning
recursive queries