Content: Publications

Introducing Temporal Stable Models for Linear Dynamic Logic

In Proc. the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18), pp. 12-21

Authors:Anne-Gwenn Bosser, Pedro Cabalar, Martın Dieguez, Torsten Schaub
Type:Article in Conference Proceedings
Publication Date:October 2018
Conference:the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18)

Abstract: We propose a new temporal extension of the logic of Hereand-There (HT) and its equilibria obtained by combining it with dynamic logic over (linear) traces. Unlike previous temporal extensions of HT based on linear temporal logic, the dynamic logic features allow us to reason about the composition of actions. For instance, this can be used to exercise fine grained control when planning in robotics, as exemplified by GOLOG. In this paper, we lay the foundations of our approach, and refer to it as Linear Dynamic Equilibrium Logic, or simply DEL. We start by developing the formal framework of DEL and provide relevant characteristic results. Among them, we elaborate upon the relationships to traditional linear dynamic logic and previous temporal extensions of HT

BibTeX
@InProceedings{bocadisc18a-2018,
  title =	{{Introducing Temporal Stable Models for Linear Dynamic Logic}},
  author =	{Anne-Gwenn Bosser and Pedro Cabalar and Martın Dieguez and Torsten Schaub},
  booktitle =	{Proc. of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18)},
  year =	{2018},
  pages =	{12-21},
}