(Q37680335)
Statements
2012
For significant contributions to knowledge representation and reasoning, in particular the exploration of decidable logic fragments, reasoning optimizations, and the application of KR on the web. (English)
Identifiers
1 reference
1 reference
1 reference
1 reference
1 reference