Login / Signup

An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS.

Salem BenferhatJonathan Ben-NaimOdile PapiniEric Würbel
Published in: Appl. Intell. (2010)
Keyphrases
  • answer set programming
  • logic programs
  • logic programming
  • answer sets
  • constraint logic programming
  • knowledge base
  • default theories
  • haplotype inference
  • databases
  • heuristic search
  • update semantics
  • causal theories