Login / Signup

Automatic Bottom-Up Analysis and Transformation of Logic Programs.

Wamberto Weber VasconcelosMarcelo A. T. AragãoNorbert E. Fuchs
Published in: SBIA (1996)
Keyphrases
  • logic programs
  • logic programming
  • stable models
  • fixpoint
  • background knowledge
  • answer sets
  • answer set programming
  • computational properties
  • inductive logic programming
  • high level
  • term rewriting systems