(Q4865105)
Statements
1 reference
1990
1997
1 reference
1986
1989
1 reference
2000
For significant contributions to the field of knowledge representation and reasoning, and the development of widely used randomized methods in reasoning, search, and planning. (English)
2012
11 December 2012
For contributions to artificial intelligence with applications to automated reasoning and planning (English)
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- dewiki Bart Selman
- enwiki Bart Selman
- svwiki Bart Selman