47 citations · 47 across the 1 of their papers we have counts for
1 paper · 1 filter
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…