Scaling-up reasoning and advanced analytics on BigData

Fixpoint semantics and optimization of recursive Datalog programs with aggregates

(2017) CARLO ZANIOLO et al.   THEORY AND PRACTICE OF LOGIC PROGRAMMING

Applications of Answer Set Programming

(2016) Esra Erdem et al.   AI MAGAZINE

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

(2016) Mohan Yang et al.   VLDB JOURNAL

Relational Learning with GPUs: Accelerating Rule Coverage

(2015) Carlos Alberto Martínez-Angeles et al.   INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING

Vicious Circle Principle and Logic Programs with Aggregates

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

Efficient Computation of the Well-Founded Semantics over Big Data

(2014) ILIAS TACHMAZIDIS 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

WebPIE: A Web-scale Parallel Inference Engine using MapReduce

(2011) Jacopo Urbani et al.   Journal of Web Semantics

XSB: Extending Prolog with Tabled Logic Programming

(2011) TERRANCE SWIFT et al.   THEORY AND PRACTICE OF LOGIC PROGRAMMING

Semantics and complexity of recursive aggregates in answer set programming

(2010) Wolfgang Faber et al.   ARTIFICIAL INTELLIGENCE

Discovery of maximum length frequent itemsets

(2007) Tianming Hu et al.   INFORMATION SCIENCES