Searching for authors named Donald Perlis – sorted by Relevance.
-
Circumscribing with sets
- Circumscribing with Sets Donald Perlis University of Maryland Department of Computer Science
- Cited by 10 (5 self) – Add To MetaCart
-
Commonsense set theory
- Commonsense Set Theory Donald Perlis University of Maryland Department of Computer Science College
- Cited by 6 (4 self) – Add To MetaCart
-
Autocircumscription
- AUTOCIRCUMSCRIPTION Donald Perlis Department of Computer Science and Institute for Advanced
- Cited by 1 (0 self) – Add To MetaCart
-
Languages with self-reference I: foundations
- in first-order logic!) Donald Perlis University of Maryland College Park, Maryland 20742 It is argued
- Cited by 56 (10 self) – Add To MetaCart
-
Consciousness as Self-Function
- Consciousness as Self-Function Donald Perlis Department of Computer Science and Institute
- Cited by 7 (1 self) – Add To MetaCart
-
Step-logics: An alternative approach to limited reasoning
- STEP-LOGICS: AN ALTERNATIVE APPROACH TO LIMITED REASONING Jennifer Drapkin and Donald Perlis
- Cited by 14 (7 self) – Add To MetaCart
-
Assessing Others' Knowledge and Ignorance
- and Department of Computer Science University of Maryland College Park, MD 20742 Donald Perlis y Department
- Cited by 1 (1 self) – Add To MetaCart
-
Computing Protected Circumscription
- 1 Computing Protected Circumscription Jack Minker and Donald Perlis 1 1,2 2 D 1 epartment
- Cited by 12 (3 self) – Add To MetaCart
-
Completeness results for circumscription
- Completeness Results for Circumscription Donald Perlis 1 and Jack Minker 1,2 MYDepartment
- Cited by 7 (4 self) – Add To MetaCart
-
Logic For A Lifetime
- was supported in part by NSF grant IRI9311988. LOGIC FOR A LIFETIME Donald Perlis Institute for Advanced
- Cited by 3 (2 self) – Add To MetaCart

