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