47 citations · 47 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2000
Extending and Implementing the Stable Model Semantics
Patrik Simons
An algorithm for computing the stable model semantics of logic programs is developed. It is shown that one can extend the semantics and the algorithm to handle new and more express…
cs.LO1999
Extending the Stable Model Semantics with More Expressive Rules
Patrik Simons
The rules associated with propositional logic programs and the stable model semantics are not expressive enough to let one write concise programs. This problem is alleviated by int…