Michal Kosinár

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 the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the TILScript project is being pursued by the team of undergraduate students. The paper we(More)
Multi-agent system is a system of autonomous, intelligent but resource-bounded agents. Particular agents have to be able to make decisions on their own, based on the activities of other agents and events within the system as well as in its environment. These decisions may be based on typical information from relational databases (communication and reasoning(More)