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 Selman, Bart
View the document Selman, Bart (Yi-Cheng Huang, Bart Selman and Henry Kautz) -- Learning Declarative Control Rules for Constraint-Based Planning - 2000
View the document Selman, Bart (Henry Kautz and Bart Selman) -- Speeding inference by acquiring new concepts - July 1992
View the document Selman, Bart (Bart Selman and Henry Kautz) -- Knowledge compilation using Horn approximations - August 1991