scientific article; zbMATH DE number 65758

MaRDI QIDQ4010369zbMATH OpenFDO

Authors John Shepherdson

Publication date 27 September 1992

zbMATH Keywords

declarative semanticsHorn clause logicnegation as failurenon-classical logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Negation as failure. II
• scientific article; zbMATH DE number 879002
• scientific article; zbMATH DE number 4185011
• Modal Logic and Negation as Failure
• Negation as failure as resolution

Cited in

(35)

• Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Negation as failure as resolution
• A basis function approach to programming concurrent voting systems to perform selection tasks
• A sound and complete semantics for a version of negation as failure
• What is negation as failure?
• Modal Logic and Negation as Failure
• What is in a step: new perspectives on a classical question
• General failure of logic programs
• Comments on “general failure of logic programs”
• The consistency of negation as failure
• Negation as failure. II
• Negation as inconsistency. I
• scientific article; zbMATH DE number 4009854 (Why is no real title available?)
• scientific article; zbMATH DE number 4092826 (Why is no real title available?)
• scientific article; zbMATH DE number 4101148 (Why is no real title available?)
• A linear axiomatization of negation as failure
• scientific article; zbMATH DE number 92602 (Why is no real title available?)
• scientific article; zbMATH DE number 140387 (Why is no real title available?)
• A modal semantics for the negation as failure and the closed world assumption rules
• scientific article; zbMATH DE number 4128783 (Why is no real title available?)
• Negation as failure in the head
• Gentzen-style characterizations of negation as failure
• Success and failure for hereditary Harrop formulae
• scientific article; zbMATH DE number 589685 (Why is no real title available?)
• scientific article; zbMATH DE number 733397 (Why is no real title available?)
• Regular search spaces and constructive negation
• Reasoning about failure
• scientific article; zbMATH DE number 879002 (Why is no real title available?)
• scientific article; zbMATH DE number 935034 (Why is no real title available?)
• An alternate explanation of two BAN-logic ``failures
• A fixpoint semantics for reasoning about finite failure
• Description logics of minimal knowledge and negation as failure
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• Constructive semantics for instantaneous reactions

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