On Reasoning by Default Raymond Reiter author 1978 text Theoretical Issues in Natural Language Processing-2 David L Waltz editor conference publication reiter-1978-reasoning-default https://aclanthology.org/T78-1030/ 1978