scientific article; zbMATH DE number 3980532

MaRDI QIDQ3745321zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

least fixpoint semanticslocality of definition problemskylight theoremsuccessful derivations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Institutions for logic programming
• A Proof-Theoretic Approach to Logic Programming
• The well-founded semantics for general logic programs
• Unifying theories for logic programming
• scientific article; zbMATH DE number 4072431

Cited in

(3)

• A logico-algebraic approach to the model theory of knowledge
• Extending Horn clause logic with implication goals
• scientific article; zbMATH DE number 4011898 (Why is no real title available?)

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