Publications

Reasoning with part-part relations in a description logic, Krdzavac, N., and Gasevic D. , Knowledge-Based Systems, March/2011, Volume 24, Number 2, (2011) Abstract

A Technique for Handling the Right Hand Side of Complex RIAs, Mosurovic, M., and Krdzavac N. , 24th International Workshop on Description Logics (DL 2011), 07/2011, Barcelona, Spain, (2011)

Terminal Complex Role Inclusion Axioms, Krdzavac, N., and Mosurovic M. , AUTOMATED REASONING WORKSHOP 2010, Bridging the Gap between Theory and Practice (arw2010), Marh 2010, London, (2010) Abstract

An Assessment System on the Semantic Web, Radenkovic, S., Krdzavac N., and Devedzic V. , Annals of Information Systems, (2009)

Model Driven Engineering of a Tableau Algorithm for Description Logics, Krdzavac, N., Gasevic D., and Devedzic V. , International Journal on Computer Science and Information Systems, Volume 6, p.23-43, (2009)

An Intelligent Framework for Assessment Systems, Radenkovic, S., Devedzic V., and Krdzavac N. , The Future of Learning, Volume 4, p.178 - 196, (2009)

QTI-FAR Framework for Assessment Systems, Krdzavac, N., Radenkovic S., and Devedzic V. , In the proceedings of the International Conference of Technology Enhanced Learning, 12/2008, Hanoi, Vietnam, (2008)

Reasoning in Manufacturing Part-part Examples with OWL 2, Krdzavac, N., and Bock C. , 10/2008, (2008)

MDA and Semantic Web Technologies for Assessment Systems, Radenkovic, S., Krdzavac N., and Devedzic V. , In Proceedings of the SWEL'08 Workshop on Ontologies and The Semantic Web for Intelligent Educational Systems, held in conjunction with The 9th International Conference on Intelligent Tutoring Systems, ITS 2008, 06/2008, Montreal, Canada, p.65-69, (2008) Abstract

Towards More Intelligent Assessment Systems, Radenkovic, S., Krdzavac N., and Devedzic V. , Technology Enhanced Learning, New York, USA, p.257-283, (2008)

A QTI Metamodel, Radenkovic, S., Krdzavac N., and Devedzic V. , Proceedings of the International Multiconference on Computer Science and Information Technology, 2007, Wisla-Poland, (2007)

MDA-Based Architecture of a Description Logics Reasoner, Krdzavac, N., Djuric D., and Devedzic V. , The 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 07/06/2006, Athens, Greece, p.98-105, (2006)

A Tableau Metamodel for Description Logics, Krdzavac, N., and Devedzic V. , The Thirteenth Workshop on Automated Reasoning, 03/04/2006, Bristol, UK, p.17-18, (2006)

A Method for Implementation Description Logic Reasoner, Krdzavac, N., and Gasevic D. , Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat., Volume 16 , (2005)

Description Logics Reasoning in Web-based Education Environments, Krdzavac, N., Gasevic D., and Devedzic V. , In Proceedings of the Workshop on Adaptive Hypermedia and Collaborative Web-based Systems (at he 4th International Conference on Web Engineering), 07/2004, Munich, Germany, (2004)

Basic Mathematical Concepts of Intelligent Systems, Krdzavac, N., and Devedzic V. , Technologies for Intelligent Systems, Belgrade, Serbia, p.57-87, (2004)

Description Logics, Krdzavac, N., and Ognjanovic Z. , Introduction to Theoretical Computer Science, Belgrade, Serbia, p.159-170, (2004)