Fixpoint semantics and optimization of recursive Datalog programs with aggregates

Scaling up the performance of more powerful Datalog systems on multicore machines

(2016) Mohan Yang et al.   VLDB JOURNAL

Planning as tabled logic programming

(2015) NENG-FA ZHOU et al.   THEORY AND PRACTICE OF LOGIC PROGRAMMING

Vicious Circle Principle and Logic Programs with Aggregates

(2014) MICHAEL GELFOND et al.   THEORY AND PRACTICE OF LOGIC PROGRAMMING

A declarative extension of horn clauses, and its significance for datalog and its applications

(2013) MIRJANA MAZURAN et al.   THEORY AND PRACTICE OF LOGIC PROGRAMMING

Extending the power of datalog recursion

(2012) Mirjana Mazuran et al.   VLDB JOURNAL

Semantics and complexity of recursive aggregates in answer set programming

(2010) Wolfgang Faber et al.   ARTIFICIAL INTELLIGENCE