Abstract. Temporal Action Logics (TAL) is an expressive class of nonmono- tonic temporal logics for reasoning about action and change. In previous work, it.
The goal of this article is to identify a limited subset of TAL that can be directly mapped to a normal logic program. Although quite restrictive, this sets the ...
Marc van Zee , Patrick Doherty, John-Jules Ch. Meyer: Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI 2014.
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. VAN ZEE, Marc; Doherty, Patrick; Meyer, John-Jules.
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. M. van Zee, P. Doherty, and J. Meyer.
People also ask
What is the temporal logic of action?
What does programming in a logic programming language consist of?
Abstract This paper shows how past temporal logic can be incorporated into the action description language A 4] and its extensions.
A reformulation of TAL in Answer Set Programming (ASP) is presented, which provides a means to compute TAL using efficient answer set solvers and provides a ...
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the ...
Missing: Definitional | Show results with:Definitional
Statistics of Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. Global Last 12 months Last 30 days. Created with Highcharts 9.2.2 ...
In this paper, we combine Answer Set Programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for ...