https://www.nyota.ai [aktuální verze]
https://www.cs.cas.cz/logics/ [aktuální verze]
http://www.acrea.cz/ [aktuální verze]
https://www.aiczechia.cz/ [aktuální verze]
https://dblp.org/pid/152/5893.html [aktuální verze]
https://dblp.org/pid/65/1151.html [aktuální verze]