21 citations · 64 across the 16 of their papers we have counts for
1 paper · 2 filters
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos +1
We investigate the expressive power of Higher-Order Datalog¬ under both the well-founded and the stable model semantics, establishing tight connections with complexity classe…