onr:"swepub:oai:DiVA.org:liu-41627"
Search: onr:"swepub:oai:DiVA.org:liu-41627" > (TAL) temporal acti...
- 1 of 1
- Previous record
- Next record
- To hitlist
(TAL) temporal action logics : Language specification and tutorial.
-
- Doherty, Patrick, 1957- (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning,Institutionen för datavetenskap
-
- Gustafsson, Joakim (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning,Institutionen för datavetenskap
-
- Karlsson, Lars (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning,Institutionen för datavetenskap
- show more...
- show less...
- (creator_code:org_t)
- Linköping University Electronic Press, 1998
- 1998
- English.
- Series: Linköping Electronic Articles in Computer and Information Science, 1401-9841 ; Vol.3:15
- In: Electronic Transactions on Artifical Intelligence. - : Linköping University Electronic Press. - 1403-3534 .- 1403-3526. ; 2:3-4, s. 273-306
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- The purpose of this article is to provide a uniform, lightweight language specication and tutorial for a class of temporal logics for reasoning about action and change that has been developed by our group during the period 1994-1998. The class of logics are collected under the name TAL, an acronym for Temporal Action Logics. TAL has its origins and inspiration in the work with Features and Fluents (FF) by Sandewall, but has diverged from the methodology and approach through the years. We first discuss distinctions and compatibility with FF, move on to the lightweight language specication, and then present a tutorial in terms of an excursion through the different parts of a relatively complex narrative defined using TAL. We conclude with an annotated list of published work from our group. The article tries to strike a reasonable balance between detail and readability, making a number of simplications regarding narrative syntax and translation to a base logical language. Full details are available in numerous technical reports and articles which are listed in the final section of this article.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- HUMANIORA -- Språk och litteratur -- Jämförande språkvetenskap och allmän lingvistik (hsv//swe)
- HUMANITIES -- Languages and Literature -- General Language Studies and Linguistics (hsv//eng)
Keyword
- Computer science
- Datavetenskap
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Electronic Transactions on Artifical Intelligence (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Doherty, Patrick ...
- Gustafsson, Joak ...
- Karlsson, Lars
- Kvarnström, Jona ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
-
- HUMANITIES
- HUMANITIES
- and Languages and Li ...
- and General Language ...
- Parts in the series
- Linköping Electr ...
- Articles in the publication
- Electronic Trans ...
- By the university
- Linköping University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
