Generalized Unfold/fold Transformation Systems for Normal Logic Programs.

Abhik Roychoudhury K. Narayan Kumar I. V. Ramakrishnan

Published in: ICLP (1999)

Keyphrases

normal logic programs
logic programs
artificial intelligence
software engineering
orders of magnitude
machine learning
bayesian networks
expert systems
object oriented
logic programming
stable models