---
title: "A Theorem Prover for Prioritized Circumscription"
authors:
  - "Andrew B. Baker"
  - "Matthew L. Ginsberg"
doi: ""
url: "https://ijcai.org/proceedings/1989/75"
pdf: "https://ijcai.org/proceedings/1989/0075.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "463-466"
track: "Automated Deduction"
keywords:
---

# A Theorem Prover for Prioritized Circumscription

Andrew B. Baker, Matthew L. Ginsberg

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 463-466.

## 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 .