Search for dissertations about: "planning as satisfiability."

Found 2 swedish dissertations containing the words planning as satisfiability..

  1. 1. Towards an infrastructure for preparation and control of intelligent automation systems

    Author : Endre Erös; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; virtual commissioning; planning as satisfiability.; intelligent automation; architectures; virtual preparation;

    Abstract : In an attempt to handle some of the challenges of modern production, intelligent automation systems offer solutions that are flexible, adaptive, and collaborative. Contrary to traditional solutions, intelligent automation systems emerged just recently and thus lack the supporting tools and infrastructure that traditional systems nowadays take for granted. READ MORE

  2. 2. Two Aspects of Automating Logics of Action and Change : Regression and Tractability

    Author : Marcus Bjäreland; Linköpings universitet; []
    Keywords : ;

    Abstract : The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to perform "intelligent" tasks, such as learning, planning, and reasoning about its own actions and their effects on the enviroment, for example predicting the consequences of its own behaviour. READ MORE