τε 2asp : Implementing TE via Answer Set Programming
Hai Wan, Y u, Zhanhao Xiao, Yuping Shen · 2012
This paper studies computational issues related to the prob- lem of reasoning about action and change in timed domains by trans- lating it into answer set programming paradigm. Based on this idea, we implement a new action and change reasoning solver - τe 2asp with a polynomial translation without increasing its complexity for checking satisfiability and entailment in TE and report some experimental results.