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

seylan[@]informatik.uni-bremen[.]de




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.

 


<< back