JASP: A Framework for Integrating Answer Set Programming with Java.

Onofrio Febbraro Nicola Leone Giovanni Grasso Francesco Ricca

Published in: KR (2012)

Keyphrases

answer set programming
logic programming
logic programs
constraint logic programming
update semantics
causal theories
reasoning tasks
data mining
orders of magnitude
answer sets
stable model semantics