Delegation of Computation, P-completeness of Linear Programming, and the many facets of the notion of a proof 11-30-2015
A Cognitive Architecture for Human-Robot Collaborations Based on Spatial, Temporal and Causal And-Or Graphs 11-16-2015