Content: Publications

Towards Dynamic Answer Set Programming over Finite Traces

In Proc. the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19), pp. 148-162

Authors:Pedro Cabalar, Martın Dieguez, Torsten Schaub
Type:Article in Conference Proceedings
Publication Date:May 2019
Conference:the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)

Abstract: Our ultimate goal is to conceive an extension of Answer Set Programming with language constructs from dynamic (and temporal) logic to provide an expressive computational framework for modeling dynamic applications. To address this in a semantically well founded way, we generalize the definition of Dynamic Equilibrium Logic to accommodate finite linear time and extend it with a converse operator in order to capture past temporal operators. This results in a general logical framework integrating existing dynamic and temporal logics of Here-and-There over both finite and infinite time. In the context of finite time, we then develop a translation of dynamic formulas into propositional ones that can in turn be translated into logic programs.

BibTeX
@InProceedings{cadisc19a-2019,
  title =	{{Towards Dynamic Answer Set Programming over Finite Traces}},
  author =	{Pedro Cabalar and Martın Dieguez and Torsten Schaub},
  booktitle =	{Proc. of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)},
  year =	{2019},
  pages =	{148-162},
}