The Smodels System.

Tommi Syrjänen Ilkka Niemelä

Published in: LPNMR (2001)

Keyphrases

answer set programming
logic programs
stable models
logic programming
answer sets
stable model semantics
normal logic programs
software engineering
deductive databases
machine learning
case study
domain specific
constraint satisfaction
fixpoint