Minimal founded semantics for disjunctive logic programs and deductive databases

DOI10.1017/S1471068403001704MaRDI QIDQ4819005zbMATHOpenAlexFDO

Authors Filippo Furfaro, Gianluigi Greco, Sergio Greco

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068403001704

zbMATH Keywords

semanticsdisjunctive logic programsminimal modelsstable modelsdisjunctive deductive databases

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1453064
• scientific article; zbMATH DE number 25192
• Logic Programming
• scientific article; zbMATH DE number 5033761
• An alternative approach to the semantics of disjunctive logic programs and deductive databases

Cited in

(5)

• Computing only minimal answers in disjunctive deductive databases
• Negation and minimality in disjunctive databases
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• Minimalism, justification and non-monotonicity in deductive databases
• scientific article; zbMATH DE number 915921 (Why is no real title available?)

This page was built for publication: Minimal founded semantics for disjunctive logic programs and deductive databases

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