| Year |  |
|---|
 |
| Event |
|---|
| 1975 |
Universal codeword sets
|
| 1975 |
Protection review
|
| 1975 |
Visual chip lead bonding
|
| 1975 |
Constraint propagation in circuits
|
| 1975 |
The Psychology of Computer Vision published
|
| 1975 |
A framework for representing knowledge published
|
| 1975 |
Specifying data types
|
| 1975 |
TCP/IP internet protocols |
| 1975 |
Elias elected to NAS
|
| 1976 |
Rabin wins Turing Award
|
| 1976 |
Macsyma consortium formed.
|
| 1976 |
Corbato elected to NAE
|
| 1976 |
Computer Power and Human Reason published
|
| 1976 |
Dynamic Logic
|
| 1976 |
First Emacs is operating.
|
| 1976 |
Probabilistic primality test
|
| 1976 |
Mutual exclusion for unreliable processes
|
| 1977 |
Explicit Control of Reasoning| Categories: | Artificial Intelligence, Decision Making, Knowledge-Based Systems, Planning, Uncertainty, Programming Languages, Programming Methodology and Design, Artificial Intelligence, Decision Making, Knowledge-Based Systems, Planning, Uncertainty, Programming Languages, Programming Methodology and Design, Artificial Intelligence, Decision Making, Knowledge-Based Systems, Planning, Uncertainty, Programming Languages, Programming Methodology and Design |
|
| 1977 |
Truth maintenance
|
| 1977 |
Honeywell-MIT collaboration ends.
|
| 1977 |
Proof Techniques for Message Passing Semantics
|
| 1977 |
Viewing Control Structures as Patterns of Passing Messages
|
| 1977 |
Futures
|
| 1977 |
Data abstraction in CLU
|
| 1977 |
The Telephone's First Century--and Beyond published
|
| 1977 |
Denotational Semantics published
|
| 1977 |
Linear-time string matching
|
| 1977 |
Distributed Garbage Collection
|
| 1977 |
Actors and Continuous Functionals
|
| 1977 |
First Macsyma user's conference.
|
| 1977 |
Dependency directed backtracking
|
| 1977 |
Message passing
|
| 1977 |
Star-shaped ring local area network
|
| 1977 |
Tagged token dataflow rules
|
| 1977 |
OWL knowledge representation language
|
