scientific article; zbMATH DE number 7453118

MaRDI QIDQ5020560

K. Tuncay Tekle, Yanhong A. Liu

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08246

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Unnamed Item

Uses Software

• Potassco
• SWI-Prolog
• Binder
• DLV2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bottom-up evaluation and query optimization of well-founded models
• The generalized supplementary magic-sets transformation for stratified Datalog
• Founded semantics and constraint semantics of logic rules
• Magic sets for disjunctive Datalog programs
• On the declarative and procedural semantics of logic programs
• Maintenance of datalog materialisations revisited
• The ASP system DLV2
• SWI-Prolog
• On the power of magic
• Efficient bottom-up computation of queries on stratified databases
• The well-founded semantics for general logic programs
• Modular stratification and magic sets for Datalog programs with negation
• Tabled evaluation with delaying for general logic programs
• Transformation-based bottom-up computation of the well-founded model
• Computing the well-founded semantics faster

This page was built for publication: