scientific article; zbMATH DE number 4185060
From MaRDI portal
Publication:5750427
zbMATH Open0718.68070MaRDI QIDQ5750427FDOQ5750427
Oskar Dressler, Gerd Brewka, Michael Reinfrank
Publication date: 1989
Title of this publication is not available (Why is that?)
Cited In (9)
- 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
- 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
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)
