Log in

Relevant bibliographies by topics / Logical tasks / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Logical tasks.

Dissertations / Theses on the topic 'Logical tasks'

Author: Grafiati

Published: 5 June 2025

Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 31 dissertations / theses for your research on the topic 'Logical tasks.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Zhao, Yingshen. "An ontology-based approach towards coupling task and path planning for the simulation of manipulation tasks." Thesis, Toulouse, INPT, 2019. http://www.theses.fr/2019INPT0065.

Full text

Abstract:

Ce travail traite de la simulation et de la validation de tâches de manipulation complexes sous de fortes contraintes géométriques dans des environnements virtuels. Les applications visées sont liées au Framework industriel 4.0 ; à mesure que les produits s’intègrent de plus en plus et que la concurrence économique s'intensifie, les industriels expriment le besoin de valider, dès la conception, non seulement les modèles CAO statiques de leurs produits mais aussi les tâches (ex. : assemblage ou maintenance) liées à leur Product Lifecycle Management (PLM). La communauté scientifique s'est penché

APA, Harvard, Vancouver, ISO, and other styles

2

Kobiela, Marta Anna. "An eighth grade curriculum incorporating logical thinking and active learning." Texas A&M University, 2006. http://hdl.handle.net/1969.1/4234.

Full text

Abstract:

With the increasing stress on teachers and students to meet and raise mathematics standards in schools, especially in the secondary level, the need for strong curricula and supporting materials for teachers has grown. A good curriculum, however, must do more than align with state standards and teach to the state exams; it must encourage students to enjoy mathematics. In an effort to help ease the plague of math anxiety, this thesis presents an eighth grade curriculum, called MathTAKStic, not only directly aligning with the Texas state standards, the Texas Essential Knowledge Skills (TEKS), but

APA, Harvard, Vancouver, ISO, and other styles

3

Perundurai, Rajasekaran Siddharthan. "Nonparametric Inverse Reinforcement Learning and Approximate Optimal Control with Temporal Logic Tasks." Digital WPI, 2017. https://digitalcommons.wpi.edu/etd-theses/1205.

Full text

Abstract:

"This thesis focuses on two key problems in reinforcement learning: How to design reward functions to obtain intended behaviors in autonomous systems using the learning-based control? Given complex mission specification, how to shape the reward function to achieve fast convergence and reduce sample complexity while learning the optimal policy? To answer these questions, the first part of this thesis investigates inverse reinforcement learning (IRL) method with a purpose of learning a reward function from expert demonstrations. However, existing algorithms often assume that the expert demon

APA, Harvard, Vancouver, ISO, and other styles

4

Morris, M. Frances G. "The psychology of information selection and reasoning." Thesis, Bangor University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Grossman, Mark. "Task Interaction and Control System (TICS) /." Full text open access at:, 1987. http://content.ohsu.edu/u?/etd,140.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Guo, Meng. "Hybrid Control of Multi-robot Systems under Complex Temporal Tasks." Doctoral thesis, KTH, Reglerteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177639.

Full text

Abstract:

Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. More importantly, they shall communicate and collaboratewith each other in an efficient and correct manner. In this thesis, we address theseissues by focusing on the distributed and hybrid control of multi-robot systemsunder complex individual tasks. We s

APA, Harvard, Vancouver, ISO, and other styles

7

Lindemann, Lars. "Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks." Licentiate thesis, KTH, Reglerteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-227030.

Full text

Abstract:

Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e., when or in which order some tasks should be accomplished. Temporal logics have recently proven to be a valuable tool for these control systems by providing a rich specification language. Existing temporal logic-based control approaches discretize the underlying dyn

APA, Harvard, Vancouver, ISO, and other styles

8

Curiel, Diaz Arturo Tlacaélel. "Using formal logic to represent sign language phonetics in semi-automatic annotation tasks." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30308/document.

Full text

Abstract:

Cette thèse présente le développement d'un framework formel pour la représentation des Langues de Signes (LS), les langages des communautés Sourdes, dans le cadre de la construction d'un système de reconnaissance automatique. Les LS sont de langues naturelles, qui utilisent des gestes et l'espace autour du signeur pour transmettre de l'information. Cela veut dire que, à différence des langues vocales, les morphèmes en LS ne correspondent pas aux séquences de sons; ils correspondent aux séquences de postures corporelles très spécifiques, séparés par des changements tels que de mouvements. De pl

APA, Harvard, Vancouver, ISO, and other styles

9

Vander, Wood Melissa Ann. "Actual and self-assessed performance on a logical reasoning task after a night of total or partial sleep deprivation." Connect to this title online, 2008. http://etd.lib.clemson.edu/documents/1211388594/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vargas, Patricia Kayser. "Exploração de paralelismo ou em uma linguagem em lógica com restrições." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1998. http://hdl.handle.net/10183/26307.

