Circumscription Implies Predicate Completion (Sometimes)

Reiter. "Circumscription Implies Predicate Completion (Sometimes)." AAAI Conference on Artificial Intelligence, 1982.

[Reiter. "Circumscription Implies Predicate Completion (Sometimes)." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/reiter1982aaai-circumscription/)

@inproceedings{reiter1982aaai-circumscription,
  title     = {{Circumscription Implies Predicate Completion (Sometimes)}},
  author    = {Reiter, Raymond},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1982},
  pages     = {418-420},
  url       = {https://mlanthology.org/aaai/1982/reiter1982aaai-circumscription/}
}