scientific article; zbMATH DE number 3980532

zbMATH Open0606.68087MaRDI QIDQ3745321FDOQ3745321

Authors:

Publication date: 1986

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

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

zbMATH Keywords

least fixpoint semanticslocality of definition problemskylight theoremsuccessful derivations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (3)

• A logico-algebraic approach to the model theory of knowledge
• Extending Horn clause logic with implication goals
• Title not available (Why is that?)

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)