Raymond Reiter

1939

• An approach to deductive question-answering