scientific article; zbMATH DE number 4199657

zbMATH Open0726.68068MaRDI QIDQ3348439FDOQ3348439

Authors: E. A. Sonenberg, Rodney W. Topor 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Title not available (Why is that?)
• The expressive power of the bounded-iteration construct
• Domain-independent formulas and databases
• Weakly independent database schemes
• Title not available (Why is that?)
• Domain-independent queries on databases with external functions
• Title not available (Why is that?)
• 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)