14 citations · 29 across the 6 of their papers we have counts for
1 paper · 1 filter
Pascal Hitzler
In [Hitzler and Wendt 2002, 2005], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with n…