{"type":"ScholarlyArticle","title":"A Hole in Goal Trees: Some Guidance from Resolution Theory","authors":[{"name":"Donald W. Loveland","slug":"donald-w-loveland","given":"Donald W.","family":"Loveland","affiliation":""},{"name":"Mark E. Stickel","slug":"mark-e-stickel","given":"Mark E.","family":"Stickel","affiliation":""}],"abstract":"The representation power of goal-subgoal trees and the adequac y of this form of problem reduction i s considered. A number of inadequacie s in the classical form are illustrated, and two versions of a sy ntactic procedure incorporating extension s are given. Although the form of the correction s are s ugge s ted from re s olution theor y results, and the value of this connection emphasized, the paper di s cusses the goal tree for ma t and its extensions on an informal level.","doi":null,"url":"https://ijcai.org/proceedings/1973/21","pdf":"https://ijcai.org/proceedings/1973/0021.pdf","markdown":"https://ijcai.org/proceedings/1973/21.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/21","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving and Logic: 2","track":"Theorem Proving and Logic: 2","number":21,"pages":{"first":153,"last":160},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}