scientific article; zbMATH DE number 92602

MaRDI QIDQ4018068zbMATH OpenFDO

Authors Philippe Balbiani

Publication date 16 January 1993

zbMATH Keywords

provabilitysemantics of logic programming with negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Modal provability foundations for negation by failure
• Modal Logic and Negation as Failure
• scientific article; zbMATH DE number 431928
• scientific article; zbMATH DE number 176532
• scientific article; zbMATH DE number 65758

Cited in

(13)

• MOLOG: A system that extends PROLOG with modal logic
• A logical semantics for depth-first Prolog with ground negation
• A semantics for conditionals with default negation
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Negation in the light of modal logic
• From here to there: Stable negation in logic programming
• scientific article; zbMATH DE number 431928 (Why is no real title available?)
• scientific article; zbMATH DE number 6863659 (Why is no real title available?)
• SOME MODEL THEORY OF GUARDED NEGATION
• scientific article; zbMATH DE number 1453065 (Why is no real title available?)
• Modal provability foundations for negation by failure
• A rewrite mechanism for logic programs with negation
• Contributions to the stable model semantics of logic programs with negation

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