ON DATA HIDING USING DOMAIN SPECIFIC HIERARCHICAL DATA STRUCTURE SVDAG FOR GEOMETRY REPRESENTATION OF VOXELIZED THREEDIMENSIONAL SCENES

by Branislav MADOŠ, Zuzana BILANOVÁ
Published 2020-01-01

THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS

by Branislav BEDNAR, Zuzana BILANOVA, Adrian PEKAR
Published 2020-01-01

Formal Model of IDS Based on BDI Logic

by Ján Perháč, Valerie Novitzká, William Steingartner, Zuzana Bilanová
Published 2021-09-01