?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Circumscription+-+A+Form+of+Non-Monotonic+Reasoning&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.description=Humans+and+intelligent+computer+programs+must+often+jump+to+the+conclusion+that+the+objects+they+can+determine+to+have+certain+properties+or+relations+are+the+only+objects+that+do.+Circumscription+formalizes+such+conjectural+reasoning.+&rft.date=1980&rft.type=Preprint&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F410%2F2%2F199801001.ps&rft.identifier=++McCarthy%2C+John++(1980)+Circumscription+-+A+Form+of+Non-Monotonic+Reasoning.++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F410%2F