Full text

Abstract:

Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma extensão da programação em lógica, onde busca-se a eficiência e a possibilidade de executar novas classes de problemas. Variáveis em CLP podem pertencer a domínios específicos como, por exemplo, reais ou booleanos. O principal conceito introduzido é a restrição

APA, Harvard, Vancouver, ISO, and other styles

11

Hedengran, Gustav, and John Kvarnefalk. "Optimal task planning in multi-vehicle systems under syntactically co-safe Linear Temporal Logic." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-229802.

Full text

Abstract:

Autonomous vehicles need to be able to perform different instructions during different missions and situations. For task specification, logical languages are often used. Depending on desired expressiveness, there are different methods of task specification and planning. In this paper we explore the case of multi-agent systems performing tasks specified by co-safe Linear Temporal Logic (scLTL) formulas in relation to three cost functions. Specifically, we make use of the Vehicle Routing Problem to define our problem domain. Semantics for scLTL-formulas of multiple vehicles are introduced, as we

APA, Harvard, Vancouver, ISO, and other styles

12

Lin, Tengfan. "A GUI Design of Robot Motion and Task Planning Based on Linear Temporal Logic." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-235307.

Full text

Abstract:

Recent approaches solve the problem of robot motion and task planningby using formal methods-based model checking algorithms. Inthis work, we consider the software package P-MAS-TG, an automatictool to generate correct-by-design controllers for robot motion and taskplanning. The robot motion can be modelled as a finite-state transitionsystem and the task can be represented by a linear temporal logic formula.Then, using a model checking algorithm, an accepting path forthe robot motion can be found so that the robot satisfies the specificlinear temporal logic task. In this thesis, the process of

APA, Harvard, Vancouver, ISO, and other styles

13

Westendorp, James Computer Science &amp Engineering Faculty of Engineering UNSW. "Robust incremental relational learning." Awarded by:University of New South Wales. Computer Science & Engineering, 2009. http://handle.unsw.edu.au/1959.4/43513.

Full text

Abstract:

Real-world learning tasks present a range of issues for learning systems. Learning tasks can be complex and the training data noisy. When operating as part of a larger system, there may be limitations on available memory and computational resources. Learners may also be required to provide results from a stream. This thesis investigates the problem of incremental, relational learning from imperfect data with constrained time and memory resources. The learning process involves incremental update of a theory when an example is presented that contradicts the theory. Contradictions occur if there

APA, Harvard, Vancouver, ISO, and other styles

14

Howarth, Stephanie. "Believe it or not : examining the case for intuitive logic and effortful beliefs." Thesis, University of Plymouth, 2015. http://hdl.handle.net/10026.1/3322.

Full text

Abstract:

The overall objective of this thesis was to test the Default Interventionist (DI) account of belief-bias in human reasoning using the novel methodology introduced by Handley, Newstead & Trippas (2011). DI accounts focus on how our prior beliefs are the intuitive output that bias our reasoning process (Evans, 2006), whilst judgments based on logical validity require effortful processing. However, recent research has suggested that reasoning on the basis of beliefs may not be as fast and automatic as previous accounts claim. In order to investigate whether belief based judgments are resource dem

APA, Harvard, Vancouver, ISO, and other styles

15

Xiao, Zhanhao. "Raffinement des intentions." Thesis, Toulouse 1, 2017. http://www.theses.fr/2017TOU10051/document.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Binko, Petr. "Moderní plánovací algoritmy." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237146.

Full text

Abstract:

This work describes graphplan, satplan and real-time adaptive A* planning algorithms. Through implementation of these algorithms, functionality and assumed attributes (real-time calculation, parallelism) are tested. These tests take place in nontrivial domains. Graphplan and satplan algorithms were tested in block-world, tire-world and bulldozer domains. Results of these tests were compared and displayed in graphs. Real-time adaptive A* algorithm was tested in tire-world domain. Results of these tests were compared with classic A* algorithm. Advantages and disadvantages of these algorithms are

APA, Harvard, Vancouver, ISO, and other styles

17

Brandenburg, Jeffrey Lynn. "Timetrees : a branching-time structure for modeling activity and state in the human-computer interface /." Diss., This resource online, 1995. http://scholar.lib.vt.edu/theses/available/etd-06062008-164012/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Lapegue, Tanguy. "Planification de personnel avec affectation de tâches fixées : méthodes et application dans un contexte médical." Thesis, Nantes, Ecole des Mines, 2014. http://www.theses.fr/2014EMNA0188/document.

Full text

Abstract:

