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
What were the last moves
M Maliković, M Čubrilo
International Review on Computers and Software 5 (1), 59-70, 2010
102010
Internetska istraživanja
M Maliković
Sveučilišni priručnik, Filozofski fakultet u Rijeci, 2015
82015
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
72017
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
72015
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ć
Fakultet organizacije i informatike, Sveučilište u Zagrebu, 2008
42008
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
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
Reasoning about epistemic actions and knowledge in multi-agent systems using Coq
M Maliković, M Čubrilo
Comput. Technol. Appl. 2 (8), 616-627, 2011
32011
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
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
Large-Scale Multi-Agent Modelling of Massively Multi-Player On-Line Role-Playing Games–A Summary
M Schatten, BO Šurić, I Tomičić, N Ivković, M Konecki, J Ševa, ...
Central European Conference on Information and Intelligent Systems, 2017
12017
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, 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 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
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
2019
The system can't perform the operation now. Try again later.
Articles 1–20