1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
The Complexity of Verifying Strategic Abilities in Succinct Multiagent Systems
Yifan He, Munyque Mittelmann, Aniello Murano +1
This paper studies the complexity of model checking strategic abilities in multiagent systems under imperfect information, in particular systems represented succinctly. Such a repr…
EmoLASP: Emotion Recognition with Language Models and Answer Set Programming
Thao Le, Michael Thielscher
Emotion recognition in conversations is increasingly tackled with language models, but these models can be unstable and expensive to fine-tune or to prompt with long dialogue histo…
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Michael Thielscher, Tran Cao Son
We investigate the belief revision problem in epistemic planning, i.e., what will be the beliefs of all agents in a multi-agent system after an agent gains the belief in some state…
An ASP-based approach to Solving General Stochastic Two-Player Games
Yifan He, Michael Thielscher
The Game Description Language (GDL) is a widely used formalism for specifying general games. Due to their similar syntax and semantics, Answer Set Programming (ASP) and its extensi…