About: Bart Selman

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Dutch-American computer scientist

Property	Value
dbo:academicDiscipline	dbr:Artificial_intelligence
dbo:award	dbr:Association_for_Computing_Machinery dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:Sloan_Research_Fellowship dbr:American_Association_for_the_Advancement_of_Science
dbo:description	United States of America karimba ŋun nyɛ doo (dag) Amerikaans informaticus (nl) informaticien américain (fr) US-amerikanischer Informatiker (de) Dutch-American computer scientist (en) amerikai professzor, számítógéptudós (hu)
dbo:doctoralAdvisor	dbr:Hector_Levesque
dbo:wikiPageExternalLink	https://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.71.9439&rep=rep1&type=pdf http://www.cs.cornell.edu/selman/ http://www.cs.cornell.edu/selman/research.html
dbo:wikiPageWikiLink	dbc:Living_people dbr:United_States dbr:Statistical_physics dbr:Stuart_J._Russell dbr:Algorithm dbr:Artificial_intelligence dbr:Association_for_Computing_Machinery dbr:Computer_science dbr:Cornell_University dbr:Ethics dbr:National_Science_Foundation dbr:University_of_California,_Berkeley dbr:University_of_Toronto dbr:Nature_(journal) dbc:Dutch_computer_scientists dbc:Sloan_Research_Fellows dbr:Phase_transition dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:John_Hopcroft dbr:Sloan_Research_Fellowship dbr:Boolean_satisfiability_problem dbr:Henry_Kautz dbr:American_Association_for_the_Advancement_of_Science dbr:DARPA_Grand_Challenge dbr:Center_for_Human-Compatible_Artificial_Intelligence dbr:Science_(journal) dbr:Ryan_Williams_(computer_scientist) dbc:Year_of_birth_missing_(living_people) dbr:Prediction dbc:Artificial_intelligence_researchers dbr:Friendly_artificial_intelligence dbr:Eric_Horvitz dbr:Hector_Levesque dbr:Carla_Gomes dbc:University_of_Toronto_alumni dbc:Delft_University_of_Technology_alumni dbr:WalkSAT dbc:Cornell_University_faculty dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence dbr:Computing_Community_Consortium dbc:American_computer_scientists dbc:Scientists_at_Bell_Labs dbr:Knowledge_compilation dbr:AT&T_Bell_Laboratories dbr:American_Association_for_Artificial_Intelligence dbr:Technical_University_of_Delft dbr:Knowledge_representation dbr:Proceedings_of_the_National_Academy_of_Sciences dbr:Default_reasoning
dbp:awards	dbr:Sloan_Research_Fellowship (en) Fellow, Association for Computing Machinery (en) Fellow, American Association for the Advancement of Science (en) Fellow, Association for the Advancement of Artificial Intelligence (en)
dbp:doctoralAdvisor	dbr:Hector_Levesque
dbp:field	dbr:Artificial_intelligence
dbp:name	Bart Selman (en)
dbp:thesisTitle	Tractable Default Reasoning (en)
dbp:thesisUrl	https://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.71.9439&rep=rep1&type=pdf
dbp:thesisYear	1991 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Infobox_scientist dbt:Reflist dbt:Short_description dbt:Ubl dbt:Use_mdy_dates
dct:subject	dbc:Living_people dbc:Dutch_computer_scientists dbc:Sloan_Research_Fellows dbc:Year_of_birth_missing_(living_people) dbc:University_of_Toronto_alumni dbc:Delft_University_of_Technology_alumni dbc:Cornell_University_faculty dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence dbc:American_computer_scientists dbc:Scientists_at_Bell_Labs dbc:2012_fellows_of_the_Association_for_Computing_Machinery dbc:American_artificial_intelligence_researchers
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/53312277
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Bart Selman (en) Bart Selman (de) Bart Selman (sv)
owl:sameAs	http://viaf.org/viaf/53312277 freebase:Bart Selman yago-res:Bart Selman wikidata:Bart Selman dbpedia-de:Bart Selman dbpedia-sv:Bart Selman http://d-nb.info/gnd/114558523X https://dblp.org/pid/s/BartSelman dbpedia-global:Bart Selman
prov:wasDerivedFrom	wikipedia-en:Bart_Selman?oldid=1311496680&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Bart_Selman
foaf:name	Bart Selman (en)
is dbo:doctoralStudent of	dbr:Hector_Levesque
is dbo:wikiPageDisambiguates of	dbr:Selman
is dbo:wikiPageRedirects of	dbr:Bart_selman
is dbo:wikiPageWikiLink of	dbr:AI@50 dbr:Stuart_J._Russell dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Center_for_Human-Compatible_Artificial_Intelligence dbr:AI_alignment dbr:Selman dbr:Salman_(name) dbr:Artificial_intelligence_arms_race dbr:Hector_Levesque dbr:Carla_Gomes dbr:Symbolic_artificial_intelligence dbr:WalkSAT dbr:Neuro-symbolic_AI dbr:ICAART dbr:Bart_selman dbr:Existential_risk_from_artificial_general_intelligence dbr:Open_Letter_on_Artificial_Intelligence
is dbp:doctoralStudents of	dbr:Hector_Levesque
is foaf:primaryTopic of	wikipedia-en:Bart_Selman