aspps - An Implementation of Answer-Set Programming with Propositional Schemata.

Deborah East Miroslaw Truszczynski

Published in: LPNMR (2001)

Keyphrases

answer set programming
answer set programs
logic programs
logic programming
answer sets
disjunctive logic programming
constraint logic programming
strong equivalence
reasoning tasks
stable model semantics
causal theories
stable models
modulo theories
answer set semantics
default logic
lower bound
high level