Bien que la gestion des ressources humaines soit une problématique bien étudiée, elle reste d’actualité encore aujourd’hui, notamment en raison de la grande diversité des contextes applicatifs. De plus, les outils d’aide à la décision adressant ces problèmes peuvent encore être améliorés. Dans cette thèse, nous nous intéressons au contexte particulier où les activités des employés correspondent à des tâches fixées dans le temps, requérant des compétences précises et ne pouvant être préemptées. Nous étudions tout d’abord un problème issu de l’industrie pharmaceutique où il s’agit non seulement

APA, Harvard, Vancouver, ISO, and other styles

19

Vale, Marcelo Roberto Bastos Guerra. "An?lise comparativa do desempenho de um Controlador Fuzzy acoplado a um PID Neural sintonizado por um Algoritmo Gen?tico com Controladores Inteligentes Convencionais." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15184.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:04Z (GMT). No. of bitstreams: 1 MarceloRBGV.pdf: 514846 bytes, checksum: f54178f2d4a2cb1b74a993d664aad1b3 (MD5) Previous issue date: 2007-12-05<br>On this paper, it is made a comparative analysis among a controller fuzzy coupled to a PID neural adjusted by an AGwith several traditional control techniques, all of them applied in a system of tanks (I model of 2nd order non lineal). With the objective of making possible the techniques involved in the comparative analysis and to validate the control to be compared, simulations were accompl

APA, Harvard, Vancouver, ISO, and other styles

20

Lopes, Jos? Soares Batista. "Controle preditivo robusto baseado em desigualdades matriciais lineares aplicado a um sistema de tanques acoplados." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15339.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:55:47Z (GMT). No. of bitstreams: 1 JoseSBL_DISSERT.pdf: 1769944 bytes, checksum: 43863b3b32771c922314a0fa73be8bf8 (MD5) Previous issue date: 2011-02-14<br>This work deals with an on-line control strategy based on Robust Model Predictive Control (RMPC) technique applied in a real coupled tanks system. This process consists of two coupled tanks and a pump to feed the liquid to the system. The control objective (regulator problem) is to keep the tanks levels in the considered operation point even in the presence of disturbance. The RMPC is a technique t

APA, Harvard, Vancouver, ISO, and other styles

21

Padiou, Gérard. "Contribution à l'étude de la notion d'objet réparti dans les langages et systèmes opératoires." Toulouse 3, 1987. http://www.theses.fr/1987TOU30205.

Full text

Abstract:

Etude bibliographique precisant le concept d'objet et sa suite en oeuvre dans les langages et systemes operatoires. Definition de la notion d'objet dans le complexe particulier du modele de systeme reparti propose. Les mecanismes inclus dans ce modele reposent sur la notion de taches migrantes et de familles de taches. Les protocoles de migration de taches sont decrits en terme de reseaux logiques. Une forme linguistique est decrite et utilisee sur des exemples d'algorithmes repartis. Enfin, le phenomene de migration des taches et la validation des programmes decrits sont formalises a l'aide d

APA, Harvard, Vancouver, ISO, and other styles

22

Baláž, Martin. "Nové techniky návrhu celulárních automatů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-412878.

Full text

Abstract:

The aim of this master thesis is to introduce a new technique for the design of cellular automata which will provide a better possibilities for the implementation and solving given problems in an environment of non-uniform automata. In this work, the theoretical foundations of cellular automata have been summarized and the possibilities of their design were examined using two evolutionary principles that have commonly been used - genetic algorithm and cellular programming. Two principally different issues were selected on which the possibilities and capabilities of these techniques were proven

APA, Harvard, Vancouver, ISO, and other styles

23

Heus, Kamel. "Gestion des plannings infirmiers : application des techniques de programmation par contraintes." Université Joseph Fourier (Grenoble), 1996. http://www.theses.fr/1996GRE10071.

Full text

Abstract:

Le problème d'établissement de plannings de travail, bien que n'étant pas spécifique au milieu hospitalier, est l'un des problèmes les plus difficiles et les plus délicats rencontre par tout service de soins<br>La diversité des contraintes à satisfaire fait de la génération des plannings une tâche complexe qui inclut une phase importante de négociation et de calcul combinatoire. Décrits et explores par des techniques de recherche opérationnelle et d'intelligence artificielles, ces problèmes suscitent un intérêt nouveau en raison de l'émergence de nouvelles techniques de programmation et du dév

APA, Harvard, Vancouver, ISO, and other styles

24

Dodaro, Carmine, Nicola Leone, and Francesco Ricca. "Computational tasks in answer set programming: algorithms and implementation." Thesis, 2014. http://hdl.handle.net/10955/1246.

Full text

Abstract:

