Sökning: "John-Jules Meyer"

Hittade 1 avhandling innehållade orden John-Jules Meyer.

1. 1. Deductive Planning and Composite Actions in Temporal Action Logic

   Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

   Sammanfattning : 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 application of temporal constraint solvers. LÄS MER