2 papers
cs.LO2026
Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Brännström
Existing approaches for reasoning about action and change provide expressive semantics for modeling dynamic systems, in most cases built on top of logic programming systems. We int…
cs.AI2026
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…