{"type":"ScholarlyArticle","title":"The Ins and Outs of Reason Maintenance","authors":[{"name":"Jon Doyle","slug":"jon-doyle","given":"Jon","family":"Doyle","affiliation":""}],"abstract":"To progre ss 8ignifi ca.nt. ly beyond current reason maintenance systems, we must formulat e their structure an d intended behavior precisely \"nough t.o :malyzc comp utational complexities and trad cotls independently of the c urr en t set, of limitcil implcmeotation propom1.ls. This pa per sum marizes one ::such formula.i.ion, and indi ca tes somt~ unsolved practical problems for investigation in future reason maintenance systems.","doi":null,"url":"https://ijcai.org/proceedings/1983/82","pdf":"https://ijcai.org/proceedings/1983/0082.pdf","markdown":"https://ijcai.org/proceedings/1983/82.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/82","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":82,"pages":{"first":349,"last":350},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}