Publications

You can find the GEIST members' publication in the AI Wiki and on the CS Lab website.

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)

mgr inż. Sebastian Ernst

mgr inż. Krzysztof Kaczor

mgr inż. Weronika T. Furmańska

mgr inż. Krzysztof Kluza

mgr inż. Szymon Bobek

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