research
∙
08/30/2011
Translating Answer-Set Programs into Bit-Vector Logic
Answer set programming (ASP) is a paradigm for declarative problem solvi...
share
research
∙
08/16/2011
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
We discuss the evolution of aspects of nonmonotonic reasoning towards th...
research
∙
03/08/2000
Smodels: A System for Answer Set Programming
The Smodels system implements the stable model semantics for normal logi...
research
∙
03/08/2000