https://deepai.org/publication/stratified-negation-in-limit-datalog-programs
Stratified Negation in Limit Datalog Programs | DeepAI
Apr 25, 2018 - 04/25/18 - There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical la...
stratified negationlimitdatalogprogramsdeepai
https://deepai.org/publication/extended-magic-for-negation-efficient-demand-driven-evaluation-of-stratified-datalog-with-precise-complexity-guarantees
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise...
Sep 18, 2019 - 09/18/19 - Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-do...