Bart Selman is a Professor of Computer Science at Cornell University. He previously was at AT&T Bell Laboratories. His research interests include efficient reasoning procedures, planning, knowledge representation, and connections between computer science and statistical physics. He has (co-)authored over 100 publications, including six best paper awards. His papers have appeared in venues spanning Nature, Science, Proc. Natl. Acad. of Sci., and a variety of conferences and journals in AI and Computer Science. He has received the Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, an NSF Career Award, and an Alfred P. Sloan Research Fellowship. He is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. Web-Stat hit counters
Artificial Intelligence, Computer Science
- 2016. "Variable Elimination in Fourier Domain." Proceedings of the 33rd International Conference on Machine Learning (ICML), June. .
- 2016. "Watch-Bot: Unsupervised learning for reminding humans of forgotten actions." Paper presented at Proc. IEEE International Conference on Robotics and Automation (ICRA-2016) .
- 2016. "Solving Marginal MAP Problems with NP Oracles and Parity Constraints.." Paper presented at Proc. 30th Ann. Conf. on Neural Information Processing Systems (NIPS-16) .
- 2015. "Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) .
- 2015. "Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery." Proceedings of 29th Conference on Artificial Intelligence (AAAI), Austin, Texas, January (1st Quarter/Winter). .
Selected Awards and Honors
- AAAI-16 Classic Paper Award for the paper entitled "Boosting Combinatorial Search Through Randomization" (AAAI-98) 2016
- IJCAI inaugural John McCarthy Award 2015
- Runner-up, Best Paper Award, UAI-2013 for "Optimization with Parity Constraints: From Binary Codes to Discrete Integration." 2013
- Fellow of the Association for Computing Machinery (ACM) 2012
- AAAI Classic Paper Award for "A New Method for Solving Hard Satisfiability Problem" (Assoc. for the Advancement of Artificial Intelligence) 2011
- MS (Physics), Technical University of Delft, 1983
- MS (Computer Science), University of Toronto, 1985
- Ph D (Computer Science), University of Toronto, 1991