51 citations · 55 across the 5 of their papers we have counts for
1 paper · 2 filters
Nicola Leone, Gerald Pfeifer, Wolfgang Faber +4
This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem s…