default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial and Mathematical Theory of Computation - Dedicated to John McCarthy on the Occasion of His 64th Birthday, 1991
- Vladimir Lifschitz:
Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. Academic Press / Elsevier 1991, ISBN 978-0-12-450010-5 - Preface. ix
- David J. Israel:
A Short Sketch of the Life and Career of John McCarthy. 1-5 - Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J Strother Moore:
Functional Instantiation in First-Order Logic. 7-26 - Robert Cartwright:
Lambda: the Ultimate Combinator. 27-46 - Solomon Feferman:
Proofs of Termination and the "91" Function. 47-63 - Jerome A. Feldman:
Robots with Common Sense? 65-72 - Robert E. Filman:
Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real World. 73-89 - Richard P. Gabriel:
The Design of Parallel Programming Languages. 91-108 - Chris Goad:
Metaprogramming at Work in Automated Manufacturing. 109-128 - R. Wm. Gosper:
LISP + Calculus = Identities. 129-149 - Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. 151-176 - Anthony C. Hearn:
Algebraic Computation: The Quiet Revolution. 177-186 - Takayasu Ito:
LISP and Parallelism. 187-206 - Donald E. Knuth:
Textbook Examples of Recursion. 207-229 - Robert Kowalski, Jin-Sang Kim:
A Metalogic Programming Approach to Multi-Agent Knowledge and Belief. 231-246 - Hector J. Levesque:
Belief and Introspection. 247-260 - Zohar Manna, Mark E. Stickel, Richard Waldinger:
Monotonicity Properties in Automated Deduction. 261-280 - Jack Minker, Jorge Lobo, Arcot Rajasekar:
Circumscription and Disjunctive Logic Programming. 281-304 - John C. Mitchell:
On the Equivalence of Data Representations. 305-329 - Hans P. Moravec:
Caution! Robot Vehicle! 331-343 - Peter K. Rathmann, Gio Wiederhold:
Circumscription and Authority. 345-358 - Raymond Reiter:
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. 359-380 - Masahiko Sato:
An Abstraction Mechanism for Symbolic Expressions. 381-391 - Yoav Shoham:
Varieties of Context. 393-407 - Herbert Stoyan:
The Influence of the Designer on the Design - J. McCarthy and LISP. 409-426 - Carolyn L. Talcott:
Binding Structures. 427-448 - Richmond H. Thomason:
Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective. 449-466 - Richard W. Weyhrauch:
The Incorrectness of the Bisection Algorithm. 467-468
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
