ISSN 1847-2001
e-ISSN 1848-2295

Čubrilo, Mirko, Croatia

  • CECIIS - 2010 - Data and Knowledge Bases
    Modeling epistemic actions in dynamic epistemic logic using Coq
    Abstract  PDF
  • CECIIS - 2010 - Data and Knowledge Bases
    Solving shortest proof games by generating trajectories using the Coq proof management system
    Abstract  PDF


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.