Tableaux for diagnosis applications

DOI10.1007/BFb0027406zbMath1412.68206OpenAlexW1749992561MaRDI QIDQ4610316

Peter Fröhlich, Peter Baumgartner, Wolfgang Nejdl, Ulrich Furbach

Publication date: 15 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0027406

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Related Items

On First-Order Model-Based Reasoning, Theorem proving techniques for view deletion in databases, Blocking and other enhancements for bottom-up model generation methods, A Tableau Calculus for Minimal Modal Model Generation, Set of support, demodulation, paramodulation: a historical perspective

Uses Software

• SATCHMO

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Hyper tableaux
• Unnamed Item
• Unnamed Item