4 citations · 6 across the 4 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…