Dottorato di Ricerca in Matematica ed Informatica, XXVII Ciclo, a.a. 2014<br>L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale in un programma logico i cui modelli stabili, anche detti answer set, corrispondono alle soluzioni del problema. L’espressività di ASP ed il numero crescente delle sue applicazioni hanno reso lo sviluppo di nuovi sistemi ASP un tema di ricerca attuale ed importante. La realizzazione di un sistema ASP richiede di implementare s

APA, Harvard, Vancouver, ISO, and other styles

25

De, Francesco Erika, Giorgio Terracina, and Nicola Leone. "Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks." Thesis, 2014. http://hdl.handle.net/10955/501.

Full text

Abstract:

Dottorato di Ricerca in Matematica ed Informatica,XXII Ciclo,a.a. 2009-2010<br>In many scientific and business scenarios, large amounts of data are generated and stored at increasing speed in local or distributed databases. Scientific experiments generating petabytes of data are daily performed in many laboratories all around the world. A growing number of ecommerce and e-business applications store and manage huge databases about products, clients and transactions. This explosive growth of data has raised an urgent need for new techniques and tools to intelligently and automatically inf

APA, Harvard, Vancouver, ISO, and other styles

26

Ben, Sghaier Oussama. "Towards using intelligent techniques to assist software specialists in their tasks." Thesis, 2020. http://hdl.handle.net/1866/25094.

Full text

Abstract:

L’automatisation et l’intelligence constituent des préoccupations majeures dans le domaine de l’Informatique. Avec l’évolution accrue de l’Intelligence Artificielle, les chercheurs et l’industrie se sont orientés vers l’utilisation des modèles d’apprentissage automatique et d’apprentissage profond pour optimiser les tâches, automatiser les pipelines et construire des systèmes intelligents. Les grandes capacités de l’Intelligence Artificielle ont rendu possible d’imiter et même surpasser l’intelligence humaine dans certains cas aussi bien que d’automatiser les tâches manuelles tout en augmentan

APA, Harvard, Vancouver, ISO, and other styles

27

Lee, Wei-Tsang, and 李威蒼. "A Case Study on the Integration of Task Oriented QC Story and the Logic Tree Tools of TOC Thinking Process." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/38269863186146326319.

Full text

Abstract:

碩士<br>國立交通大學<br>管理學院碩士在職專班工業工程與管理組<br>96<br>In the quality control domain, “QC Story” is recognized as an effective model for problem solving. The strength of QC Story lies in simply easy to study, and by the coordinated application of explicit step with Quality Control tools. That assists the colleague to analyze and solve the problem in business. However, in the real practice, the problems that are responded by non-manufacturing persons, are most the management problem. So, when they solved the problem with “Task-Oriented QC Story”, they ofen found the QC tools not easy to be used. Meanwhile

APA, Harvard, Vancouver, ISO, and other styles

28

Sydow, Momme von [Verfasser]. "Towards a flexible Bayesian and deontic logic of testing descriptive and prescriptive rules : explaining content effects in the Wason selection task / vorgelegt von Momme von Sydow." 2006. http://d-nb.info/982092849/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Wang, Wei (Rosy). "A social networking-enabled framework for autonomous robot skill development." Thesis, 2016. http://hdl.handle.net/10453/62956.

Full text

Abstract:

University of Technology Sydney. Faculty of Engineering and Information Technology.<br>Intelligent service robots will need to adapt to unforeseen situations when performing tasks for humans. To do this, they will be expected to continuously develop new skills. Existing frameworks that address robot learning of new skills for a particular task often follow a task-specific design approach. Task-specific design is unable to support robots to adapt new skills to new tasks. This is largely due to the inability of skill specification in task-specific design to be extended or to be easily changed.

APA, Harvard, Vancouver, ISO, and other styles

30

von, Sydow Momme. "Towards a Flexible Bayesian and Deontic Logic of Testing Descriptive and Prescriptive Rules." Doctoral thesis, 2006. http://hdl.handle.net/11858/00-1735-0000-0006-AC29-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Guimond, Jean-François. "Développement et validation de contenu d’un programme de rééducation du membre supérieur post AVC en ergothérapie." Thesis, 2020. http://hdl.handle.net/1866/25188.

Full text

Abstract:

Introduction. La thérapie axée sur la répétition de tâches fonctionnelles est préconisée pour la réadaptation du membre supérieur à la suite d’un accident vasculaire cérébral (AVC). Toutefois, aucun programme d’intervention n’opérationnalise l’ensemble des composantes clés du TOT en une démarche clinique valide de rééducation du membre supérieur post AVC en ergothérapie. Objectifs. 1) Établir la validité de contenu d’un programme de rééducation du membre supérieur post AVC en ergothérapie et 2) proposer un modèle logique de l’intervention qui fait consensus auprès d’experts et d’usagers. Métho

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!