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
• The expressive power of partial models for disjunctive deductive databases
• scientific article; zbMATH DE number 25192
• Theory and algorithms for disjunctive deductive databases
• Computing only minimal answers in disjunctive deductive databases

Cited in

(9)

• Computing only minimal answers in disjunctive deductive databases
• Ordered model trees: A normal form for disjunctive deductive databases
• On the partial semantics for disjunctive deductive databases
• Theory and algorithms for disjunctive deductive databases
• Complexity results for answer set programming with bounded predicate arities and implications
• Partial equilibrium logic
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• scientific article; zbMATH DE number 1416104 (Why is no real title available?)
• 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)