Pregled po CROSBI profilu: Mirko Čubrilo (CROSBI Profil: 12364, MBZ: 135963)
Pronađeno 81 radova
-
1.Rosanda Žigo, Iva; Lazić, Nikolaj; Čubrilo, MirkoDigitalna humanistika. Neka viđenja. Koprivnica: Sveučilište Sjever, 2023 (monografija)
-
2.Rabuzin, Kornelije; Čubrilo, Mirko; Šestak, MartinaExtending Graph Databases with Relational Concepts // Encyclopedia of Data Science and Machine Learning / Wang, John (ur.).
Montclair: IGI Global, 2022. 27, 11 doi:10.4018/978-1-7998-9220-5 -
3.Hižak, JuricaSimulacijski modeli iterirane zatvorenikove dileme u sustavu agenata limitirane memorije, 2020., doktorska disertacija, Fakultet organizacije i informatike, Varaždin
-
4.Galić, Zvonimir; Čubrilo, Mirko; Konecki, MarioKombinatorne igre // Zbornik radova Računalne igre 2019
Varaždin, 2019. str. 176-181 (predavanje, domaća recenzija, cjeloviti rad (in extenso), stručni) -
5.Orešković, MarkoAn Online Syntactic and Semantic Framework for Lexical Relations Extraction Using Natural Language Deterministic Model, 2019., doktorska disertacija, Fakultet organizacije i informatike, Zagreb doi:10.13140/RG.2.2.31092.19849
-
6.Čubrilo, MirkoSome logic and related formalisms, programming paradigms, and development environments for the (new) AI // 41st International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2018 - Proceedings / Karolj, Skala (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2018. str. 926-937 doi:10.23919/MIPRO.2018.8400171 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo) -
7.Orešković, Marko; Čubrilo, Mirko; Essert, MarioThe Development of a Network Thesaurus with Morpho-Semantic Word Markups // Proceedings of the 17th EURALEX International Congress / Tinatin Margalitadze, George Meladze (ur.).
Tbilisi: Ivane Javakhishvili Tbilisi University Press, 2016. str. 273-279 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
8.Čubrilo, Mirko; Maleković, Mirko; Rabuzin, KornelijeSome Thoughts on Business Rules // The journal of American business review, Cambridge, 4 (2016), 2; 42-48 (podatak o recenziji nije dostupan, članak, ostalo)
-
9.Lovrenčić, Sandra; Čubrilo, MirkoOverview of Online Teaching Resources for Logic Programming // Proceedings of the Seventh International Conference on e-Learning 2016 / Ćirić, T. ; Jovanović, S. (ur.).
Beograd: Belgrade Metropolitan University, 2016. str. 129-134 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Arbanas, Krunoslav; Čubrilo, MirkoOntology in Information Security // Journal of information and organizational sciences, 39 (2015), 2; 107-136 (međunarodna recenzija, članak, znanstveni)
-
11.Kišasondi, TonimirMetoda analize otpornosti i kvalitete lozinki zaštićenih pomoću kriptografskih jednosmjernih funkcija, 2014., doktorska disertacija, Fakultet organizacije i informatike, Varaždin
-
12.Maliković, Marko; Čubrilo, Mirko; Janičić, PredragFormalization of a Strategy for the KRK Chess Endgame // Central European Conference on Information and Intelligent Systems
Hrvatska, 2012. (poster, sažetak, ostalo) -
13.Maliković, Marko; Čubrilo, Mirko; Janičić, PredragFormalization of a Strategy for the KRK Chess Endgame // Proceedings of 23st Central European Conference on Information and Intelligent Systems
Varaždin, 2012. str. 29-36 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
14.Meštrović, Ana; Čubrilo, MirkoMonolingual Dictionary Semantic Capturing Using Concept Lattice // International Review on Computers and Software, 6 (2011), 2; 173-184 (međunarodna recenzija, članak, znanstveni)
-
15.Maliković, Marko; Čubrilo, MirkoReasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq // Computer technology and application, 2 (2011), 8; 616-627 (podatak o recenziji nije dostupan, članak, znanstveni)
-
16.Maliković, Marko; Čubrilo, MirkoFormal System for Searching for the Shortest Proof Games using Coq // International Review on Computers and Software, 5 (2010), 6; 746-756 (međunarodna recenzija, članak, znanstveni)
-
17.Rabuzin, Kornelije; Maleković, Mirko; Čubrilo, MirkoActive Rules In Multiagent Systems – Can Reactive Agents Deal With Physical Conflicts // The business review, Cambridge, 15 (2010), 1; 234-241 (podatak o recenziji nije dostupan, članak, znanstveni)
-
18.Maliković, Marko; Čubrilo, MirkoSolving Shortest Proof Games by Generating Trajectories using Coq Proof Management System // Proceedings of 21st Central European Conference on Information and Intelligent Systems, 2010
Varaždin, 2010. str. 11-18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Maliković, Marko; Čubrilo, MirkoModeling Epistemic Actions in Dynamic Epistemic Logic using Coq // Proceedings of 21st Central European Conference on Information and Intelligent Systems, 2010
Varaždin, 2010. str. 3-10 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
20.Schatten, Markus; Kakulapati, Vijayalakshmi; Čubrilo, MirkoReasoning about Social Semantic Web Applications using String Similarity and Frame Logic // Proceedings of the 21st Central European Conference on Information and Intelligent Systems / Aurer, Boris ; Bača, Miroslav ; Schatten, Markus (ur.).
Varaždin: Faculty of Organization and Informatics, 2010. str. 25-32 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
21.Maliković, Marko; Čubrilo, MirkoA knowledge-based system for heuristic search in a competitive multiagent game // International Review on Computers and Software, 5 (2010), 2; 209-218 (međunarodna recenzija, članak, znanstveni)
-
22.Maliković, Marko; Čubrilo, MirkoWhat Were the Last Moves? // International Review on Computers and Software, 5 (2010), 1; 59-70 (međunarodna recenzija, članak, znanstveni)
-
23.Schatten, MarkusProgramming Languages for Autopoiesis Facilitating Semantic Wiki Systems, 2010., doktorska disertacija, Fakultet organizacije i informatike, Varaždin
-
24.Mikulček, TomislavRegularni jezici, 2009., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
-
25.Maleković, Mirko; Čubrilo, Mirko; Rabuzin, KornelijeLogical Consequences in Partial Knowledge Bases // Towards Intelligent Engineering and Information Technology / Imre J. Rudas, Janos Fodor, Janusz Kacprzyk (ur.).
Berlin : Heidelberg: Springer, 2009. str. 377-388