scientific article; zbMATH DE number 1407680

MaRDI QIDQ4940935zbMATH OpenFDO

Authors Dietmar Seipel, Jack Minker, Carolina Ruiz

Publication date 28 February 2000

zbMATH Keywords

disjunctive deductive databases

Mathematics Subject Classification ID

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

Recommendations

• On the partial semantics for disjunctive deductive databases
• scientific article; zbMATH DE number 1114053
• scientific article; zbMATH DE number 25192
• Theory and algorithms for disjunctive deductive databases
• Computing only minimal answers in disjunctive deductive databases

Cited in

(8)

• Computing only minimal answers in disjunctive deductive databases
• Ordered model trees: A normal form for disjunctive deductive databases
• Theory and algorithms for disjunctive deductive databases
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• scientific article; zbMATH DE number 1416104 (Why is no real title available?)
• Complexity results for answer set programming with bounded predicate arities and implications
• Partial equilibrium logic
• Unfolding partiality and disjunctions in stable model semantics

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