automated reasoning systems / machinery / thorough search / natural language text data using tools / transportation logistics / car horn / car crash / authored software / physical systems / /
Organization
Team / /
Person
Andrew S. Gordon / Patrick Hayes / Jerry R. Hobbs / /