Login / Signup
An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS.
Salem Benferhat
Jonathan Ben-Naim
Odile Papini
Eric 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