Switch to: Citations

Add references

You must login to add references.
  1. A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
  • Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   188 citations  
  • Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
    Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   237 citations  
  • The Logic of Decision and Action.Nicholas Rescher (ed.) - 1967 - University of Pittsburgh Press.
    The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   307 citations  
  • An organization of knowledge for problem solving and language comprehension.Chuck Rieger - 1976 - Artificial Intelligence 7 (2):89-127.
  • Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.
  • On the Nature of Certain Philosophical Entities.Richard Montague - 1969 - The Monist 53 (2):159-194.
    It has been maintained that we need not tolerate such entities as pains, events, tasks, and obligations. They are indeed not required in connection with sentences like ‘Jones has a pain’, ‘the event of the sun’s rising occurred at eight’, ‘Jones performed at eight the task of lifting a stone’, or ‘Jones has the obligation to give Smith a horse’, which can be paraphrased without reference to the entities in question—for instance, in the case of the second example, as ‘the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   115 citations  
  • Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.
  • Planning and Acting.Drew McDermott - 1978 - Cognitive Science 2 (2):71-100.
    A new theory of problem solving is presented, which embeds problem solving in the theory of action; in this theory, a problem is just a difficult action. Making this work requires a sophisticated language for‐talking about plans and their execution. This language allows a broad range of types of action, and can also be used to express rules for choosing and scheduling plans. To ensure flexibility, the problem solver consists of an interpreter driven by a theorem prover which actually manipulates (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
  • Counterfactuals.David K. Lewis - 1973 - Malden, Mass.: Blackwell.
    Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.
  • Mental Models in Cognitive Science.P. N. Johnson-Laird - 1980 - Cognitive Science 4 (1):71-115.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   84 citations  
  • Modeling simultaneous actions and continuous processes.Gary G. Hendrix - 1973 - Artificial Intelligence 4 (3-4):145-180.
  • The problem of counterfactual conditionals.Nelson Goodman - 1947 - Journal of Philosophy 44 (5):113-128.
  • The Logic of Decision and Action. [REVIEW]K. Fine - 1970 - Philosophical Quarterly 20 (80):287.
    The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
  • A common representation for problem-solving and language-comprehension information.Eugene Charniak - 1981 - Artificial Intelligence 16 (3):225-255.
  • Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
     
    Export citation  
     
    Bookmark   364 citations  
  • Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.
     
    Export citation  
     
    Bookmark   52 citations  
  • The logical form of action sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
  • Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.
    No categories
     
    Export citation  
     
    Bookmark   1224 citations  
  • The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
  • The Mind, Matter, and Models paper.M. Minsky - 1968 - In Marvin L. Minsky (ed.), Semantic Information Processing. MIT Press. pp. 227--270.
  • Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    No categories
     
    Export citation  
     
    Bookmark   238 citations