Brian Cantwell Smith

According to our database, Brian Cantwell Smith authored at least 15 papers between 1973 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

Limits of Correctness in Computers.

Brian Cantwell Smith

Proceedings of the Computerization and Controversy, 2nd Ed., 1996

On the origin of objects.

Brian Cantwell Smith

MIT Press, ISBN: 978-0-262-19363-4, 1996

1991

The Owl and the Electric Encyclopedia.

Brian Cantwell Smith

Artif. Intell., 1991

1986

Varieties of Self-Reference.

Brian Cantwell Smith

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1985

The limits of correctness.

Brian Cantwell Smith

SIGCAS Comput. Soc., 1985

Expert Systems: How Far Can They Go?

Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Reflection and Semantics in Lisp.

Brian Cantwell Smith

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

The Implementation of Procedurally Reflective Languages.

Jim des Rivières, Brian Cantwell Smith

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

Under What Conditions Can a Machine Attribute Meanings to Symbols.

Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Procedural reflection in programming languages.

Brian Cantwell Smith

PhD thesis, 1982

Linguistic and Computational Semantics.

Brian Cantwell Smith

Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, 1982

1977

Knowledge Representation.

Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1975

Towards a Programming Apprentice.

Karl E. Hewitt, Brian Cantwell Smith

IEEE Trans. Software Eng., 1975

1974

Behavioral semantics of nonrecursive control structures.

Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale

Proceedings of the Programming Symposium, 1974

1973

Actor Induction and Meta-Evaluation.

Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973