Login / Signup

A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming.

Keehang Kwon
Published in: J. Univers. Comput. Sci. (1997)
Keyphrases
  • logic programming
  • logic programs
  • data mining
  • knowledge base
  • artificial intelligence
  • answer sets
  • knowledge representation and reasoning