- Pokrok v efektivním automatickém uvažovaní se znalostmi o světě2010 | Matematicko-fyzikální fakulta
- Automatické dokazování pro Mizar: umělá inteligence pomocí výměny znalostíPublikace bez příslušnosti k fakultě
- MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením2008 | Matematicko-fyzikální fakulta
- Management of MAS by Means of Automated Reasoning in the Role Model2012 | Matematicko-fyzikální fakulta
- Explainable rule extraction via semantic graphsPublikace bez příslušnosti k fakultě
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Matematicko-fyzikální fakulta
- CHC Model Validation with Proof Guarantees2024 | Matematicko-fyzikální fakulta