This paper contributes to the ongoing dialogue about the inclusion of ethics content within computing education. It presents a brief exposition of the challenges facing the teachi...
This paper introduces Boas, a semi-automatic knowledge elicitation system that guides a team of two people through the process of developing the static knowledge sources for a mod...
School custom is the base of its sustainable development ability. Addressing the present dilemma of constructing the school customs, the paper argued school organizational knowled...
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...