Search for dissertations about: "Martin Meyer"

Found 2 swedish dissertations containing the words Martin Meyer.

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

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

    Abstract : 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. READ MORE

  4. 2. Studies in the Dynamics of Science : Exploring emergence, classification, and interdisciplinarity

    Author : Qi Wang; Ulf Sandström; Martin Meyer; KTH; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; science dynamics; bibliometrics; emerging research topics; interdisciplinary research; journal classification systems; cognitive distance; research policy;

    Abstract : The dynamic nature of science is embodied in the growth of knowledge in magnitude and the transformation of knowledge in structure. More specifically, the growth in magnitude is indicated by a sharp increase in the number of scientific publications in recent decades. READ MORE