scientific article; zbMATH DE number 140420

zbMATH Open0765.68200MaRDI QIDQ4028833FDOQ4028833

Authors: Cees Witteveen 

Publication date: 28 March 1993

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Structure-driven algorithms for truth maintenance
• 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)