It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case and trace are obtained, and (ii) can also prove deadlock freedom. Such symbolic execution starts from an initial distributed context, i.e., a set of locatio...

In this article, we report on the implementation of using game Werewolf as a student-centered applied-learning activity to teach symbolic interaction theory and concepts. Engaging with can be powerful experience for students due its potential challenge taken-for-granted assumptions analyze students’ everyday life experiences. However, some may have difficulty grasping specific details overall s...

The purpose of the present study is to develop more precise methods to explore the interaction between contextual factors in teacher instructions in regular classroom settings and students' abilities to use symbolic information in the instruction. The ability to easily show symbolic behavior could be expected to influence student's capacity to be active and participate. The present study examin...

Mapag Toya is a farming ritual that involves gathering water from its source. the implementation of Tri Hita Karana (THK) Parhyangan aspect, which relationship between humans and God. In this narrative qualitative study, perspective symbolic interaction will be used. The process examines rituals as it relates to role meaning in human life, particularly use symbols interacting with nature, socia...

In this paper we propose a neural-symbolic architecture to represent and reason with norms in multi-agent systems. On the one hand, the architecture contains a symbolic knowledge base to represent norms and on the other hand it contains a neural network to reason with norms. The interaction between the symbolic knowledge and the neural network is used to learn norms. We describe how to handle n...