754:
769:
309:, Cesar Fernandez, Bart Selman, and Christian Bessiere. Proc. 10th Intl. Conf. on Principles and Practice of Constraint Programming (CP-04), Toronto, Ont., 2005. Distinguished Paper Award.
431:
254:
research organization named Center for Human-Compatible AI (CHAI), and became one of its principal investigators. His role in CHAI and some of his recent lectures notably focus on the
764:
355:, Ruan, Yongshao, Gomes, Carla, and Selman, Bart. Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02) Edmonton, Alberta, Canada, 2002, 674–682.
270:
Selman has received six Best Paper Awards for his work. He also received the
Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, a
63:
759:
406:
173:
70:
456:
678:
784:
200:, from where he received a master's degree in physics, graduating in 1983. He received his master's and PhD in computer science from the
565:
590:
385:
132:
789:
744:
749:
287:
275:
77:
779:
338:
177:
259:
634:
774:
794:
232:
185:
508:
197:
35:
271:
527:
321:, John Hopcroft, Brian Kulis, Omar Khan, and Bart Selman. Proc. Natl. Acad. of Sci. (PNAS), Feb., 2004.
213:
111:
56:
220:
679:"Six Cornell professors named fellows of AAAS, world's largest science group | Cornell Chronicle"
98:
739:
224:
201:
40:
539:
618:
8:
240:
543:
169:
116:
551:
481:
696:
228:
181:
547:
244:
165:
144:
723:
659:
620:
Information
Technology Innovation - Resurgence, Confluence, and Continuing Impact
361:, Bart Selman, David G Mitchell, Hector J Levesque, Artificial intelligence, 1996
149:
315:, Wei Wei, Jordan Erenrich, and Bart Selman. Proc. AAAI-04. San Jose, CA, 2004.
733:
457:"20-year AI research roadmap calls for lifetime assistants and national labs"
328:
298:
Selman is the author or co-author of more than 100 publications, including:
352:
251:
755:
Fellows of the
Association for the Advancement of Artificial Intelligence
348:
306:
283:
386:"Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains"
341:, Carla Gomes, and Bart Selman. Proc. IJCAI-03 Acapulco, Mexico, 2003.
255:
216:
before becoming professor of computer science at
Cornell University.
717:
770:
Fellows of the
American Association for the Advancement of Science
331:, Brian Kulis, Omar Khan, and Bart Selman. Proc. KDD, August 2003.
236:
407:"Selman and Halpern co-found new Center for Human-Compatible AI"
566:"How UC Berkeley's New Center Could Prevent an A.I. Apocalypse"
126:
313:
Towards efficient sampling: Exploiting random walk strategies
279:
664:
Association for the
Advancement of Artificial Intelligence
172:. He is also co-founder and principal investigator of the
64:
Association for the
Advancement of Artificial Intelligence
765:
2012 fellows of the
Association for Computing Machinery
319:
Tracking evolving communities in large linked networks
367:, Bart Selman, Henry A Kautz, Bram Cohen, AAAI, 1994
223:, stochastic search methods, theory approximation,
174:
Center for Human-Compatible
Artificial Intelligence
71:
303:Statistical regimes across constrainedness regions
731:
591:"Mobile phone in 2035 as powerful as our brains"
219:His research areas include tractable inference,
239:, and connections between computer science and
432:"UC Berkeley — Center for Human-Compatible AI"
262:aspects of advanced artificial intelligence.
760:American artificial intelligence researchers
325:Natural communities in large linked networks
365:Noise strategies for improving local search
293:
424:
359:Generating hard satisfiability problems
732:
785:Delft University of Technology alumni
676:
613:
611:
583:
525:
401:
399:
335:Backdoors to typical case complexity
265:
188:'s 20-year roadmap for AI research.
701:Association for Computing Machinery
276:Alfred P. Sloan Research Fellowship
78:Association for Computing Machinery
13:
608:
178:University of California, Berkeley
14:
806:
711:
552:10.1038/scientificamerican0307-37
396:
164:is a Dutch-American professor of
677:Brand, David (28 October 2002).
689:
670:
652:
627:
509:"Faculty Profile - Bart Selman"
204:in 1985 and 1991 respectively.
558:
519:
501:
474:
449:
378:
186:Computing Community Consortium
1:
724:His current research projects
371:
250:Selman co-founded in 2016 an
198:Technical University of Delft
36:Technical University of Delft
790:University of Toronto alumni
745:American computer scientists
191:
7:
526:Stix, Gary (1 March 2007).
272:National Science Foundation
212:Selman has been working at
133:Tractable Default Reasoning
16:American computer scientist
10:
811:
750:Cornell University faculty
528:"Graph Theory and Teatime"
214:AT&T Bell Laboratories
112:AT&T Bell Laboratories
780:Dutch computer scientists
436:Open Philanthropy Project
207:
155:
143:
125:
104:
94:
87:
57:Sloan Research Fellowship
49:
28:
21:
635:"Research Collaboration"
345:Dynamic restart policies
278:. He is a Fellow of the
221:knowledge representation
775:Scientists at Bell Labs
294:Notable research papers
99:Artificial intelligence
795:Sloan Research Fellows
660:"Current AAAI Fellows"
184:, and co-chair of the
274:Career Award, and an
225:knowledge compilation
202:University of Toronto
41:University of Toronto
623:. 2020. p. 108.
196:Selman attended the
544:2007SciAm.296c..37S
532:Scientific American
513:Cornell Engineering
241:statistical physics
641:. 16 February 2017
639:Santa Fe Institute
489:Cornell University
413:. 7 September 2016
411:Cornell University
170:Cornell University
117:Cornell University
595:Leiden University
390:Leiden University
266:Honors and awards
229:default reasoning
182:Stuart J. Russell
159:
158:
89:Scientific career
802:
718:Selman's website
705:
704:
693:
687:
686:
683:news.cornell.edu
674:
668:
667:
656:
650:
649:
647:
646:
631:
625:
624:
615:
606:
605:
603:
602:
587:
581:
580:
578:
577:
562:
556:
555:
523:
517:
516:
505:
499:
498:
496:
495:
486:
478:
472:
471:
469:
468:
453:
447:
446:
444:
443:
428:
422:
421:
419:
418:
403:
394:
393:
382:
245:phase transition
166:computer science
145:Doctoral advisor
139:
19:
18:
810:
809:
805:
804:
803:
801:
800:
799:
730:
729:
714:
709:
708:
695:
694:
690:
675:
671:
658:
657:
653:
644:
642:
633:
632:
628:
617:
616:
609:
600:
598:
589:
588:
584:
575:
573:
564:
563:
559:
524:
520:
507:
506:
502:
493:
491:
484:
480:
479:
475:
466:
464:
463:. 14 March 2019
455:
454:
450:
441:
439:
430:
429:
425:
416:
414:
405:
404:
397:
384:
383:
379:
374:
296:
268:
210:
194:
150:Hector Levesque
137:
121:
83:
45:
24:
17:
12:
11:
5:
808:
798:
797:
792:
787:
782:
777:
772:
767:
762:
757:
752:
747:
742:
728:
727:
721:
713:
712:External links
710:
707:
706:
688:
669:
651:
626:
607:
582:
557:
518:
500:
473:
448:
423:
395:
392:. 15 May 2017.
376:
375:
373:
370:
369:
368:
362:
356:
342:
332:
322:
316:
310:
307:Carla P. Gomes
295:
292:
267:
264:
233:satisfiability
209:
206:
193:
190:
176:(CHAI) at the
157:
156:
153:
152:
147:
141:
140:
129:
123:
122:
120:
119:
114:
108:
106:
102:
101:
96:
92:
91:
85:
84:
82:
81:
74:
67:
60:
53:
51:
47:
46:
44:
43:
38:
32:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
807:
796:
793:
791:
788:
786:
783:
781:
778:
776:
773:
771:
768:
766:
763:
761:
758:
756:
753:
751:
748:
746:
743:
741:
740:Living people
738:
737:
735:
725:
722:
719:
716:
715:
702:
698:
697:"Bart Selman"
692:
684:
680:
673:
665:
661:
655:
640:
636:
630:
622:
621:
614:
612:
597:. 15 May 2017
596:
592:
586:
571:
567:
561:
553:
549:
545:
541:
537:
533:
529:
522:
514:
510:
504:
490:
483:
482:"Bart Selman"
477:
462:
458:
452:
438:. 23 May 2016
437:
433:
427:
412:
408:
402:
400:
391:
387:
381:
377:
366:
363:
360:
357:
354:
353:Horvitz, Eric
350:
346:
343:
340:
339:Ryan Williams
336:
333:
330:
329:John Hopcroft
326:
323:
320:
317:
314:
311:
308:
304:
301:
300:
299:
291:
289:
285:
281:
277:
273:
263:
261:
257:
253:
248:
246:
242:
238:
235:solvers like
234:
230:
226:
222:
217:
215:
205:
203:
199:
189:
187:
183:
179:
175:
171:
167:
163:
154:
151:
148:
146:
142:
135:
134:
130:
128:
124:
118:
115:
113:
110:
109:
107:
103:
100:
97:
93:
90:
86:
79:
75:
72:
68:
65:
61:
58:
55:
54:
52:
48:
42:
39:
37:
34:
33:
31:
27:
20:
700:
691:
682:
672:
663:
654:
643:. Retrieved
638:
629:
619:
599:. Retrieved
594:
585:
574:. Retrieved
572:. 2016-08-30
569:
560:
538:(3): 37–40.
535:
531:
521:
512:
503:
492:. Retrieved
488:
476:
465:. Retrieved
461:Venture Beat
460:
451:
440:. Retrieved
435:
426:
415:. Retrieved
410:
389:
380:
364:
358:
349:Kautz, Henry
344:
334:
324:
318:
312:
302:
297:
269:
252:AI alignment
249:
227:, planning,
218:
211:
195:
161:
160:
131:
105:Institutions
88:
247:phenomena.
162:Bart Selman
23:Bart Selman
734:Categories
645:2024-03-11
601:2019-09-13
576:2024-03-11
494:2019-08-29
467:2019-08-29
442:2019-08-29
417:2019-08-29
372:References
286:, and the
243:, namely
192:Education
180:, led by
29:Education
76:Fellow,
69:Fellow,
62:Fellow,
703:. 2012.
570:Inverse
540:Bibcode
260:ethical
237:WalkSAT
282:, the
256:safety
208:Career
138:(1991)
136:
127:Thesis
95:Fields
80:(2013)
73:(2003)
66:(2001)
59:(1999)
50:Awards
485:(PDF)
284:AAAS
280:AAAI
258:and
548:doi
536:296
288:ACM
168:at
736::
699:.
681:.
662:.
637:.
610:^
593:.
568:.
546:.
534:.
530:.
511:.
487:.
459:.
434:.
409:.
398:^
388:.
351:,
347:,
337:,
327:,
305:,
290:.
231:,
726:.
720:.
685:.
666:.
648:.
604:.
579:.
554:.
550::
542::
515:.
497:.
470:.
445:.
420:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.