A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming
2014
European Conference on Artificial Intelligence
Temporal Action Logics (TAL) is an expressive class of nonmonotonic temporal logics for reasoning about action and change. In previous work, it has been shown that a very general fragment of the logic can be reduced to firstorder logic with equality. Consequently, standard theorem proving techniques can be used to reason in TAL. TAL is intended to be used for robotics. In this case, standard theorem proving techniques are too general and do not provide efficient decision procedures. The goal of
dblp:conf/ecai/ZeeDM14
fatcat:wi7jgct3xjeklfc5ygbae3dmx4