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

• 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

xtt rule-based_systems prolog rules ai ard formal_analysis formal_methods