1 citations · 1 across the 6 of their papers we have counts for
8 papers
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…
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…
On Optimal Strategies for Wordle and General Guessing Games
Michael Cunanan, Michael Thielscher
The recent popularity of Wordle has revived interest in guessing games. We develop a general method for finding optimal strategies for guessing games while avoiding an exhaustive s…
Perceptual Context in Cognitive Hierarchies
Bernhard Hengst, Maurice Pagnucco, David Rajaratnam +2
Cognition does not only depend on bottom-up sensor feature abstraction, but also relies on contextual information being passed top-down. Context is higher level information that he…
Representing and Reasoning about Game Strategies
Dongmo Zhang, Michael Thielsher
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical langua…