%0 Journal Article
%T Knowledge Representation and Reasoning
%A H J Levesque
%J -
%D 1986
%R 10.1146/annurev.cs.01.060186.001351
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.01.060186.001351