Projekty

Aplikace formálních metod v oblastech modelování znalostí a softwarovém inženýrství II	SP2019/40
	2019 - 2019

Hyperintensionální usuzování nad texty přirozeného jazyka	GA18-23891S
	2018 - 2020

Aplikace formálních metod v oblastech modelování znalostí a softwarovém inženýrství	SP2018/172
	2018 - 2018

Znalostní modelování a jeho využití v softwarovém inženýrství III	SP2017/133
	2017 - 2017

Znalostní modelování a jeho využití v softwarovém inženýrství II	SP2016/100
	2016 - 2016

Znalostní modelování a jeho využití v softwarovém inženýrství	SP2015/85
	2015 - 2015

Využití umělé inteligence při získávání znalostí o procesech, jejich modelování a dolování	SP2013/207
	2013 - 2013

Využití umělé inteligence při získávání znalostí o softwarovém procesu	SP2012/26
	2012 - 2012

Znalostní přístup při modelování, simulaci a vizualizaci softwarových procesů	SP2011/56
	2011 - 2011

Modelování, simulace a verifikace softwarových procesů II	SP/2010214
	2010 - 2010