research
∙
05/08/2000
Extending and Implementing the Stable Model Semantics
An algorithm for computing the stable model semantics of logic programs ...
research
∙
03/08/2000
Smodels: A System for Answer Set Programming
The Smodels system implements the stable model semantics for normal logi...
research
∙
08/06/1999