Smodels: A System for Answer Set Programming

Ilkka Niemelä Patrik Simons Tommi Syrjänen

Published in: CoRR (2000)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
stable model semantics
stable models
reasoning tasks
constraint logic programming
causal theories
database
haplotype inference
answer set programs
knowledge representation
modulo theories