SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

[1]  James K. Feibleman,et al.  Of Modal Logics , 1979 .

[2]  Herbert A. Simon,et al.  The Logic of Heuristic Decision Making , 1977 .

[3]  Jaakko Hintikka,et al.  Different Constructions in Terms of the Basic Epistemological Verbs , 1975 .

[4]  Leonard Linsky,et al.  Reference and modality , 1971 .

[5]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[6]  Jaakko Hintikka,et al.  The Modes of Modality , 1969 .

[7]  P. Frank,et al.  Boston Studies in the Philosophy of Science , 1968 .

[8]  Z. Manna.  FORMALIZATION OF PROPERTIES OF PROGRAMS , 1968 .

[9]  N. Belnap,et al.  The substitution interpretation of the quantifiers , 1968 .

[10]  R. A. Bull.  An Algebraic Study of Tense Logics with Linear Time , 1968, J. Symb. Log..

[11]  Z. Manna.  Termination of algorithms , 1968 .

[12]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[13]  D. Harrah.  Review: Lennart Aqvist, A New Approach to the Logical Theory of Interrogatives. Part I. Analysis , 1967, Journal of Symbolic Logic.

[14]  R. Chisholm.  He could have done otherwise , 1967 .

[15]  D. Bobrow,et al.  THE PROGRAMMING LANGUAGE LISP: ITS OPERATION AND APPLICATIONS, , 1967 .

[16]  J. Hintikka.  Individuals, Possible Worlds, and Epistemic Logic , 1967 .

[17]  C. O. Evans.  States, activities and performances , 1967 .

[18]  Jaakko Hintikka,et al.  A Program and a Set of Concepts for Philosophical Logic , 1967 .

[19]  Nicholas Rescher,et al.  The Logic of Commands , 1967 .

[20]  D. Harrah.  Communication : a logical model , 1966 .

[21]  Lawrence J. Fogel,et al.  Artificial Intelligence through Simulated Evolution , 1966 .

[22]  Herbert A. Simon,et al.  The Logic of Rational Decision , 1965 .

[23]  C. C. Taylor,et al.  States, Activities and Performances , 1965 .

[24]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[25]  H. Castañeda.  The Logic of Change, Action, and Norms , 1965 .

[26]  M. Cresswell.  The Logic of Interrogatives , 1965 .

[27]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[28]  R. Chisholm.  The Logic of Knowing , 1963 .

[29]  Ruth Barcan Marcus,et al.  Modal Logics I: Modalities and Intensional Languages , 1963 .

[30]  N. Belnap.  An analysis of questions , 1963 .

[31]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[32]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[33]  John McCarthy,et al.  Towards a Mathematical Science of Computation , 1962, IFIP Congress.

[34]  Marvin Minsky,et al.  Steps toward Artificial Intelligence , 1995, Proceedings of the IRE.

[35]  John McCarthy,et al.  Programs with common sense , 1960 .

[36]  Allen Newell,et al.  Report on a general problem-solving program , 1959, IFIP Congress.

[37]  Richard M. Friedberg,et al.  A Learning Machine: Part I , 1958, IBM J. Res. Dev..

[38]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[39]  E. Galanter,et al.  On thought: the extrinsic theory. , 1956, Psychological review.

[40]  Willard Van Orman Quine,et al.  From a Logical Point of View , 1955 .

[41]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[42]  Claude E. Shannon,et al.  Programming a computer for playing chess , 1950 .

[43]  Ruth C. Barcan.  A Functional calculus of first order based on strict implication , 1946, Journal of Symbolic Logic.

[44]  Ruth C. Barcan.  The deduction theorem in a functional calculus of first order based on strict implication , 1946, Journal of Symbolic Logic.

[45]  C. Lewis,et al.  A Survey Of Symbolic Logic , 1920 .

[46]  LONDON: HER MAJESTY'S STATIONERY OFFICE , 2022 .