Marko Maliković
Marko Maliković
Ph.D., Assistant Professor, Faculty of Humanities and Social Sciences, Rijeka, Croatia
Verified email at ffri.hr
TitleCited byYear
What were the last moves
M Maliković, M Čubrilo
International Review on Computers and Software 5 (1), 59-70, 2010
102010
Utjecaj vizualne orijentacije skale za odgovaranje i broja stranica web-upitnika na rezultate ispitivanja
M Maliković, D Švegar, S Šomođi
Zbornik Veleučilišta u Rijeci 5 (1), 1-12, 2017
62017
Artificial intelligent player's planning in massively multi-player on-line role-playing games
M Malikovic, M Schatten
Central european conference on information and intelligent systems, 3, 2015
62015
Internetska istraživanja
M Maliković
Sveučilišni priručnik, Filozofski fakultet u Rijeci, 2015
42015
Developing heuristics for solving retrograde chess problems
M Maliković
Fakultet organizacije i informatike, Sveučilište u Zagrebu, 2008
42008
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
P Janičić, F Marić, M Maliković
Logical Methods in Computer Science 15 (1), 34:1–34:37, 2019
32019
Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3
F Marić, P Janičić, M Maliković
International Conference on Automated Deduction, 256-271, 2015
32015
An Overview and Classification of Retrograde Chess Problems
M Maliković
25th Central European Conference on Information and Intelligent Systems …, 2014
32014
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving
M Maliković, P Janičić
ICGA Journal 36 (2), 81-99, 2013
32013
Modeling epistemic actions in dynamic epistemic logic using Coq
M Malikovic, M Cubrilo
Central European Conference on Information and Intelligent Systems, 3, 2010
32010
A formal system for automated reasoning about retrograde chess problems using Coq
M Maliković
Proceedings of 19th Central European Conference on Information and …, 2008
32008
Reasoning about multiagent systems by using OTTER system for automatic theorem proving on the example of card games
M Maliković
Fakultet organizacije i informatike, Sveučilište u Zagrebu, 2006
32006
Reasoning about epistemic actions and knowledge in multi-agent systems using Coq
M Maliković, M Čubrilo
Comput. Technol. Appl. 2 (8), 616-627, 2011
22011
REASONING ABOUT THE GAME „CLUE “BY USING OTTER
M Maliković
Journal of Information and Organizational Sciences 30 (2), 241-249, 2006
22006
Formalization of a Strategy for the KRK Chess Endgame
M Malikovic, M Cubrilo, P Janicic
Central European Conference on Information and Intelligent Systems, 29, 2012
12012
Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System
M Malikovic, M Cubrilo
Central European Conference on Information and Intelligent Systems, 11, 2010
12010
UTJEČE LI TEHNIKA VISOKE PREPREKE NA REZULTATE WEB-ISPITIVANJA?
M Maliković, D Švegar
Zbornik Veleučilišta u Rijeci 7 (1), 17-30, 2019
2019
DOES THE HIGH HURDLE TECHNIQUE AFFECT WEB-SURVEY RESULTS?
M Maliković, D Švegar
Zbornik Veleučilišta u Rijeci 7 (1), 17-30, 2019
2019
The influence of the number of pages of a web questionnaire and the visual orientation of the answering scale on the survey responses
M Maliković, D Švegar, S Šomođi
Zbornik Veleučilišta u Rijeci 5 (1), 1-12, 2017
2017
Web-surveys, devices and web-forms
M Maliković, D Švegar, S Borković
Politehnika 1 (1), 7, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20