scientific article; zbMATH DE number 140420

MaRDI QIDQ4028833zbMATH OpenFDO

Authors Cees Witteveen

Publication date 28 March 1993

zbMATH Keywords

belief revisionnonmonotonic truth maintenancethree-valued skeptical semantics

Mathematics Subject Classification ID

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

Recommendations

• Skeptical reason maintenance and belief revision
• A general framework for reason maintenance
• Justification for the next generation of maintenance modelling techniques
• scientific article; zbMATH DE number 4008083
• Reasoning credulously and skeptically within a single extension
• scientific article; zbMATH DE number 757641
• On the Maintenance of Systems Composed of Highly Reliable Components
• Estimating maintenance effort by analogy
• Maintenance commitments: conception, semantics, and coherence
• Skeptical rational extensions

Cited in

(6)

• Structure-driven algorithms for truth maintenance
• scientific article; zbMATH DE number 4176507 (Why is no real title available?)
• scientific article; zbMATH DE number 550000 (Why is no real title available?)
• scientific article; zbMATH DE number 1163571 (Why is no real title available?)
• scientific article; zbMATH DE number 757641 (Why is no real title available?)
• Resolution for skeptical stable model semantics

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