scientific article; zbMATH DE number 176519

zbMATH Open0773.68043MaRDI QIDQ4035685FDOQ4035685

Authors: Vladislav Rutenburg 

Publication date: 18 May 1993

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

Recommendations

• Propositional truth maintenance systems: Classification and complexity analysis
• scientific article; zbMATH DE number 67479
• scientific article; zbMATH DE number 17802
• Structure-driven algorithms for truth maintenance
• A rational reconstruction of nonmonotonic truth maintenance systems

zbMATH Keywords

completenesstruth maintenance systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30)

Cited In (6)

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• The maximum clique interdiction problem
• Propositional truth maintenance systems: Classification and complexity analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Truth maintenance systems. ECAI '90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings

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