C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Artificial and Mathematical Theory of Computation
1991
1991
1991
Keyphrases
Publications
1991
Solomon Feferman
Proofs of Termination and the "91" Function.
Artificial and Mathematical Theory of Computation
(1991)
Carolyn L. Talcott
Binding Structures.
Artificial and Mathematical Theory of Computation
(1991)
Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday.
Artificial and Mathematical Theory of Computation
(1991)
Herbert Stoyan
The Influence of the Designer on the Design - J. McCarthy and LISP.
Artificial and Mathematical Theory of Computation
(1991)
Donald E. Knuth
Textbook Examples of Recursion.
Artificial and Mathematical Theory of Computation
(1991)
Masahiko Sato
An Abstraction Mechanism for Symbolic Expressions.
Artificial and Mathematical Theory of Computation
(1991)
Robert Cartwright
Lambda: the Ultimate Combinator.
Artificial and Mathematical Theory of Computation
(1991)
Richard W. Weyhrauch
The Incorrectness of the Bisection Algorithm.
Artificial and Mathematical Theory of Computation
(1991)
Jack Minker
,
Jorge Lobo
,
Arcot Rajasekar
Circumscription and Disjunctive Logic Programming.
Artificial and Mathematical Theory of Computation
(1991)
Raymond Reiter
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression.
Artificial and Mathematical Theory of Computation
(1991)
Yoav Shoham
Varieties of Context.
Artificial and Mathematical Theory of Computation
(1991)
Anthony C. Hearn
Algebraic Computation: The Quiet Revolution.
Artificial and Mathematical Theory of Computation
(1991)
Chris Goad
Metaprogramming at Work in Automated Manufacturing.
Artificial and Mathematical Theory of Computation
(1991)
R. Wm. Gosper
LISP + Calculus = Identities.
Artificial and Mathematical Theory of Computation
(1991)
Robert S. Boyer
,
David M. Goldschlag
,
Matt Kaufmann
,
J. Strother Moore
Functional Instantiation in First-Order Logic.
Artificial and Mathematical Theory of Computation
(1991)
John C. Mitchell
On the Equivalence of Data Representations.
Artificial and Mathematical Theory of Computation
(1991)
Jerome A. Feldman
Robots with Common Sense?
Artificial and Mathematical Theory of Computation
(1991)
Hector J. Levesque
Belief and Introspection.
Artificial and Mathematical Theory of Computation
(1991)
Takayasu Ito
LISP and Parallelism.
Artificial and Mathematical Theory of Computation
(1991)
Joseph Y. Halpern
,
Moshe Y. Vardi
Model Checking vs. Theorem Proving: A Manifesto.
Artificial and Mathematical Theory of Computation
(1991)
Hans P. Moravec
Caution! Robot Vehicle!
Artificial and Mathematical Theory of Computation
(1991)
Zohar Manna
,
Mark E. Stickel
,
Richard Waldinger
Monotonicity Properties in Automated Deduction.
Artificial and Mathematical Theory of Computation
(1991)
Robert E. Filman
Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real World.
Artificial and Mathematical Theory of Computation
(1991)
Peter K. Rathmann
,
Gio Wiederhold
Circumscription and Authority.
Artificial and Mathematical Theory of Computation
(1991)
Richmond H. Thomason
Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective.
Artificial and Mathematical Theory of Computation
(1991)
David J. Israel
A Short Sketch of the Life and Career of John McCarthy.
Artificial and Mathematical Theory of Computation
(1991)
Robert Kowalski
,
Jin-Sang Kim
A Metalogic Programming Approach to Multi-Agent Knowledge and Belief.
Artificial and Mathematical Theory of Computation
(1991)
Preface.
Artificial and Mathematical Theory of Computation
(1991)
Richard P. Gabriel
The Design of Parallel Programming Languages.
Artificial and Mathematical Theory of Computation
(1991)