Publications

You can browse and download GEIST members' publication in the AI Wiki.

GEIST members publications in AGH BPP system and DBLP

prof. dr. hab. inż. Antoni Ligęza (DBLP)

dr hab. Marcin Szpyrka (DBLP)

dr inż. Grzegorz J. Nalepa (DBLP)

dr inż. Sławomir Nowaczyk (DBLP)

dr inż. Sebastian Ernst

mgr inż. Krzysztof Kaczor

mgr inż. Weronika T. Adrian (DBLP)

mgr inż. Krzysztof Kluza (DBLP)

mgr inż. Szymon Bobek

Monographs

tag>xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods