scientific article; zbMATH DE number 4185060

MaRDI QIDQ5750427zbMATH OpenFDO

Authors Michael Reinfrank, Oskar Dressler, Gerd Brewka

Publication date 1989

zbMATH Keywords

non-monotonic logicautoepistemic logictruth maintenance systems

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• A rational reconstruction of nonmonotonic truth maintenance systems
• Publication:5750424
• scientific article; zbMATH DE number 17802
• scientific article; zbMATH DE number 67479
• scientific article; zbMATH DE number 757641

Cited in

(14)

• scientific article; zbMATH DE number 517023 (Why is no real title available?)
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A theory of nonmonotonic rule systems I
• Logic programs, well-orderings, and forward chaining
• scientific article; zbMATH DE number 67479 (Why is no real title available?)
• scientific article; zbMATH DE number 4185058 (Why is no real title available?)
• A rational reconstruction of nonmonotonic truth maintenance systems
• Annotated nonmonotonic rule systems
• A framework for controlling model-based diagnosis systems with multiple actions
• On the relationship between TMS and logic programs
• Truth maintenance systems and their application for verifying expert system knowledge bases
• Special issue on methods for investigating self-referential truth
• scientific article; zbMATH DE number 140412 (Why is no real title available?)
• scientific article; zbMATH DE number 17802 (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 Q5750427)