scientific article; zbMATH DE number 4199657

MaRDI QIDQ3348439zbMATH OpenFDO

Authors E. A. Sonenberg, Rodney W. Topor

Publication date 1988

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4064539
• Domain-independent formulas and databases
• Syntactical characterization of a subset of domain-independent formulas
• Domain independence and the relational calculus
• scientific article; zbMATH DE number 4126721

Cited in

(9)

• The expressive power of the bounded-iteration construct
• scientific article; zbMATH DE number 4126721 (Why is no real title available?)
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Domain-independent formulas and databases
• Weakly independent database schemes
• scientific article; zbMATH DE number 2061713 (Why is no real title available?)
• Domain-independent queries on databases with external functions
• scientific article; zbMATH DE number 4064539 (Why is no real title available?)
• Syntactical characterization of a subset of domain-independent formulas

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