JWASP: A New Java-Based ASP Solver.

Mario Alviano Carmine Dodaro Francesco Ricca

Published in: RCRA@AI*IA (2015)

Keyphrases

answer set programming
web applications
lightweight
three dimensional
constraint satisfaction
constraint solver
satisfiability modulo theories
real world
computer vision
image processing
similarity measure
end users
constraint solving
quantified boolean formulas
answer set programs