1. Diagnostic reasoning with A-Prolog
2. Chitta Baral , Sheila McIlraith , and Tran Cao Son . 2000 . Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing . In Proceedings of the International Conference on Principles of Knowledge and Representation and Reasoning (KR). 311–322 . Chitta Baral, Sheila McIlraith, and Tran Cao Son. 2000. Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing. In Proceedings of the International Conference on Principles of Knowledge and Representation and Reasoning (KR). 311–322.
3. The Complexity of Decentralized Control of Markov Decision Processes
4. Ronen I. Brafman and Carmel Domshlak. 2008. From One to Many: Planning for Loosely Coupled Multi-Agent Systems . In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). 28–35 . Ronen I. Brafman and Carmel Domshlak. 2008. From One to Many: Planning for Loosely Coupled Multi-Agent Systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). 28–35.