Pregled po projektu: Formalno rasuđivanje i semantike (FORMALS) (MB: HRZZ-UIP-2017-05-9219)
Pronađeno 78 radova
-
26.Adlešić, Tin; Čačić, VedranFormal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract
Dubrovnik, Hrvatska, 2021. str. 5-6 (predavanje, sažetak, znanstveni) -
27.Orlić Bachler, Mandi; Marohnić, Luka; Kovačić, BojanANALYSIS OF STUDENTS’ OPINION ON ONLINE CLASSES AND EXAMS AT FOUR PROFESSIONAL UNDERGRADUATE STUDIES // ISCSS Conference Proceedings 2021
Albena, Bugarska, 2021. str. 345-352 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
28.Perak, BenediktIvana Bašić, Dokazivanje i odnos prema znanju u jeziku znanosti, Hrvatska sveučilišna naklada, Zagreb, 2020. // Suvremena lingvistika, 47 (2021), 92; 341-345 (podatak o recenziji nije dostupan, prikaz, znanstveni)
-
29.Perkov, Tin; Mikec, LukaTableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
-
30.Perkov, TinA note on logicality of generalized quantifiers // Logica Universalis, 15 (2021), 149-152 doi:10.1007/s11787-021-00271-8 (međunarodna recenzija, članak, znanstveni)
-
31.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynOn the Complexity of Verification of Time-Sensitive Distributed Systems // Protocols, Strands, and Logic. Lecture Notes in Computer Science, vol 13066 / Dougherty, Daniel ; Meseguer, José ; Mödersheim, Sebastian Alexander ; Rowe, Paul (ur.).
Haifa, Izrael: Springer, 2021. str. 251-275 doi:10.1007/978-3-030-91631-2_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
32.Hatzivelkos, Aleksandar; Maretić, MarcelA Note about Disapproval Voting // Logic and Applications 2021 Book of Abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Center Dubrovnik, 2021. str. 75-77 (predavanje, međunarodna recenzija, prošireni sažetak, ostalo) -
33.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktImplementing Sentiment Dictionary into Vader Sentiment Analyis for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 69-71 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
34.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktBuilding a Sentiment Dictionary for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 67-68 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
35.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktSentiment Potential Analysis // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 64-66 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
36.Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynPeriodic Systems: Safety, Security, and Complexity // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 7-8 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
37.Perak, Benedikt; Ban Kirigin, TajanaDependency-based Labeling of Associative Lexical Communities // Proceedings of the Central European Conference on Information and Intelligent Systems / Vrček, Neven ; Pergler, Elisabeth ; Grd, Petra (ur.).
Varaždin: Faculty of Organization and Informatics, 2021. str. 34-42 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
38.Hatzivelkos, AleksandarAxiomatic approach to the notion of compromise // Proceedings of the 21st International Conference on Group Decision and Negotiation / Fang, Liping ; Morais, Danielle Costa ; Horita, Masahide (ur.).
Toronto: Ryerson University, 2021. str. 191-203 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
39.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktLexical Sense Labeling and Sentiment Potential Analysis using Corpus-Based Dependency Graph // Mathematics, 9 (2021), 12; 1449, 22 doi:10.3390/math9121449 (međunarodna recenzija, članak, znanstveni)
-
40.Urquiza, Abraão Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynResource and Timing Aspects of Security Protocols // Journal of Computer Security, 29 (2021), 3; 299-340 doi:10.3233/JCS-200012 (međunarodna recenzija, članak, znanstveni)
-
41.Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynOn Security Analysis of Periodic Systems: Expressiveness and Complexity // ICISSP 2021 Proceedings of the 7th International Conference on Information Systems Security and Privacy / Mori, Paolo ; Lenzini, Gabriele ; Furnell, Steven (ur.).
Beč, Austrija: SCITEPRESS, 2021. str. 43-54 doi:10.5220/0010195100430054 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
42.Perkov, TinLogika i stvaralaštvo // Filozofija i stvaralaštvo / Krznar, Tomislav (ur.).
Zagreb: Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021. str. 103-108 (predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo) -
43.Perak, BenediktModelling the Semantic Relations Within Texts Using the UD NLP Tools for Syntactic Parsing, Neo4j Graph Database for Storing and igraph for Network Analysis // Graph Technologies in the Humanities 2020
Beč, 2020. str. - (predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
44.Hatzivelkos, AleksandarKoordinatizacija kvadratne spirale // Poučak : časopis za metodiku i nastavu matematike, 21 (2020), 83; 22-28 (recenziran, članak, stručni)
-
45.Orlić Bachler, Mandi; Volarić, IvanOsnove računalnog programa Maxima / Malčić, Goran (ur.).
Zagreb: Tehničko veleučilište u Zagrebu, 2020 -
46.Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro (ur.). Cham: Springer, 2020 (zbornik) doi:10.1007/978-3-030-62077-6
-
47.Mikec, Luka; Vuković, MladenInterpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772 doi:10.1017/jsl.2020.7 (međunarodna recenzija, članak, znanstveni)
-
48.Perak, Benedikt; Ban Kirigin, TajanaCorpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling // Rasprave Instituta za hrvatski jezik i jezikoslovlje, 46 (2020), 2; 957-996 doi:10.31724/rihjj.46.2.27 (međunarodna recenzija, prethodno priopćenje, znanstveni)
-
49.Mas Rovira, Jan; Mikec, Luka; Joosten, Joost J.Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 86-90 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
50.Mikec, Luka; Joosten, Joost J.; Vuković, MladenA W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 60-64 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
