research
∙
02/07/2023
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Dynamics and uncertainty are essential features of real-life argumentati...
share
research
∙
04/30/2021
Resource separation in dynamic logic of propositional assignments
We extend dynamic logic of propositional assignments by adding an operat...
research
∙
09/22/2020
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
We investigate the use of Answer Set Programming to solve variations of ...
research
∙
11/29/2019
Refining HTN Methods via Task Insertion with Preferences
Hierarchical Task Network (HTN) planning is showing its power in real-wo...
research
∙
08/15/2018
Frame-validity games and lower bounds on the complexity of modal axioms
We introduce frame-equivalence games tailored for reasoning about the si...
research
∙
07/27/2017
Relaxing Exclusive Control in Boolean Games
In the typical framework for boolean games (BG) each player can change t...
research
∙
05/15/2017
Strategically knowing how
In this paper, we propose a single-agent logic of goal-directed knowing ...
research
∙
06/10/2016
Simple epistemic planning: generalised gossiping
The gossip problem, in which information (known as secrets) must be shar...
research
∙
06/09/2014
Tableaux for Dynamic Logic of Propositional Assignments
The Dynamic Logic for Propositional Assignments (DL-PA) has recently bee...
research
∙
02/27/2013