Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios in a very effective way. In my Ph.D. research, I intend to exploit the relationship between automata theory and dynamic logic to add automata-based techniques to the ASP solver CLINGO helping us to deal with theses type of problems.

中文翻译：

---

时间答案集编程的自动机技术

答案集编程 (ASP) 的时间和动态扩展在解决动态问题方面发挥了重要作用，因为它们允许使用时间运算符以非常有效的方式对动态场景进行推理。在我的博士 研究中，我打算利用自动机理论和动态逻辑之间的关系，将基于自动机的技术添加到 ASP 求解器 CLINGO 中，帮助我们处理这些类型的问题。