A computer scientist working on Boolean satisfiability and automated planning, including SATPlan with Henry Kautz.
Primary profile: carlsaganinstitute.cornell.edu/bart-selman
Portrait of Bart Selman
. Photograph from Bart Selman’s Cornell University homepage. Source. Articles by others on the same topic
Bart Selman is a prominent computer scientist known for his work in artificial intelligence, particularly in areas such as machine learning, knowledge representation, and problem-solving. He is a professor at Cornell University and has contributed significantly to the fields of AI and machine learning, including research on algorithms for constraint satisfaction, the development of methods for understanding and reasoning about uncertainty, and advancements in automated planning and decision-making.