Searching for "TAL Temporal Action Logics Language Specification and Tutorial." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

TAL: Temporal Action Logics Language Specification and Tutorial
by Patrick Doherty Joakim, Vol Nr, Patrick Doherty, Jonas Kvarnstrom, C Fl Patrick Doherty, Joakim Gustafsson, Joakim Gustafsson, Lars Karlsson, Lars Karlsson — 1998
… specification and tutorial for a class of temporal logics for reasoning about action and change that has been…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB