Carl Hewitt
Inconsistency robustness
Concurrent Systems for Knowledge Processing
Conference on Office Information Systems (Conference on Office Information Systems)
Crossovers
Description and theoretical analysis (using schemas) of Planner: a language for proving theorems and manipulating modelsin a robot
Medium's Diary
My Third Encounter with an Angel