Switch to: Citations

Add references

You must login to add references.
  1. 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 ...
    Download  
     
    Export citation  
     
    Bookmark   189 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 (...)
    Download  
     
    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 ...
    Download  
     
    Export citation  
     
    Bookmark   306 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   634 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.
    Download  
     
    Export citation  
     
    Bookmark   499 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1280 citations  
  • Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.
    Download  
     
    Export citation  
     
    Bookmark   1267 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   406 citations  
  • Mental Models in Cognitive Science.P. N. Johnson-Laird - 1980 - Cognitive Science 4 (1):71-115.
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • The problem of counterfactual conditionals.Nelson Goodman - 1947 - Journal of Philosophy 44 (5):113-128.
    Download  
     
    Export citation  
     
    Bookmark   176 citations  
  • Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
    Download  
     
    Export citation  
     
    Bookmark   370 citations  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • An organization of knowledge for problem solving and language comprehension.Chuck Rieger - 1976 - Artificial Intelligence 7 (2):89-127.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A common representation for problem-solving and language-comprehension information.Eugene Charniak - 1981 - Artificial Intelligence 16 (3):225-255.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • The Mind, Matter, and Models paper.M. Minsky - 1968 - In Marvin Lee Minsky (ed.), Semantic Information Processing. MIT Press. pp. 227--270.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.
    Download  
     
    Export citation  
     
    Bookmark   34 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.
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 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.
    Download  
     
    Export citation  
     
    Bookmark   258 citations  
  • Modeling simultaneous actions and continuous processes.Gary G. Hendrix - 1973 - Artificial Intelligence 4 (3-4):145-180.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
    Download  
     
    Export citation  
     
    Bookmark   137 citations