Publications

You can find the GEIST members' publication here: https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography

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