{"type":"ScholarlyArticle","title":"Truth Maintenance Systems for Problem Solving","authors":[{"name":"Jon Doyle","slug":"jon-doyle","given":"Jon","family":"Doyle","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1977/53","pdf":"https://ijcai.org/proceedings/1977/0053.pdf","markdown":"https://ijcai.org/proceedings/1977/53.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/53","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":53,"pages":{"first":247,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}