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: | 12 Sep 2007 17:27 |
Metadata
- HTML Citation
- ASCII Citation
- EPrints Application Profile (experimental)
- ID Plus Text Citation
- OpenURL ContextObject
- EndNote
- BibTeX
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Dublin Core
- Reference Manager
- Eprints Application Profile
- Simple Metadata
- Refer
- METS
- Search Data Dump
Repository Staff Only: item control page
