Computing minimum-cardinality diagnoses by model relaxation

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 1087-1092

  Siddiqi, Sajjad ^a  

^a NATIONAL UNIVERSITY OF SCIENCES AND TECHNOLOGY   (Pakistan)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK CIRCUIT; HIERARCHICAL APPROACH; NEW APPROACHES; SEARCH ALGORITHMS; SINGLE COMPONENTS; SPLITTING NODES; SUB-SYSTEMS;

ARTIFICIAL INTELLIGENCE;

ABSTRACTING;

EID: 84868269496     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-186     Document Type: Conference Paper

References (8)

1. Arthur Choi, Mark Chavira, and Adnan Darwiche. Node splitting: A scheme for generating upper bounds in Bayesian networks. In UAI, pages 57-66, 2007.
2. Adnan Darwiche. Decomposable negation normal form. Journal of the ACM, 48(4):608-647, 2001.
3. Adnan Darwiche. A differential approach to inference in Bayesian networks. Journal of the ACM, 50(3):280-305, 2003.
4. Knot Pipatsrisawat and Adnan Darwiche. Clone: Solving weighted Max-SAT in a reduced search space. In AI, pages 223-233, 2007.
5. R Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
6. Sajjad Siddiqi and Jinbo Huang. Hierarchical diagnosis of multiple faults. In IJCAI, pages 581-586, 2007.
7. Sajjad Siddiqi and Jinbo Huang. Variable and value ordering for MPE search. In IJCAI, pages 1964-1969, 2009.
8. Sajjad Siddiqi and Jinbo Huang. New advances in sequential diagnosis. In KR, pages 17-25, 2010.