Staff
All Staff Members
Dr. Inanc Seylan
Research Assistant
Universität Bremen
CARTESIUM, R. 2.16
Enrique-Schmidt-Str. 5
28359 Bremen
+49 (0)421 218-64437
About me
I am a Research Assistant at the University of Bremen in the group of Theory of Artificial Intelligence headed by Carsten Lutz.
Interests
My research interests include
- modal logics used in knowledge representation (description, spatial) and in modeling intentional, reactive, or game-like multi-agent systems (BDI, temporal, coalition);
- automated reasoning;
- combinations of logics such as modal-modal combinations, description logic and database integration.