39 citations · 92 across the 15 of their papers we have counts for
1 paper · 1 filter
Vladimir Lifschitz
This paper describes an approach to the methodology of answer set programming (ASP) that can facilitate the design of encodings that are easy to understand and provably correct. Un…