Login / Signup

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

Claudio OchoaGermán PueblaManuel V. Hermenegildo
Published in: LOPSTR (2005)
Keyphrases
  • prolog programs
  • logic programs
  • databases
  • artificial intelligence
  • logic programming
  • answer set programming
  • constraint satisfaction
  • information retrieval
  • decision making
  • search algorithm
  • general purpose