BLAH, a system which explains its reasoning

Logic and Conversation

1975 • 19,834 citations

Proceedings of the 19th International Joint Conference on Artificial Intelligence

2005 • 4,737 citations

A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS

1977 • 78 citations

The translation of formal proofs into English

1976 • 61 citations

AMORD: A Deductive Procedure System

1978 • 34 citations