Christoph Koch
homepage: | http://www.cs.cornell.edu/~koch/ |
search externally: |
|
Description
My research is on data management (both database systems and theory), Artificial Intelligence (knowledge representation and reasoning about uncertainty), logic and descriptive complexity theory, and the intersection of programming language theory and declarative languages.
Lecture:
invited talk![]() as author at 1st Workshop on Automated Knowledge Based Construction (AKBC), Grenoble 2010, 4300 views |