scientific article; zbMATH DE number 757641

MaRDI QIDQ4833773zbMATH OpenFDO

Authors Catholijn M. Jonker

Publication date 23 May 1995

zbMATH Keywords

belief revisioncautious backtrackingdependency-directed backtrackingnonmonotonic logicnonmonotonic reasoningthree-valued semanticsTruth Maintenance Systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80) Knowledge representation (68T30)

Recommendations

• Publication:5750427
• A rational reconstruction of nonmonotonic truth maintenance systems
• scientific article; zbMATH DE number 140420
• scientific article; zbMATH DE number 1163571

Cited in

(7)

• A general framework for reason maintenance
• Truth maintenance systems and their application for verifying expert system knowledge bases
• Revision in ACMS
• scientific article; zbMATH DE number 140420 (Why is no real title available?)
• scientific article; zbMATH DE number 517023 (Why is no real title available?)
• scientific article; zbMATH DE number 1163571 (Why is no real title available?)
• scientific article; zbMATH DE number 4185060 (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 Q4833773)