{"type":"ScholarlyArticle","title":"Exploiting Symmetries by Planning for a Descriptive Quotient","authors":[{"name":"Mohammad Abdulaziz","slug":"mohammad-abdulaziz","given":"Mohammad","family":"Abdulaziz","affiliation":""},{"name":"Michael Norrish","slug":"michael-norrish","given":"Michael","family":"Norrish","affiliation":""},{"name":"Charles Gretton","slug":"charles-gretton","given":"Charles","family":"Gretton","affiliation":""}],"abstract":"We eliminate symmetry from a problem before searching for a plan. The planning problem with symmetries is decomposed into a set of isomorphic subproblems. One plan is computed for a small planning problem posed by a descriptive quotient, a description of any such subproblem. A concrete plan is synthesized by concatenating instantiations of that one plan for each subproblem. Our approach is sound.","doi":null,"url":"https://ijcai.org/proceedings/2015/212","pdf":"https://ijcai.org/proceedings/2015/0212.pdf","markdown":"https://ijcai.org/proceedings/2015/212.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/212","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning","track":"Main Track","number":212,"pages":{"first":1479,"last":1485},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}