scientific article; zbMATH DE number 140412

MaRDI QIDQ4028824zbMATH OpenFDO

Authors William L. Rodi, Stephen G. Pimentel

Publication date 28 March 1993

zbMATH Keywords

Horn clauses generalized by negation as failuremultiple extensionsnonmonotonic justificationsstable basesstable model semantics

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A rational reconstruction of nonmonotonic truth maintenance systems
• Publication:5750427
• scientific article; zbMATH DE number 17802
• scientific article; zbMATH DE number 67479
• An assumption-based truth maintenance system dealing with non-ground justifications

Cited in

(11)

• Extending and implementing the stable model semantics
• A framework for controlling model-based diagnosis systems with multiple actions
• A rational reconstruction of nonmonotonic truth maintenance systems
• scientific article; zbMATH DE number 4104924 (Why is no real title available?)
• scientific article; zbMATH DE number 17802 (Why is no real title available?)
• scientific article; zbMATH DE number 67479 (Why is no real title available?)
• scientific article; zbMATH DE number 517023 (Why is no real title available?)
• An assumption-based truth maintenance system dealing with non-ground justifications
• scientific article; zbMATH DE number 4185058 (Why is no real title available?)
• Compromised updates in labelled databases
• Contributions to the stable model semantics of logic programs with negation

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 Q4028824)