<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/410> .
<http://cogprints.org/id/eprint/410> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://cogprints.org/id/eprint/410> <http://purl.org/dc/terms/title> "Circumscription - A Form of Non-Monotonic Reasoning"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/410> <http://purl.org/ontology/bibo/abstract> "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. "^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/410> <http://purl.org/dc/terms/date> "1980" .
<http://cogprints.org/id/document/10550> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://cogprints.org/id/eprint/410> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/nonPeerReviewed> .
<http://cogprints.org/id/eprint/410> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> .
<http://cogprints.org/id/eprint/410> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/410#authors> .
<http://cogprints.org/id/eprint/410#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> .
<http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> <http://xmlns.com/foaf/0.1/givenName> "John"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> <http://xmlns.com/foaf/0.1/familyName> "McCarthy"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-7ff7c3fb2b0651476fba450c35b4ac9f> <http://xmlns.com/foaf/0.1/name> "John McCarthy"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/410> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://cogprints.org/id/eprint/410> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/PreprintEPrint> .
<http://cogprints.org/id/eprint/410> <http://purl.org/dc/terms/isPartOf> <http://cogprints.org/id/repository> .
<http://cogprints.org/id/eprint/410> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/10550> .
<http://cogprints.org/id/document/10550> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/10550> <http://www.w3.org/2000/01/rdf-schema#label> "Circumscription - A Form of Non-Monotonic Reasoning (Postscript)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/10550> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/4706> .
<http://cogprints.org/id/document/10550> <http://eprints.org/relation/haspreviewThumbnailVersion> <http://cogprints.org/id/document/4706> .
<http://cogprints.org/id/document/10550> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/4706> .
<http://cogprints.org/id/document/10550> <http://eprints.org/ontology/hasFile> <http://cogprints.org/410/2/199801001.ps> .
<http://cogprints.org/id/document/10550> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/410/2/199801001.ps> .
<http://cogprints.org/410/2/199801001.ps> <http://www.w3.org/2000/01/rdf-schema#label> "199801001.ps"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/410> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://cogprints.org/410/> .
<http://cogprints.org/410/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #410 \n\nCircumscription - A Form of Non-Monotonic Reasoning\n\n" .
<http://cogprints.org/410/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://cogprints.org/410/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/410> .
<http://cogprints.org/id/subject/comp-sci-art-intel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/comp-sci-art-intel> <http://www.w3.org/2004/02/skos/core#prefLabel> "Artificial Intelligence" .
<http://cogprints.org/id/eprint/410> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/comp-sci-art-intel> .
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>