Showing Image 64 items

51. Essential E

52. Operational reasoning and denotational semantics.

53. BAOBAB, a parser for a rule-based system using a semantic grammar

54. An overview of KRL, a Knowledge Representation Language

55. Towards a procedural understanding of semantics

56. Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes

57. Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes

58. Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes

59. Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes

60. Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes