scientific article; zbMATH DE number 7455714

MaRDI QIDQ5020972zbMATH OpenFDO

Authors Ridhwan Dewoprabowo, Ari Saptawijaya

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10243, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.20

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A core method for the weak completion semantics with skeptical abduction
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Abductive logic programming agents with destructive databases
• Global Computing
• scientific article; zbMATH DE number 1696874 (Why is no real title available?)
• scientific article; zbMATH DE number 1926614 (Why is no real title available?)
• scientific article; zbMATH DE number 1890621 (Why is no real title available?)
• Tabling for non-monotonic programming
• Tabling with answer subsumption: implementation, applications and performance
• The well-founded semantics for general logic programs
• XSB: extending Prolog with tabled logic programming

Cited in

(1)

• One-hot conversion: towards faster table-based A2B conversion

Describes a project that uses

Uses Software

• XSB

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 Q5020972)