Minimal founded semantics for disjunctive logic programs and deductive databases

DOI10.1017/S1471068403001704zbMATH Open1085.68018OpenAlexW2135819447MaRDI QIDQ4819005FDOQ4819005

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

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

zbMATH Keywords

semanticsdisjunctive logic programsminimal modelsstable modelsdisjunctive deductive databases

Mathematics Subject Classification ID

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

Cited In (5)

• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• Negation and minimality in disjunctive databases
• Computing only minimal answers in disjunctive deductive databases
• Title not available (Why is that?)
• Minimalism, justification and non-monotonicity in deductive databases

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)