Mirko Čubrilo, a Croatian computer scientist and full professor at Faculty of Organization and Informatics in Varaždin, University of Zagreb [1]. His research and teaching focuses on knowledge bases and semantic web, logic programming, and database theory. Along with Marko Maliković, Mirko Čubrilo worked on retrograde chess problems using the interactive theorem prover Coq [2], and with Predrag Janičić and Marko Maliković on 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 [3].
Mirko Čubrilo [4]

Selected Publications

• 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 ^[6]
• 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

External Links

• Mirko Čubrilo / Staff / Home - Faculty of Organization and Informatics
• Mirko Cubrilo | LinkedIn

References

1. ^ Mirko Čubrilo / Staff / Home - Faculty of Organization and Informatics
2. ^ Marko Maliković, Mirko Čubrilo (2010). What Were the Last Moves? International Review on Computers and Software
3. ^ 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
4. ^ Mirko Čubrilo / Staff / Home - Faculty of Organization and Informatics
5. ^ Croatian scientific bibliography - List of papers
6. ^ Coq from Wikipedia

What links here?