Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning

Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace 0001. Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 8065-8072, AAAI Press, 2024. [doi]

Authors

Kevin Leo

This author has not been identified. Look up 'Kevin Leo' in Google

Graeme Gange

This author has not been identified. Look up 'Graeme Gange' in Google

Maria Garcia de la Banda

This author has not been identified. Look up 'Maria Garcia de la Banda' in Google

Mark Wallace 0001

This author has not been identified. Look up 'Mark Wallace 0001' in Google