scientific article; zbMATH DE number 7453122

MaRDI QIDQ5020567zbMATH OpenFDO

Authors Ariyam Das, Youfu Li, Jin Wang, Mingda Li, Carlo Zaniolo

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08249, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.32

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Scaling-up reasoning and advanced analytics on BigData

Cited in

(1)

• Recursive rules with aggregation: a simple unified semantics

Describes a project that uses

Uses Software

• BigDatalog

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020567)