conftrace_

temporal equilibrium logic

1 paper

Explore in graph

Also known as

TEL

Co-occurring keywords · papers mentioning both

linear-time temporal logic (1) automata technique (1) temporal operator (1) linear temporal logic (1) logic programming (1) answer set programming (1) dynamic system (1)

Papers

On Temporal ASP with Eager Unfoldable Operators IJCAI 2025