Minimal founded semantics for disjunctive logic programs and deductive databases

DOI10.1017/S1471068403001704MaRDI QIDQ4819005zbMATH OpenOpenAlexFDO

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

disjunctive deductive databasesdisjunctive logic programsminimal modelssemanticsstable models

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

(7)

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

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)