Logic Analysis of Natural Language Based on Predicate Linear Logic
Bilanová, Zuzana, Perháč, Ján, Chovancová, Eva, Chovanec, Martin
Published in Acta polytechnica Hungarica (2020)
Published in Acta polytechnica Hungarica (2020)
Get full text
Journal Article
Formal Model of IDS Based on BDI Logic
Perháč, Ján, Novitzká, Valerie, Steingartner, William, Bilanová, Zuzana
Published in Mathematics (Basel) (01.09.2021)
Published in Mathematics (Basel) (01.09.2021)
Get full text
Journal Article
A Modern Interpreter of Predicate Linear Logic Formulas
Bilanova, Zuzana, Perhac, Jan, Hulic, Michal
Published in 2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT) (23.09.2020)
Published in 2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT) (23.09.2020)
Get full text
Conference Proceeding
Hanoi towers in resource oriented perspective
Vokorokos, Liberios, Bilanova, Zuzana, Mihalyi, Daniel
Published in 2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2017)
Published in 2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2017)
Get full text
Conference Proceeding
Algorithm Design for User Experience Enhancement of Volume Dataset Reading from Storage Using 3D Binary Image as the Metadata
Mados, Branislav, Balaz, Anton, Adam, Norbert, Hurtuk, Jan, Bilanova, Zuzana
Published in 2019 IEEE 17th World Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2019)
Published in 2019 IEEE 17th World Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2019)
Get full text
Conference Proceeding
Towards Automated Translating Natural Language Sentences into Intensional Constructions
Bednar, Branislav, Bilanova, Zuzana
Published in 2019 IEEE 15th International Scientific Conference on Informatics (01.11.2019)
Published in 2019 IEEE 15th International Scientific Conference on Informatics (01.11.2019)
Get full text
Conference Proceeding
Interactive web course for teaching system programming
Solanik, Michal, Bilanova, Zuzana, Gecaseka, Daniel, Genci, Jan, Novak, Dominik
Published in 2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA) (11.11.2021)
Published in 2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA) (11.11.2021)
Get full text
Conference Proceeding
User interface of smart environment based on human body gestures
Palsa, Jakub, Vokorokos, Liberios, Bilanova, Zuzana
Published in 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2020)
Published in 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI) (01.01.2020)
Get full text
Conference Proceeding
Exploring the correlation between students' satisfaction and learning outcomes they achieved
Gecasek, Daniel, Solanik, Michal, Genci, Jan, Bilanova, Zuzana
Published in 2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) (12.11.2020)
Published in 2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) (12.11.2020)
Get full text
Conference Proceeding
Linear logic operators in transparent intensional logic
Vokorokos, Liberios, Bilanova, Zuzana, Mihalyi, Daniel
Published in 2017 IEEE 14th International Scientific Conference on Informatics (01.11.2017)
Published in 2017 IEEE 14th International Scientific Conference on Informatics (01.11.2017)
Get full text
Conference Proceeding
SSVDAG: Efficient Volume Data Representation Using Enhanced Symmetry-Aware Sparse Voxel Directed Acyclic Graph
Ceresnik, Peter, Mados, Branislav, Balaz, Anton, Bilanova, Zuzana
Published in 2019 IEEE 15th International Scientific Conference on Informatics (01.11.2019)
Published in 2019 IEEE 15th International Scientific Conference on Informatics (01.11.2019)
Get full text
Conference Proceeding