(Q4865105)

English

Bart Selman

Dutch-American computer scientist

Statements

0 references
0 references
0 references
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)
11 December 2012
For contributions to artificial intelligence with applications to automated reasoning and planning (English)

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit