Login / Signup

Well-founded and stable semantics of logic programs with aggregates.

Nikolay PelovMarc DeneckerMaurice Bruynooghe
Published in: Theory Pract. Log. Program. (2007)
Keyphrases
  • semantics of logic programs
  • logic programs
  • deductive databases
  • answer sets
  • fixpoint
  • logic programming
  • data streams
  • truth values
  • answer set semantics
  • artificial intelligence
  • general purpose
  • answer set programming