SearchTitlesCreatorsDatesPhrases

A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Kautz, Henry
View the document Selman, Bart -- Knowledge compilation using Horn approximations - August 1991
View the document Kautz, Henry -- Speeding inference by acquiring new concepts - July 1992