Home * People * Marko Maliković

		Marko Maliković, a Croatian computer scientist and assistant professor at Faculty of Humanities and Social Sciences, University of Rijeka. His research interests include formal systems, logic in computer science, automatic theorem proving, multi-agent systems, reasoning about knowledge, and intelligent systems. He worked on heuristics for solving retrograde chess problems using the interactive theorem prover Coq ^[1], and along with Predrag Janičić and Mirko Čubrilo, proved the correctness of a KRK endgame strategy by SAT-based constraint solving, as introduced 2012 at the Fifth Workshop on Formal and Automated Theorem Proving and Applications, Belgrade ^[2], and published 2013 in the ICGA Journal ^[3].
Marko Maliković on KRK ^[4]

Selected Publications

2008 ...

Marko Maliković (2008). Developing Heuristics for Solving Retrograde Chess Problems. Seminar on Formal Methods and Applications, Varaždin, Croatia

Marko Maliković, Mirko Čubrilo (2010). What Were the Last Moves? International Review on Computers and Software
Marko Maliković, Mirko Čubrilo (2010). Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System. Proceedings of 21st Central European Conference on Information and Intelligent Systems, Varaždin, Croatia ^[5]
Marko Maliković (2011). Automated Reasoning about Retrograde Chess Problems using Coq. Fourth Workshop on Formal and Automated Theorem Proving and Applications, Belgrade, Serbia, slides as pdf
Marko Maliković, Mirko Čubrilo, Predrag Janičić (2012). Formal Analysis of Correctness of a Strategy for the KRK Chess Endgame. Fifth Workshop on Formal and Automated Theorem Proving and Applications, Belgrade, Serbia, slides as pdf
Marko Maliković, Predrag Janičić (2013). Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving. ICGA Journal, Vol. 36, No. 2 ^[6]

Up one level