(Q62559769)
Statements
1966
1 reference
1 reference
3 January 2020
2 references
13 January 2021
1 reference
2020
13 January 2021
For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving (English)
1 reference
Identifiers
1 reference
1 reference
1 reference
1 reference
2 references
1 reference