Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)

David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss. Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. pages 9770-9774, AAAI Press, 2019. [doi]

Abstract

Abstract is missing.