{"type":"ScholarlyArticle","title":"A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming","authors":[{"name":"Alice Tarzariol","slug":"alice-tarzariol","given":"Alice","family":"Tarzariol","affiliation":"University of Klagenfurt , Austria"}],"abstract":"Writing correct models for combinatorial problems is relatively straightforward; however, they must be efficient to be usable with instances producing many solution candidates. \r\nIn this work, we aim to automatically generalise the discarding of symmetric solutions of Answer Set Programming instances, improving the efficiency of the programs with first-order constraints derived from propositional symmetry-breaking constraints.","doi":"10.24963/ijcai.2022/840","url":"https://ijcai.org/proceedings/2022/840","pdf":"https://ijcai.org/proceedings/2022/0840.pdf","markdown":"https://ijcai.org/proceedings/2022/840.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/840","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":840,"pages":{"first":5875,"last":5876},"keywords":["Machine Learning (ML): General","Knowledge Representation and Reasoning (KRR): General","Search and Optimization (SO): General"],"videos":[],"references":[{"position":1,"raw":"[Brewka et al., 2011] G. Brewka, T. Eiter, and M. Truszczyński. Answer set programming at a glance. Communications of the ACM, 54(12):92-103, 2011.","title":"Answer set programming at a glance","authors":"G Brewka, T Eiter, M Truszczyński","year":"2011","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Cohen et al., 2006] D. Cohen, P. Jeavons, C. Jefferson, K. Petrie, and B. Smith. Symmetry definitions for con- straint satisfaction problems. Constraints, 11(2-3):115- 137, 2006.","title":"Symmetry definitions for constraint satisfaction problems","authors":"D Cohen, P Jeavons, C Jefferson, K Petrie, B Smith","year":"2006","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cropper et al., 2020] A. Cropper, S. Dumančić, and S. Muggleton. Turning 30: New ideas in inductive logic programming. In 29th International Joint Conference on Artificial Intelligence, pages 4833-4839, 2020.","title":"Turning 30: New ideas in inductive logic programming","authors":"A Cropper, S Dumančić, S Muggleton","year":"2020","venue":"29th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2020/673"},{"position":4,"raw":"[Devriendt et al., 2016] J. Devriendt, B. Bogaerts, M. Bruynooghe, and M. Denecker. On local domain symmetry for model expansion. Theory and Practice of Logic Programming, 16(5-6):636-652, 2016.","title":"On local domain symmetry for model expansion","authors":"Devriendt","year":"2016","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Dodaro et al., 2016] C. Dodaro, P. Gasteiger, N. Leone, B. Musitsch, F. Ricca, and K. Schekotihin. Combining an- swer set programming and domain heuristics for solving hard industrial problems. Theory and Practice of Logic Programming, 16(5-6):653-669, 2016.","title":"Combining answer set programming and domain heuristics for solving hard industrial problems","authors":"C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Schekotihin","year":"2016","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Drescher et al., 2011] C. Drescher, O. Tifrea, and T. Walsh. Symmetry-breaking answer set solving. AI Communica- tions, 24(2):177-194, 2011.","title":"Symmetry-breaking answer set solving","authors":"C Drescher, O Tifrea, T Walsh","year":"2011","venue":"AI Communications","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Erdem et al., 2016] E. Erdem, M. Gelfond, and N. Leone. Applications of ASP. AI Magazine, 37(3):53-68, 2016.","title":"Applications of ASP","authors":"E Erdem, M Gelfond, N Leone","year":"2016","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Law et al., 2020] M. Law, A. Russo, and K. Broda. The ILASP system for inductive learning of answer set pro- grams. The Association for Logic Programming Newslet- ter, April 2020.","title":"The ILASP system for inductive learning of answer set programs","authors":"M Law, A Russo, K Broda","year":"2020","venue":"The Association for Logic Programming Newsletter","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Law et al., 2021] M. Law, A. Russo, and K. Broda. Ilasp. www.ilasp.com, 2021. Accessed: 2021-10-11.","title":"Ilasp. www.ilasp.com","authors":"M Law, A Russo, K Broda","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Mears et al., 2008] C. Mears, M. García de la Banda, M. Wallace, and B. Demoen. A novel approach for de- tecting symmetries in CSP models. In 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pages 158-172, 2008.","title":"A novel approach for detecting symmetries in CSP models","authors":"C Mears, M García De La Banda, M Wallace, B Demoen","year":"2008","venue":"5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Puget, 2005] J. Puget. Automatic detection of variable and value symmetries. In 11th International Conference on Principles and Practice of Constraint Programming, pages 475-489. Springer-Verlag, 2005.","title":"Automatic detection of variable and value symmetries","authors":"J Puget","year":"2005","venue":"11th International Conference on Principles and Practice of Constraint Programming","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Sakallah, 2009] K. Sakallah. Symmetry and satisfiability. In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Ar- tificial Intelligence and Applications, chapter 10, pages 289-338. IOS Press, 2009.","title":"Symmetry and satisfiability","authors":"K Sakallah","year":"2009","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Tarzariol et al., 2021] A. Tarzariol, M. Gebser, and K. Schekotihin. Lifting symmetry breaking constraints with inductive logic programming. In 30th International Joint Conference on Artificial Intelligence, 2021.","title":"Lifting symmetry breaking constraints with inductive logic programming","authors":"A Tarzariol, M Gebser, K Schekotihin","year":"2021","venue":"30th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2021/284"},{"position":14,"raw":"[Tarzariol et al., 2022] A. Tarzariol, M. Gebser, and K. Schekotihin. Lifting symmetry breaking constraints with inductive logic programming. Machine Learning, 2022.","title":"Lifting symmetry breaking constraints with inductive logic programming","authors":"A Tarzariol, M Gebser, K Schekotihin","year":"2022","venue":"Machine Learning","doi":null,"url":null,"internal_url":"/proceedings/2021/284"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}