Login / Signup

Termination Analysis of Tabled Logic Programs Using Mode and Type Information.

Sofie VerbaetenDanny De Schreye
Published in: Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
  • logic programs
  • logic programming
  • background knowledge
  • fixpoint
  • orders of magnitude
  • stable models
  • partial deduction
  • database
  • artificial intelligence
  • knowledge representation
  • answer sets