{"type":"ScholarlyArticle","title":"Coco: Runtime Reasoning about Conflicting Commitments","authors":[{"name":"Nirav Ajmeri","slug":"nirav-ajmeri","given":"Nirav","family":"Ajmeri","affiliation":""},{"name":"Jiaming Jiang","slug":"jiaming-jiang","given":"Jiaming","family":"Jiang","affiliation":""},{"name":"Rada Chirkova","slug":"rada-chirkova","given":"Rada","family":"Chirkova","affiliation":""},{"name":"Jon Doyle","slug":"jon-doyle","given":"Jon","family":"Doyle","affiliation":""},{"name":"Munindar P. Singh","slug":"munindar-p-singh","given":"Munindar P.","family":"Singh","affiliation":""}],"abstract":"To interact effectively, agents must enter into commitments. What should an agent do when these commitments conflict? We describe Coco, an approach for reasoning about which specific commitments apply to specific parties in light of general types of commitments, specific circumstances, and dominance relations among specific commitments. Coco adapts answer-set programming to identify a maximal set of nondominated commitments. It provides a modeling language and tool geared to support practical applications.","doi":null,"url":"https://ijcai.org/proceedings/2016/10","pdf":"https://ijcai.org/proceedings/2016/0010.pdf","markdown":"https://ijcai.org/proceedings/2016/10.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/10","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":10,"pages":{"first":17,"last":22},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}