Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov:
- Virtual Heart of Central Europe, EU Project Culture 2000
- CoLogNET (Computational Logic Network)
- Optimizing Logic Programs under Answer-Set Programming Paradigm
- European Science Foundation, project Automatha