scientific article; zbMATH DE number 176532

MaRDI QIDQ4035698zbMATH OpenFDO

Authors Philippe Balbiani

Publication date 18 May 1993

zbMATH Keywords

declarative semanticslogic programming with negationmodal logicSLD- resolution

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

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

Cited in

(8)

• Logic programming and reasoning with incomplete information
• scientific article; zbMATH DE number 431928 (Why is no real title available?)
• scientific article; zbMATH DE number 92602 (Why is no real title available?)
• scientific article; zbMATH DE number 589685 (Why is no real title available?)
• Rules as actions: A situation calculus semantics for logic programs
• scientific article; zbMATH DE number 6863659 (Why is no real title available?)
• Modal provability foundations for negation by failure
• scientific article; zbMATH DE number 970713 (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 Q4035698)