David J. Israel  Home/Search
Context
Related
| sri.com/pubs/papers/Is...document.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~sra/People/Ghi/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper has been made possible by a gift from the System Development Foundation and was conducted as part of a coordinated research effort with the Center for the Study of Language and Information, Stanford University 30 References (Update)
Active bibliography (related documents): More All
0.2: Walking through the Semantics of Frame-Based Description.. - Cattoni, Franconi (1990) (Correct)
0.2: Inheritance Reasoning and Head-Driven Phrase Structure Grammar - Vogel (1990) (Correct)
0.2: An Ontology of Meta-Level Categories - Guarino (1994) (Correct)
Similar documents based on text: More All
0.1: Reasoned Assumptions and Rational Psychology - Doyle (1994) (Correct)
0.1: Nonmonotonity in Linguistics - Is Ti Cs (Correct)
0.0: Causation As A Secondary Quality - Menzies, Price (1993) (Correct)
BibTeX entry: (Update)
@misc{ israel-roles,
author = "David Israel",
title = "The Role(s) of Logic in Artificial Intelligence",
url = "citeseer.ist.psu.edu/45218.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
458 A theory of diagnosis from first principles (context) - Reiter - 1987
343 Introduction to Metamathematics (context) - Kleene - 1952
224 Preferential Models and Cumulative Logics (context) - Kraus, Magidor - 1990
160 Programs with Common Sense - McCarthy - 1968
116 Ideas and Results in Proof Theory (context) - Prawitz - 1973
105 Theoretical foundations for non-monotonic reasoning in exper.. (context) - Gabbay - 1985
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
46 Massachusetts Institute of Technology (context) - Smith, Semantics et al. - 1982
42 The logic of frames (context) - Hayes - 1979
28 Many-valued Logic (context) - Urquhart - 1984
10 A calculus for inheritance in monotonic semantic nets (context) - Thomason, Touretsky - 1986
4 On interpreting network formalisms (context) - Israel - 1983
1 Oxford University Press (context) - Kneale, Kneale et al. - 1962
Documents on the same site (http://www.cs.bham.ac.uk/~sra/People/Ghi/Israel/): More
Plans And Resource-Bounded Practical Reasoning - Bratman, Israel, Pollack (1988) (Correct)
Incremental and Reflexive Information - Elwood Lies (Correct)
Executions, Motivations and Accomplishments - Israel, Perry, Tutiya (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC