9 citations · 17 across the 4 of their papers we have counts for
1 paper · 1 filter
Levon Haykazyan
There are many different semantics for general logic programs (i.e. programs that use negation in the bodies of clauses). Most of these semantics are Turing complete (in a sense th…