{"type":"ScholarlyArticle","title":"A Basis For The Acquisition Of Procedures From Protocols","authors":[{"name":"M. Bauer","slug":"m-bauer","given":"M.","family":"Bauer","affiliation":""}],"abstract":"The problem of reconstructing a procedure from traces of its behavior is considered. A representation for procedures, including backtracking procedures, is described and a definition of a trace or protocol is presented. Algorithms for the construction of a procedure from a set of traces and for its correction using additional traces are described.","doi":null,"url":"https://ijcai.org/proceedings/1975/35","pdf":"https://ijcai.org/proceedings/1975/0035.pdf","markdown":"https://ijcai.org/proceedings/1975/35.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/35","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning Debugging And Automatic Programming","track":"Learning Debugging And Automatic Programming","number":35,"pages":{"first":226,"last":230},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}