Martina Cíhalová

Learn More
Documented software processes and their assessments are the basics of modern software development. Currently the semantic web, knowledge bases and knowledge management have many applications. Yet, applications to support software processes (and business processes in general) are rather neglected. In this paper we focus on applying a knowledge layer into(More)
In this paper we introduce two e-learning systems, namely eLogika and (LMS) ORGANON. Both systems are apt for teaching logic and should improve the quality of the teaching. The ORGANON system is primarily aimed at solving tasks and practicing logical formalisms by means of interactive exercises. The eLogika system is intended to support effective automated(More)
  • 1