- A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details
|
|
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.details
|
|
The Logic of Decision and Action.Nicholas Rescher (ed.) - 1967 - University of Pittsburgh Press.details
|
|
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
An organization of knowledge for problem solving and language comprehension.Chuck Rieger - 1976 - Artificial Intelligence 7 (2):89-127.details
|
|
Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.details
|
|
On the Nature of Certain Philosophical Entities.Richard Montague - 1969 - The Monist 53 (2):159-194.details
|
|
Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.details
|
|
Planning and Acting.Drew McDermott - 1978 - Cognitive Science 2 (2):71-100.details
|
|
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.details
|
|
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details
|
|
Counterfactuals.David K. Lewis - 1973 - Malden, Mass.: Blackwell.details
|
|
Mental Models in Cognitive Science.P. N. Johnson-Laird - 1980 - Cognitive Science 4 (1):71-115.details
|
|
Modeling simultaneous actions and continuous processes.Gary G. Hendrix - 1973 - Artificial Intelligence 4 (3-4):145-180.details
|
|
The problem of counterfactual conditionals.Nelson Goodman - 1947 - Journal of Philosophy 44 (5):113-128.details
|
|
The Logic of Decision and Action. [REVIEW]K. Fine - 1970 - Philosophical Quarterly 20 (80):287.details
|
|
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.details
|
|
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.details
|
|
A common representation for problem-solving and language-comprehension information.Eugene Charniak - 1981 - Artificial Intelligence 16 (3):225-255.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
Temporal Logic.Nicholas Rescher & Alasdair Urquhart - 1971 - Philosophy of Science 42 (1):100-103.details
|
|
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.details
|
|
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.details
|
|
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
The Mind, Matter, and Models paper.M. Minsky - 1968 - In Marvin L. Minsky (ed.), Semantic Information Processing. MIT Press. pp. 227--270.details
|
|
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.details
|
|