25,161
edits
Changes
Created page with "'''Home * People * Bart Selman''' FILE:bartselman.jpg|border|right|thumb|link=https://www.linkedin.com/in/bart-selman-33a114| Bart Selman <ref>[https://ww..."
'''[[Main Page|Home]] * [[People]] * Bart Selman'''
[[FILE:bartselman.jpg|border|right|thumb|link=https://www.linkedin.com/in/bart-selman-33a114| Bart Selman <ref>[https://www.linkedin.com/in/bart-selman-33a114 Bart Selman | LinkedIn]</ref> ]]
'''Bart Selman''',<br/>
an American computer scientist with Dutch roots, and professor at [https://en.wikipedia.org/wiki/Cornell_University Cornell University], previously [[Artificial Intelligence|AI]] researcher at [[Bell Laboratories|AT&T Bell Laboratories]]. His research interests include [https://en.wikipedia.org/wiki/Computational_sustainability computational sustainability], [https://en.wikipedia.org/wiki/Automated_reasoning efficient reasoning procedures], [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SAT solvers], [[Planning|planning]], [[Knowledge|knowledge representation]], and connections between [https://en.wikipedia.org/wiki/Computer_science computer science] and [https://en.wikipedia.org/wiki/Statistical_physics statistical physics] <ref>[http://www.cs.cornell.edu/selman/bio.html Bart Selman's Home Page - Bio]</ref>. He holds a B.Sc. in physics from [[Delft University of Technology]] in 1983, and a M.Sc. and Ph.D. in CS both from [[University of Toronto]] in 1985 and 1991 respectively. Along with [[Raghuram Ramanujan]] and [[Ashish Sabharwal]], Bart Selman researched and published on properties of adversarial search spaces that play a key role in the success or failure of [[UCT]] and similar sampling-based approaches <ref>[[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2010'''). ''[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458 On Adversarial Search Spaces and Sampling-Based Planning]''. [http://www.aaai.org/Press/Proceedings/icaps10.php ICAPS 2010]</ref>.
=Selected Publications=
<ref>[http://dblp.uni-trier.de/pers/hd/s/Selman:Bart dblp: Bart Selman]</ref> <ref>[http://www.cs.cornell.edu/selman/papers/ Papers by Bart Selman]</ref>
==1990 ...==
* [[Bart Selman]] ('''1991'''). ''Tractable Default Reasoning''. Ph.D. thesis, [[University of Toronto]], advisor: [[Mathematician#HLevesque|Hector Levesque]], [http://www.cs.cornell.edu/home/selman/papers-ftp/thesis.selman.ps ps]
* [[Bart Selman]], [[Mathematician#HLevesque|Hector Levesque]], [https://www.cs.sfu.ca/~mitchell/ David G. Mitchell] ('''1992'''). ''A New Method for Solving Hard Satisfiability Problems''. [[AAAI|AAAI 1992]], [http://www.cs.cornell.edu/selman/papers/pdf/92.aaai.gsat.pdf pdf]
* [https://www.cs.sfu.ca/~mitchell/ David G. Mitchell], [[Bart Selman]], [[Mathematician#HLevesque|Hector Levesque]] ('''1992'''). ''Hard and Easy Distributions of SAT Problems''. [[AAAI|AAAI 1992]], [https://www.aaai.org/Papers/AAAI/1992/AAAI92-071.pdf pdf]
* [[Bart Selman]] ('''1995'''). ''Stochastic Search and Phase Transitions: AI Meets Physics''. [[Conferences#IJCAI1995|IJCAI-95]], [http://www.cs.cornell.edu/selman/compute/95ijcai/ijcai95aiphys.pdf pdf]
* [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[Bart Selman]] ('''1996'''). ''Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search''. [[AAAI|AAAI 1996]], [http://www.cs.cornell.edu/selman/papers/pdf/plan.pdf pdf]
* [[Bart Selman]], [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[David McAllester]] ('''1997'''). ''Ten Challenges in Propositional Reasoning and Search''. [[Conferences#IJCAI1997|IJCAI-97]], [http://ijcai.org/Past%20Proceedings/IJCAI-97-VOL1/PDF/009.pdf pdf]
==2000 ...==
* [[Bart Selman]] ('''2000'''). ''Compute-intensive Methods in Artificial Intelligence''. [http://dblp.uni-trier.de/db/journals/amai/amai28.html#Selman00 Annals of Mathematics and Artificial Intelligence, Vol. 28, Nos. 1-4], [http://www.cs.cornell.edu/selman/papers/pdf/00.mathai.compute.pdf pdf]
* [http://www.cs.cornell.edu/gomes/ Carla P. Gomes], [http://dblp.uni-trier.de/pers/hd/f/Fern=aacute=ndez:C=egrave=sar Cèsar Fernández], [[Bart Selman]], [http://dblp.uni-trier.de/pers/hd/b/Bessiere:Christian Christian Bessière] ('''2004'''). ''Statistical Regimes Across Constrainedness Regions''. [http://dblp.uni-trier.de/db/conf/cp/cp2004.html#GomesFSB04 CP 2004], [http://www.cs.cornell.edu/selman/papers/pdf/04.cp.stat-regimes.pdf pdf]
* [http://www.cs.cornell.edu/gomes/ Carla P. Gomes], [[Ashish Sabharwal]], [[Bart Selman]] ('''2006'''). ''Model Counting: A New Strategy for Obtaining Good Bounds''. [[AAAI|AAAI 2006]], [https://www.cs.ubc.ca/~hutter/EARG.shtml/earg/papers06/xorCountingAAAI06.pdf pdf], [http://www.cs.cornell.edu/gomes/TALKS/xorCountingAAAI06-1.pdf slides as pdf]
* [http://www.cs.cornell.edu/~kroc/ Lukas Kroc], [[Ashish Sabharwal]], [[Bart Selman]] ('''2008, 2011'''). ''[http://link.springer.com/article/10.1007%2Fs10479-009-0680-7 Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting]''. [http://dblp.uni-trier.de/db/conf/cpaior/cpaior2008.html#KrocSS08 CPAIOR 2008], [http://dblp.uni-trier.de/db/journals/anor/anor184.html#KrocSS11 Annals of Operations Research, Vol. 184]
==2010 ...==
* [[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2010'''). ''[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458 On Adversarial Search Spaces and Sampling-Based Planning]''. [http://www.aaai.org/Press/Proceedings/icaps10.php ICAPS 2010] <ref>[http://www.talkchess.com/forum/viewtopic.php?t=66125 Search traps in MCTS and chess] by [[Daniel Shawul]], [[CCC]], December 25, 2017</ref>
* [[Raghuram Ramanujan]], [[Bart Selman]] ('''2011'''). ''[http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2708 Trade-Offs in Sampling-Based Adversarial Planning]''. [http://www.aaai.org/Press/Proceedings/icaps11.php ICAPS 2011], [http://videolectures.net/raghuram_ramanujan/ best paper], [http://videolectures.net/icaps2011_ramanujan_sampling/ VideoLecture]
* [http://arxiv.org/find/cs/1/au:+Ermon_S/0/1/0/all/0/1 Stefano Ermon], [http://arxiv.org/find/cs/1/au:+Conrad_J/0/1/0/all/0/1 Jon Conrad], [http://arxiv.org/find/cs/1/au:+Gomes_C/0/1/0/all/0/1 Carla P. Gomes], [[Bart Selman]] ('''2012'''). ''Playing games against nature: optimal policies for renewable resource allocation''. [http://arxiv.org/abs/1203.3478 arXiv:1203.3478]
* [[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2012'''). ''Understanding Sampling Style Adversarial Search Methods''. [http://arxiv.org/abs/1203.4011 arXiv:1203.4011]
=External Links=
* [http://www.cs.cornell.edu/selman/ Bart Selman's Home Page]
* [http://www.cs.cornell.edu/home/selman/ Bart Selman's older Home Page]
* [https://www.cs.cornell.edu/annual_report/1997/selman.htm Bart Selman - Annual report 1997]
* [https://en.wikipedia.org/wiki/Bart_Selman Bart Selman from Wikipedia]
* [https://www.linkedin.com/in/bart-selman-33a114 Bart Selman | LinkedIn]
* [https://scholar.google.com/citations?user=pJ28HA0AAAAJ&hl=en Bart Selman - Google Scholar Citations]
* [http://computational-sustainability.cis.cornell.edu/news/pages/2014-10-01-gates.php Bill Gates Visit Oct 2014: NSF Expeditions in Computing: Computational Sustainability], [http://computational-sustainability.cis.cornell.edu/about.php ICS], October 2014
* [http://computational-sustainability.cis.cornell.edu/news.php#news_2015_04_02_ijcai Bart Selman wins IJCAI John McCarthy Research Award], [http://computational-sustainability.cis.cornell.edu/about.php ICS], April 02, 2015
* [http://bti.cornell.edu/news/jonathan-gomes-selman-explores-the-power-of-computer-science/ Jonathan Gomes Selman explores the power of computer science] by [http://www.patriciawaldron.com/ Patricia Waldron], [https://en.wikipedia.org/wiki/Boyce_Thompson_Institute_for_Plant_Research Boyce Thompson Institute], August 17, 2015
* [http://blogs.discovermagazine.com/crux/2016/01/27/artificial-intelligence-go-game/ Artificial Intelligence Just Mastered Go, But One Game Still Gives AI Trouble] by [https://www.linkedin.com/in/carl-engelking-56066714 Carl Engelking], [http://blogs.discovermagazine.com/crux/ The Crux], January 27, 2016 » [[AlphaGo]], [[Poker]], [[Jonathan Schaeffer]]
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:bartselman.jpg|border|right|thumb|link=https://www.linkedin.com/in/bart-selman-33a114| Bart Selman <ref>[https://www.linkedin.com/in/bart-selman-33a114 Bart Selman | LinkedIn]</ref> ]]
'''Bart Selman''',<br/>
an American computer scientist with Dutch roots, and professor at [https://en.wikipedia.org/wiki/Cornell_University Cornell University], previously [[Artificial Intelligence|AI]] researcher at [[Bell Laboratories|AT&T Bell Laboratories]]. His research interests include [https://en.wikipedia.org/wiki/Computational_sustainability computational sustainability], [https://en.wikipedia.org/wiki/Automated_reasoning efficient reasoning procedures], [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SAT solvers], [[Planning|planning]], [[Knowledge|knowledge representation]], and connections between [https://en.wikipedia.org/wiki/Computer_science computer science] and [https://en.wikipedia.org/wiki/Statistical_physics statistical physics] <ref>[http://www.cs.cornell.edu/selman/bio.html Bart Selman's Home Page - Bio]</ref>. He holds a B.Sc. in physics from [[Delft University of Technology]] in 1983, and a M.Sc. and Ph.D. in CS both from [[University of Toronto]] in 1985 and 1991 respectively. Along with [[Raghuram Ramanujan]] and [[Ashish Sabharwal]], Bart Selman researched and published on properties of adversarial search spaces that play a key role in the success or failure of [[UCT]] and similar sampling-based approaches <ref>[[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2010'''). ''[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458 On Adversarial Search Spaces and Sampling-Based Planning]''. [http://www.aaai.org/Press/Proceedings/icaps10.php ICAPS 2010]</ref>.
=Selected Publications=
<ref>[http://dblp.uni-trier.de/pers/hd/s/Selman:Bart dblp: Bart Selman]</ref> <ref>[http://www.cs.cornell.edu/selman/papers/ Papers by Bart Selman]</ref>
==1990 ...==
* [[Bart Selman]] ('''1991'''). ''Tractable Default Reasoning''. Ph.D. thesis, [[University of Toronto]], advisor: [[Mathematician#HLevesque|Hector Levesque]], [http://www.cs.cornell.edu/home/selman/papers-ftp/thesis.selman.ps ps]
* [[Bart Selman]], [[Mathematician#HLevesque|Hector Levesque]], [https://www.cs.sfu.ca/~mitchell/ David G. Mitchell] ('''1992'''). ''A New Method for Solving Hard Satisfiability Problems''. [[AAAI|AAAI 1992]], [http://www.cs.cornell.edu/selman/papers/pdf/92.aaai.gsat.pdf pdf]
* [https://www.cs.sfu.ca/~mitchell/ David G. Mitchell], [[Bart Selman]], [[Mathematician#HLevesque|Hector Levesque]] ('''1992'''). ''Hard and Easy Distributions of SAT Problems''. [[AAAI|AAAI 1992]], [https://www.aaai.org/Papers/AAAI/1992/AAAI92-071.pdf pdf]
* [[Bart Selman]] ('''1995'''). ''Stochastic Search and Phase Transitions: AI Meets Physics''. [[Conferences#IJCAI1995|IJCAI-95]], [http://www.cs.cornell.edu/selman/compute/95ijcai/ijcai95aiphys.pdf pdf]
* [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[Bart Selman]] ('''1996'''). ''Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search''. [[AAAI|AAAI 1996]], [http://www.cs.cornell.edu/selman/papers/pdf/plan.pdf pdf]
* [[Bart Selman]], [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[David McAllester]] ('''1997'''). ''Ten Challenges in Propositional Reasoning and Search''. [[Conferences#IJCAI1997|IJCAI-97]], [http://ijcai.org/Past%20Proceedings/IJCAI-97-VOL1/PDF/009.pdf pdf]
==2000 ...==
* [[Bart Selman]] ('''2000'''). ''Compute-intensive Methods in Artificial Intelligence''. [http://dblp.uni-trier.de/db/journals/amai/amai28.html#Selman00 Annals of Mathematics and Artificial Intelligence, Vol. 28, Nos. 1-4], [http://www.cs.cornell.edu/selman/papers/pdf/00.mathai.compute.pdf pdf]
* [http://www.cs.cornell.edu/gomes/ Carla P. Gomes], [http://dblp.uni-trier.de/pers/hd/f/Fern=aacute=ndez:C=egrave=sar Cèsar Fernández], [[Bart Selman]], [http://dblp.uni-trier.de/pers/hd/b/Bessiere:Christian Christian Bessière] ('''2004'''). ''Statistical Regimes Across Constrainedness Regions''. [http://dblp.uni-trier.de/db/conf/cp/cp2004.html#GomesFSB04 CP 2004], [http://www.cs.cornell.edu/selman/papers/pdf/04.cp.stat-regimes.pdf pdf]
* [http://www.cs.cornell.edu/gomes/ Carla P. Gomes], [[Ashish Sabharwal]], [[Bart Selman]] ('''2006'''). ''Model Counting: A New Strategy for Obtaining Good Bounds''. [[AAAI|AAAI 2006]], [https://www.cs.ubc.ca/~hutter/EARG.shtml/earg/papers06/xorCountingAAAI06.pdf pdf], [http://www.cs.cornell.edu/gomes/TALKS/xorCountingAAAI06-1.pdf slides as pdf]
* [http://www.cs.cornell.edu/~kroc/ Lukas Kroc], [[Ashish Sabharwal]], [[Bart Selman]] ('''2008, 2011'''). ''[http://link.springer.com/article/10.1007%2Fs10479-009-0680-7 Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting]''. [http://dblp.uni-trier.de/db/conf/cpaior/cpaior2008.html#KrocSS08 CPAIOR 2008], [http://dblp.uni-trier.de/db/journals/anor/anor184.html#KrocSS11 Annals of Operations Research, Vol. 184]
==2010 ...==
* [[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2010'''). ''[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1458 On Adversarial Search Spaces and Sampling-Based Planning]''. [http://www.aaai.org/Press/Proceedings/icaps10.php ICAPS 2010] <ref>[http://www.talkchess.com/forum/viewtopic.php?t=66125 Search traps in MCTS and chess] by [[Daniel Shawul]], [[CCC]], December 25, 2017</ref>
* [[Raghuram Ramanujan]], [[Bart Selman]] ('''2011'''). ''[http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2708 Trade-Offs in Sampling-Based Adversarial Planning]''. [http://www.aaai.org/Press/Proceedings/icaps11.php ICAPS 2011], [http://videolectures.net/raghuram_ramanujan/ best paper], [http://videolectures.net/icaps2011_ramanujan_sampling/ VideoLecture]
* [http://arxiv.org/find/cs/1/au:+Ermon_S/0/1/0/all/0/1 Stefano Ermon], [http://arxiv.org/find/cs/1/au:+Conrad_J/0/1/0/all/0/1 Jon Conrad], [http://arxiv.org/find/cs/1/au:+Gomes_C/0/1/0/all/0/1 Carla P. Gomes], [[Bart Selman]] ('''2012'''). ''Playing games against nature: optimal policies for renewable resource allocation''. [http://arxiv.org/abs/1203.3478 arXiv:1203.3478]
* [[Raghuram Ramanujan]], [[Ashish Sabharwal]], [[Bart Selman]] ('''2012'''). ''Understanding Sampling Style Adversarial Search Methods''. [http://arxiv.org/abs/1203.4011 arXiv:1203.4011]
=External Links=
* [http://www.cs.cornell.edu/selman/ Bart Selman's Home Page]
* [http://www.cs.cornell.edu/home/selman/ Bart Selman's older Home Page]
* [https://www.cs.cornell.edu/annual_report/1997/selman.htm Bart Selman - Annual report 1997]
* [https://en.wikipedia.org/wiki/Bart_Selman Bart Selman from Wikipedia]
* [https://www.linkedin.com/in/bart-selman-33a114 Bart Selman | LinkedIn]
* [https://scholar.google.com/citations?user=pJ28HA0AAAAJ&hl=en Bart Selman - Google Scholar Citations]
* [http://computational-sustainability.cis.cornell.edu/news/pages/2014-10-01-gates.php Bill Gates Visit Oct 2014: NSF Expeditions in Computing: Computational Sustainability], [http://computational-sustainability.cis.cornell.edu/about.php ICS], October 2014
* [http://computational-sustainability.cis.cornell.edu/news.php#news_2015_04_02_ijcai Bart Selman wins IJCAI John McCarthy Research Award], [http://computational-sustainability.cis.cornell.edu/about.php ICS], April 02, 2015
* [http://bti.cornell.edu/news/jonathan-gomes-selman-explores-the-power-of-computer-science/ Jonathan Gomes Selman explores the power of computer science] by [http://www.patriciawaldron.com/ Patricia Waldron], [https://en.wikipedia.org/wiki/Boyce_Thompson_Institute_for_Plant_Research Boyce Thompson Institute], August 17, 2015
* [http://blogs.discovermagazine.com/crux/2016/01/27/artificial-intelligence-go-game/ Artificial Intelligence Just Mastered Go, But One Game Still Gives AI Trouble] by [https://www.linkedin.com/in/carl-engelking-56066714 Carl Engelking], [http://blogs.discovermagazine.com/crux/ The Crux], January 27, 2016 » [[AlphaGo]], [[Poker]], [[Jonathan Schaeffer]]
=References=
<references />
'''[[People|Up one level]]'''
