Human Emotion Verification by Action Languages via Answer Set Programming

Andreas Brännström, Juan Carlos Nieves

In this paper, we introduce the action language C-MT (Mind Transition Language). It is built on top of answer set programming (ASP) and transition systems to represent how human me…