McCarthy, John (1980) Circumscription - A Form of Non-Monotonic Reasoning. [Preprint]
Full text available as:
![[img]](../style/images/fileicons/application_postscript.png) |
Postscript
191Kb |
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.
| Item Type: | Preprint |
|---|---|
| Subjects: | Computer Science > Artificial Intelligence |
| ID Code: | 410 |
| Deposited By: | McCarthy, John |
| Deposited On: | 05 Feb 1998 |
| Last Modified: | 11 Mar 2011 08:53 |
Metadata
- ASCII Citation
- Atom
- BibTeX
- Dublin Core
- EP3 XML
- EPrints Application Profile (experimental)
- EndNote
- HTML Citation
- ID Plus Text Citation
- JSON
- METS
- MODS
- MPEG-21 DIDL
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Search Data Dump
- Simple Metadata
- YAML
Repository Staff Only: item control page
