Login / Signup

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.

Giorgio LeviFausto Spoto
Published in: PLILP/ALP (1998)
Keyphrases
  • logic programs
  • logic programming
  • answer set programming
  • answer sets
  • fixpoint
  • term rewriting systems
  • software engineering
  • general purpose
  • background knowledge
  • stable models