Follow
Marko Maliković
Marko Maliković
Ph.D., Assistant Professor, Faculty of Humanities and Social Sciences, Rijeka, Croatia
Verified email at ffri.hr
Title
Cited by
Cited by
Year
Internetska istraživanja: Sveučilišni priručnik
M Maliković
Sveučilište u Rijeci, Filozofski fakultet, 2015
292015
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
92017
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
92015
Large-scale multi-agent modelling of massively multi-player on-line role-playing games–a summary
M Schatten, BO Ðuric, I Tomišcić, N Ivković, M Konecki
Central european conference on information and intelligent systems, 193-200, 2017
72017
Reasoning about epistemic actions and knowledge in multi-agent systems using Coq
M Maliković, M Čubrilo
Computer technology and application 2 (8), 616-627, 2011
42011
Modeling epistemic actions in dynamic epistemic logic using Coq
M Malikovic, M Cubrilo
Central european conference on information and intelligent systems, 3, 2010
42010
Developing heuristics for solving retrograde chess problems
M Maliković
Ph. D. Thesis. University of Zagreb, Croatia, 2008
42008
Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3
F Marić, P Janičić, M Maliković
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
32015
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
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ć
MS thesis. Unpublished. University of Zagreb, Faculty of Organization and …, 2006
32006
An Overview and Classification of Retrograde Chess Problems
M Maliković
25th Central European Conference on Information and Intelligent Systems …, 2014
22014
REASONING ABOUT THE GAME „CLUE “BY USING OTTER
M Maliković
Journal of Information and Organizational Sciences 30 (2), 241-249, 2006
22006
Using individually adapted progress indicator in web surveys
M Maliković, M Tončić
International Journal of Social Research Methodology 26 (1), 23-33, 2023
12023
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
12019
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
Formal System for Searching for the Shortest Proof Games using Coq
M Maliković, M Čubrilo
International Review on Computers and Software 5 (6), 746-756, 2010
12010
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 veličina web-elemenata upitnika na kvalitetu rezultata u web-ispitivanjima?
M Maliković
Zbornik Veleučilišta u Rijeci 12 (1), 109-124, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20