Publications

Efficient Model Based Diagnosis with Maximum Satisfiability

AuthID
P-00K-1JB

Author(s)

Silva, JM

Janota, M

Ignatiev, A

Morgado, A

Editor(s)

Qiang Yang 0001; Michael Wooldridge

Document Type

Proceedings Paper

Year published

2015

Published

in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 in IJCAI, ISSN: 1045-0823

Volume: 2015-January, Pages: 1966-1972

Conference

24Th International Joint Conference on Artificial Intelligence, Ijcai 2015, Date: 25 July 2015 through 31 July 2015, Sponsors: Alibaba.com;Department of Computer Science and Engineering at Universidad Nacional del Sur;Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University;et al.;International Joint Conferences on Artificial Intelligence (IJCAI);Ministry of Science, Technology and Productive Innovation

Indexing