research
∙
01/05/2021
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
AGM's belief revision is one of the main paradigms in the study of belie...
research
∙
12/22/2019
Bringing Belief Base Change into Dynamic Epistemic Logic
AGM's belief revision is one of the main paradigms in the study of belie...
research
∙
11/14/2019
Tractable reasoning about Agent Programming in Dynamic Preference Logic
While several BDI logics have been proposed in the area of Agent Program...
research
∙
11/14/2019
A Dynamic Preference Logic for reasoning about Agent Programming
In this work, we investigate the use of Dynamic Preference Logic to enco...
research
∙
02/17/2019