About this group
Our research interests revolve around logic in artificial intelligence and computer science. A special emphasis is put on modal logic, broadly conceived and spanning a range of distinct areas: description logics as a knowledge representation formalism underlying ontology languages such as OWL; epistemic logics for use in multi-agent systems; and "verification-style" logics such as CTL and the mu-calculus.
Contact information
|
Postal address:
AG Theorie der künstlichen Intelligenz |
Physical address:
AG Theorie der künstlichen Intelligenz |
| Fax: ++49 421 218 98 64431 |
