Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles-Reference-Cited by-同舟云学术

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

Published:2005 Issue: Volume: Page:49-63
ISSN:0302-9743
Container-title:Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
language:
Short-container-title:

Author:

Bauer Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11493853_6.pdf

Reference24 articles.

1. Ali, M., Veneris, A., Safarpour, S., Abadir, M., Drechsler, R., Smith, A.: Debugging Sequential Circuits Using Boolean Satisfiability. In: 5th International Workshop on Microprocessor Test and Verification (MTV 2004), Austin (2004)

2. Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications, pp. 460–465

3. Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Tableaux for Diagnosis Applications. Technical Report 23–96, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz (1996)

4. Ben-Eliyahu-Zohary, R.: Yet some more complexity results for default logic. Artificial Intelligence 139(1), 1–20 (2002)

5. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM 5(7), 394–397 (1962)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model‐based diagnosis with uncertain observations;International Journal of Intelligent Systems;2021-04-07

2. Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers;International Journal on Software Tools for Technology Transfer;2009-11-10

3. A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis;Runtime Verification;2009