scientific article; zbMATH DE number 4185060
From MaRDI portal
Publication:5750427
zbMath0718.68070MaRDI QIDQ5750427
Oskar Dressler, Gerd Brewka, Michael Reinfrank
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A context for belief revision: forward chaining-normal nonmonotonic rule systems, On the relationship between TMS and logic programs, A rational reconstruction of nonmonotonic truth maintenance systems, A theory of nonmonotonic rule systems I, A framework for controlling model-based diagnosis systems with multiple actions, Annotated nonmonotonic rule systems, Truth maintenance systems and their application for verifying expert system knowledge bases, Logic programs, well-orderings, and forward chaining