Login / Signup

Information caching in the execution of logic programs.

Chih-Hao HuangJie-Yong Juang
Published in: COMPSAC (1991)
Keyphrases
  • logic programs
  • background knowledge
  • logic programming
  • answer set programming
  • stable models
  • knowledge base
  • query processing
  • partial deduction