About this group
Our main research interest concerns logic in computer science and in artificial intelligence. Specific areas of interest include knowledge representation and semantic technologies, database theory, and verification of infinite-state systems.
Contact information
|
Postal address:
AG Theorie der künstlichen Intelligenz |
Physical address:
AG Theorie der künstlichen Intelligenz |
| Fax: ++49 421 218 98 64431 |
