scientific article; zbMATH DE number 4185060

zbMATH Open0718.68070MaRDI QIDQ5750427FDOQ5750427

Oskar Dressler, Gerd Brewka, Michael Reinfrank

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

non-monotonic logicautoepistemic logictruth maintenance systems

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (13)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• A rational reconstruction of nonmonotonic truth maintenance systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)