{"type":"ScholarlyArticle","title":"A Theorem Prover for Prioritized Circumscription","authors":[{"name":"Andrew B. Baker","slug":"andrew-b-baker","given":"Andrew B.","family":"Baker","affiliation":""},{"name":"Matthew L. Ginsberg","slug":"matthew-l-ginsberg","given":"Matthew L.","family":"Ginsberg","affiliation":""}],"abstract":"In a recent paper, Ginsberg shows how a backward-chaining A TMS can be used to construct a theorem prover for circumscription . Here , this work is extended to handle prioriti zed circumscription. The ideas to be described have been implemented , and examples are given of the system in use .","doi":null,"url":"https://ijcai.org/proceedings/1989/75","pdf":"https://ijcai.org/proceedings/1989/0075.pdf","markdown":"https://ijcai.org/proceedings/1989/75.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/75","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Deduction","track":"Automated Deduction","number":75,"pages":{"first":463,"last":466},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}