Deductive Planning and Composite Actions in Temporal Action Logic

Deductive Planning and Composite Actions in Temporal Action Logic

Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the applicati...

Full description

Bibliographic Details
Main Author: Magnusson, Martin
Format: Others
Language:English
Published: Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning 2007
Subjects:
Temporal Action Logic
deductive planning
composite actions
interval algebra
constraint logic programming
execution monitoring
Computer Sciences
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9726
http://nbn-resolving.de/urn:isbn:9789185895939

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9726
http://nbn-resolving.de/urn:isbn:9789185895939

Similar Items