3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Thomas Eiter, Wolfgang Faber, Christoph Koch +2
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database sys…