Login / Signup

A dynamic approach to characterizing termination of general logic programs.

Yi-Dong ShenJia-Huai YouLi-Yan YuanSamuel S. P. ShenQiang Yang
Published in: ACM Trans. Comput. Log. (2003)
Keyphrases
  • general logic programs
  • database
  • deductive databases
  • knowledge base
  • logic programs
  • causal theories