Data and Knowledge Bases
| Solving shortest proof games by generating trajectories using the Coq proof management system | |
| Marko Maliković, Mirko Čubrilo |
| Modeling epistemic actions in dynamic epistemic logic using Coq | |
| Marko Maliković, Mirko Čubrilo |
| Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic | |
| Markus Schatten, Vijayalakshmi Kakulapati, Mirko Čubrilo |
| Knowledge management as intrinsic part of the process of implementation of QMS Quality management systems | |
| Zoran Cosic |
Education for Information Society
| Applying AI-techniques as Help for Faculty Administration - A Case Study | |
| Marko Čupić, Marin Golub, Domagoj Jakobović |
| The evaluation of the use of online community tool Ning for support of student interaction and learning | |
| Goran Bubas, Ana Coric, Tihomir Orehovački |
Information and Communications Technologies
| Community oriented system for information aggregation based on a template operated HTML wrapper | |
| Ivan Kljaic, Jurica Ševa, Mark Čipčić |
| Information addiction and attention deficit disorder in advanced ICT users | |
| Igor Tomičić, Ana Ćorić |
Information Systems Security
| A framework to (Im)Prove „Chain of Custody“ in Digital Investigation Process | |
| Jasmin Cosic, Miroslav Baca |
Student papers (PhD, etc.)
| IT Governance and Security of Web Services at Bosnia and Herzegovina Local Level | |
| Adis Medić, Jasmin Ćosić |
This work is licensed under a Creative Commons Attribution 3.0 License.
Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.