Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not direct…
Annotation
"Answer set programming (ASP)" is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not dire…
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not direct…
Spatial information is pervaded by uncertainty. Indeed, geographical data is often obtained by an imperfect interpretation of remote sensing images, while people attach ill-defined or ambiguous labels to places and their properties. As another example, medical images are often t…