Matches in DBpedia 2016-04 for { ?s ?p "Bart Selman is a professor of computer science at Cornell University. He previously was at AT&T Bell Laboratories. He has (co-)authored over 90 publications, which have appeared in venues spanning Nature, Science, Proceedings of the National Academy of Sciences and a variety of conferences and journals in AI and Computer Science. He has received five Best Paper Awards. He has also 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. Currently, he is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. He sits on the advisory board for the DARPA Grand Challenge Cornell Team. His research interests include tractable inference, knowledge representation, stochastic search methods, theory approximation, knowledge compilation, planning, default reasoning, satisfiability solvers like WalkSAT, and connections between computer science and statistical physics (phase transition phenomena).Professor Selman teaches courses on Artificial Intelligence at Cornell University and advises postdoctoral fellows."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Bart_Selman abstract "Bart Selman is a professor of computer science at Cornell University. He previously was at AT&T Bell Laboratories. He has (co-)authored over 90 publications, which have appeared in venues spanning Nature, Science, Proceedings of the National Academy of Sciences and a variety of conferences and journals in AI and Computer Science. He has received five Best Paper Awards. He has also 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. Currently, he is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. He sits on the advisory board for the DARPA Grand Challenge Cornell Team. His research interests include tractable inference, knowledge representation, stochastic search methods, theory approximation, knowledge compilation, planning, default reasoning, satisfiability solvers like WalkSAT, and connections between computer science and statistical physics (phase transition phenomena).Professor Selman teaches courses on Artificial Intelligence at Cornell University and advises postdoctoral fellows.".
- Q4865105 abstract "Bart Selman is a professor of computer science at Cornell University. He previously was at AT&T Bell Laboratories. He has (co-)authored over 90 publications, which have appeared in venues spanning Nature, Science, Proceedings of the National Academy of Sciences and a variety of conferences and journals in AI and Computer Science. He has received five Best Paper Awards. He has also 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. Currently, he is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. He sits on the advisory board for the DARPA Grand Challenge Cornell Team. His research interests include tractable inference, knowledge representation, stochastic search methods, theory approximation, knowledge compilation, planning, default reasoning, satisfiability solvers like WalkSAT, and connections between computer science and statistical physics (phase transition phenomena).Professor Selman teaches courses on Artificial Intelligence at Cornell University and advises postdoctoral fellows.".