Mirko+Čubrilo

a Croatian computer scientist and full professor at Faculty of Organization and Informatics in [|Varaždin], [|University of Zagreb]. His research and teaching focuses on [|knowledge bases] and [|semantic web], [|logic programming], and [|database theory].
 * Home * People * Mirko Čubrilo**
 * [[image:mcubrilo.jpg link="http://www.foi.unizg.hr/eng/staff/mirko.cubrilo"]] ||~ || **Mirko Čubrilo**,

Along with Marko Maliković, Mirko Čubrilo worked on retrograde chess problems using the [|interactive theorem prover] [|Coq], 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]. || toc =Selected Publications=
 * Mirko Čubrilo ||~ ||^ ||
 * 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]
 * 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= =What links here?= include page="Mirko Čubrilo" component="backlinks" limit="30"
 * Up one level**