Bart Selman

URI: https://gptkb.org/entity/Bart_Selman
GPTKB entity
Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Toronto
gptkbp:awardReceived gptkb:AAAS_Fellow
gptkb:ACM_Fellow
gptkb:AAAI_Fellow
gptkbp:doctoralAdvisor gptkb:John_C._Platt
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:artificial_intelligence
computer science
https://www.w3.org/2000/01/rdf-schema#label Bart Selman
gptkbp:member gptkb:American_Association_for_the_Advancement_of_Science
gptkb:Association_for_Computing_Machinery
gptkb:Association_for_the_Advancement_of_Artificial_Intelligence
gptkbp:nationality Dutch
gptkbp:notableWork gptkb:knowledge_representation
probabilistic reasoning
SAT solving
constraint satisfaction
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:president gptkb:Association_for_the_Advancement_of_Artificial_Intelligence
gptkbp:spouse gptkb:Carla_P._Gomes
gptkbp:bfsParent gptkb:AAAI
gptkbp:bfsLayer 5