Zaloguj się

Gotowe bibliografie tematyczne / Temporal reasoning / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Temporal reasoning.

Rozprawy doktorskie na temat „Temporal reasoning”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 25 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Temporal reasoning”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Sripada, Suryanarayana Murthy. "Temporal reasoning in deductive databases." Thesis, Imperial College London, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387841.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Gago, M. Carmen FernaÌndez. "Efficient control of temporal reasoning." Thesis, University of Liverpool, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.402682.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Nilsson, Mikael. "Efficient Temporal Reasoning with Uncertainty." Licentiate thesis, Linköpings universitet, Artificiell intelligens och integrerade datorsystem, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-119409.

Pełny tekst źródła

Streszczenie:

Automated Planning is an active area within Artificial Intelligence. With the help of computers we can quickly find good plans in complicated problem domains, such as planning for search and rescue after a natural disaster. When planning in realistic domains the exact duration of an action generally cannot be predicted in advance. Temporal planning therefore tends to use upper bounds on durations, with the explicit or implicit assumption that if an action happens to be executed more quickly, the plan will still succeed. However, this assumption is often false. If we finish cooking too early, t

Style APA, Harvard, Vancouver, ISO itp.

4

Hamlet, I. M. "Assumption based temporal reasoning in medicine." Thesis, University of Sussex, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235351.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Evans, David Hugh. "An investigation of persistence in temporal reasoning." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.267814.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Tawfik, Ahmed Yassin. "Changing times, an investigation in probabilistic temporal reasoning." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/nq23971.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Hostetter, Michael. "Analogical representation in temporal, spatial, and mnemonic reasoning." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03242009-040545/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Gao, Feng. "Complex medical event detection using temporal constraint reasoning." Thesis, University of Aberdeen, 2010. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=153271.

Pełny tekst źródła

Streszczenie:

The Neonatal Intensive Care Unit (NICU) is a hospital ward specializing in looking after premature and ill newborn babies. Working in such a busy and complex environment is not easy and sophisticated equipment is used to help the daily work of the medical staff . Computers are used to analyse the large amount of monitored data and extract hidden information, e.g. to detect interesting events. Unfortunately, one group of important events lacks features that are recognizable by computers. This group includes the actions taken by the medical sta , for example two actions related to the respirator

Style APA, Harvard, Vancouver, ISO itp.

9

Shu, I.-hsiang 1979. "Enabling fast flexible planning through incremental temporal reasoning." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/18035.

Pełny tekst źródła

Streszczenie:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.<br>Includes bibliographical references (leaves 70-71).<br>In order for a team of autonomous agents to successfully complete its mission, the agents must be able to quickly re-plan on the fly as unforeseen events arise in the environment. This requires temporally flexible plans that allow the agent to adapt to execution uncertainties by not overcommitting on time constraints, and a continuous planner that replans at any point when the current plan fails. To achieve both of these

Style APA, Harvard, Vancouver, ISO itp.

10

Castellini, Claudio. "Automated reasoning in quantified modal and temporal logics." Thesis, University of Edinburgh, 2005. http://hdl.handle.net/1842/753.

Pełny tekst źródła

Streszczenie:

This thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods. Quantified modal and temporal logics are extensions of classical first-order logic in which the notion of truth is extended to take into account its necessity or equivalently, in the temporal setting, its persistence through time. Due to their high complexity, these logics are less widely known and studied than their propositional counterparts. Moreover, little so far is known about their mechanisability and usefulness for formal methods. The relevant contributions of this t

Style APA, Harvard, Vancouver, ISO itp.

11

Brown, Daniel. "Temporal case-based reasoning for insulin decision support." Thesis, Oxford Brookes University, 2015. https://radar.brookes.ac.uk/radar/items/020befaf-009b-44ff-ac6d-4b9f2bcc21a0/1/.

Pełny tekst źródła

Streszczenie:

Type 1 diabetes mellitus is an autoimmune disease resulting in insufficient insulin to regulate blood glucose levels. The condition can be successfully managed through effective blood glucose control, one aspect of which is the administration of bolus insulin. Formulas exist to estimate the required bolus, and have been adopted by existing mobile expert systems. These formulas are shown to be effective but are unable to automatically adapt to an individual. This research resolves the limitations of existing formula based calculators by using case-based reasoning to automatically improve bolus

Style APA, Harvard, Vancouver, ISO itp.

12

Dufour-Lussier, Valmi. "Reasoning with qualitative spatial and temporal textual cases." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0182/document.

Pełny tekst źródła

Streszczenie:

Cette thèse propose un modèle permettant la mise en œuvre d'un système de raisonnement à partir de cas capable d'adapter des procédures représentées sous forme de texte en langue naturelle, en réponse à des requêtes d'utilisateurs. Bien que les cas et les solutions soient sous forme textuelle, l'adaptation elle-même est d'abord appliquée à un réseau de contraintes temporelles exprimées à l'aide d'une algèbre qualitative, grâce à l'utilisation d'un opérateur de révision des croyances. Des méthodes de traitement automatique des langues sont utilisées pour acquérir les représentations algébriques

Style APA, Harvard, Vancouver, ISO itp.

13

Dufour-Lussier, Valmi. "Reasoning with qualitative spatial and temporal textual cases." Electronic Thesis or Diss., Université de Lorraine, 2014. http://www.theses.fr/2014LORR0182.

Pełny tekst źródła

Streszczenie:

Cette thèse propose un modèle permettant la mise en œuvre d'un système de raisonnement à partir de cas capable d'adapter des procédures représentées sous forme de texte en langue naturelle, en réponse à des requêtes d'utilisateurs. Bien que les cas et les solutions soient sous forme textuelle, l'adaptation elle-même est d'abord appliquée à un réseau de contraintes temporelles exprimées à l'aide d'une algèbre qualitative, grâce à l'utilisation d'un opérateur de révision des croyances. Des méthodes de traitement automatique des langues sont utilisées pour acquérir les représentations algébriques

Style APA, Harvard, Vancouver, ISO itp.

14

Bränd, Stefan. "Using Rigid Landmarks to Infer Inter-Temporal Spatial Relations in Spatio-Temporal Reasoning." Thesis, Linköpings universitet, Artificiell intelligens och integrerad datorsystem, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124064.

Pełny tekst źródła

Streszczenie:

Spatio-temporal reasoning is the area of automated reasoning about space and time and is important in the field of robotics. It is desirable for an autonomous robot to have the ability to reason about both time and space. ST0 is a logic that allows for such reasoning by, among other things, defining a formalism used to describe the relationship between spatial regions and a calculus that allows for deducing further information regarding such spatial relations. An extension of ST0 is ST1 that can be used to describe the relationship between spatial entities across time-points (inter-temporal re

Style APA, Harvard, Vancouver, ISO itp.

15

Nogueira, Vitor Beires. "Temporal reasoning in a logic programming language with modularity." Doctoral thesis, Universidade de Évora, 2008. http://hdl.handle.net/10174/11138.

Pełny tekst źródła

Streszczenie:

Actualmente os Sistemas de Informação Organizacionais (SIO) lidam cada vez mais com informação que tem dependências temporais. Neste trabalho concebemos um ambiente de trabalho para construir e manter SIO Temporais. Este ambiente assenta sobre um linguagem lógica denominada Temporal Contextua) Logic Programming que integra modularidade com raciocínio temporal fazendo com que a utilização de um módulo dependa do tempo do contexto. Esta linguagem é a evolução de uma outra, também introduzida nesta tese, que combina Contextua) Logic Programming com Temporal Annotated Constraint Logic Programming,

Style APA, Harvard, Vancouver, ISO itp.

16

de, Leng Daniel. "Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation." Licentiate thesis, Linköpings universitet, Artificiell intelligens och integrerade datorsystem, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-138645.

Pełny tekst źródła

Streszczenie:

A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. With data being so abundant, making sense of these streams of data through reasoning is challenging. Reasoning over streams is particularly relevant for autonomous robotic systems that operate in a physical environment. They commonly observe this environment through incremental observations, gradually refining information about their surroundings. This makes rob

Style APA, Harvard, Vancouver, ISO itp.

17

Broxvall, Mathias. "A Study in the Computational Complexity of Temporal Reasoning." Doctoral thesis, Linköping : Univ, 2002. http://www.ep.liu.se/diss/science_technology/07/79/index.html.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

Rodriguez, Moreno Diana V. "The dynamics of syllogistic reasoning : an fMRI investigation /." Access full-text from WCMC:, 2005. http://proquest.umi.com/pqdweb?did=1428837041&sid=5&Fmt=2&clientId=8424&RQT=309&VName=PQD.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

Sioutis, Michaël. "Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning." Thesis, Artois, 2017. http://www.theses.fr/2017ARTO0401/document.

Pełny tekst źródła

Streszczenie:

Le raisonnement spatial et temporel qualitatif est un domaine principal d’études de l’intelligence artificielle et, en particulier, du domaine de la représentation des connaissances, qui traite des concepts cognitifs fondamentaux de l’espace et du temps de manière abstraite. Dans notre thèse, nous nous focalisons sur les formalismes du domaine du raisonnement spatial et temporel qualitatif représentant les informations par des contraintes et apportons des contributions sur plusieurs aspects. En particulier, étant donnée des bases de connaissances d’informations qualitatives sur l’espace ou le

Style APA, Harvard, Vancouver, ISO itp.

20

BERTAGNON, ALESSANDRO. "Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems." Doctoral thesis, Università degli studi di Ferrara, 2022. http://hdl.handle.net/11392/2487898.

Pełny tekst źródła

Streszczenie:

Constraint (Logic) Programming (CLP) is a popular paradigm to deal with Constraint Satisfaction Problems (CSPs) and Constraint Optimization Problems (COPs) in artificial intelligence. Constraint solving techniques, also known as constraint reasoning algorithms, can be divided into two distinct and orthogonal strategies: inference (or constraint propagation) and search. In this research we address constraint reasoning algorithms for two popular application domains: vehicle route planning and qualitative temporal reasoning. Regarding vehicle route planning, we study the Euclidean TSP (ETSP), a s

Style APA, Harvard, Vancouver, ISO itp.

21

Mülâyim, Mehmet Oǧuz. "Anytime Case-Based Reasoning in Large-Scale Temporal Case Bases." Doctoral thesis, Universitat Autònoma de Barcelona, 2020. http://hdl.handle.net/10803/671283.

Pełny tekst źródła

Streszczenie:

L'enfocament de la metodologia Casi-Based Reasoning (CBR) per a la resolució de problemes que "problemes similars tenen solucions similars" ha demostrat ser bastant favorable per a moltes aplicacions d'intel·ligència artificial industrial. No obstant això, els mateixos avantatges de CBR dificulten el seu acompliment ja que les bases de casos (CB) creixen més que mides raonables. Cercar casos similars és costós. Aquest desavantatge sovint fa que CBR sigui menys atractiu per als entorns de dades abundants d'avui dia, mentre que, en realitat, cada vegada hi ha més raons per beneficiar-se d'aquest

Style APA, Harvard, Vancouver, ISO itp.

22

Talbot, Christine. "Directing Virtual Humans Using Play-Scripts and Spatio-Temporal Reasoning." Thesis, The University of North Carolina at Charlotte, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10791242.

Pełny tekst źródła

Streszczenie:

<p> Historically, most virtual human character research focuses on realism/emotions, interaction with humans, and discourse. The majority of the spatial positioning of characters has focused on one-on-one conversations with humans or placing virtual characters side-by-side when talking. These rely on conversation space as the main driver (if any) for character placement.</p><p> Movies and games rely on motion capture (mocap) files and hard-coded functions to perform spatial movements. These require extensive technical knowledge just to have a character move from one place to another. Other m

Style APA, Harvard, Vancouver, ISO itp.

23

Abeysinghe, Geetha Kalyani. "Event calculus to support temporal reasoning in a clinical domain." Thesis, University of Southampton, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.238888.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

El-Geresy, Baher. "Qualitative representation and reasoning for spatial and spatio-temporal systems." Thesis, University of South Wales, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.403330.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

Blum, Anthony John. "An investigation into the psychology of spatial and temporal reasoning /." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487841548269909.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

Legge, Gaynor W. "A Mechanism for Facilitating Temporal Reasoning in Discrete Event Simulation." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc278352/.

Pełny tekst źródła

Streszczenie:

This research establishes the feasibility and potential utility of a software mechanism which employs artificial intelligence techniques to enhance the capabilities of standard discrete event simulators. As background, current methods of integrating artificial intelligence with simulation and relevant research are briefly reviewed.

Style APA, Harvard, Vancouver, ISO itp.

27

Peng, Taoxin. "A general approach to temporal reasoning about action and change." Thesis, University of Greenwich, 2001. http://gala.gre.ac.uk/6265/.

Pełny tekst źródła

Streszczenie:

Reasoning about actions and change based on common sense knowledge is one of the most important and difficult tasks in the artificial intelligence research area. A series of such tasks are identified which motivate the consideration and application of reasoning formalisms. There follows a discussion of the broad issues involved in modelling time and constructing a logical language. In general, worlds change over time. To model the dynamic world, the ability to predict what the state of the world will be after the execution of a particular sequence of actions, which take time and to explain how

Style APA, Harvard, Vancouver, ISO itp.

28

Rusmawati, Yanti. "Modelling and reasoning about dynamic networks as concurrent systems." Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/modelling-and-reasoning-about-dynamic-networks-as-concurrent-systems(f6bd4a9c-e356-48ea-83a4-3d9d17c550c2).html.

Pełny tekst źródła

Streszczenie:

Highly dynamic and complex computing systems are increasingly needed and are relied upon in daily life. One such system is the dynamic network, particularly in communication, in which it has widespread applications, such as: Internet, peer-to-peer networks, mobile networks and wireless networks. Dynamic networks consist of nodes and edges whose operating status may change over time; the edges may be unreliable and operate intermittently. Message-passing in such networks is inherently difficult and reasoning about the behaviour of message-passing algorithms is also difficult and hard to analyse

Style APA, Harvard, Vancouver, ISO itp.

29

Hallin, Magnus. "SMT-Based Reasoning and Planning in TAL." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-72596.

Pełny tekst źródła

Streszczenie:

Automated planning as a satisfiability problem is a method developed in theearly nineties. It has some known disadvantages, such as its inefficient encod-ing of numbers. The field of Satisfiability Modulo Teories tries to connectalready established solvers for e.g. linear constraints into SAT-solvers in orderto make reasoning about numerical values more efficient. This thesis combines planning as satisfiability and SMT to perform efficientreasoning about actions that occupy realistic time in Temporal Action Logic,a formalism developed at Linköping University for reasoning about action andchang

Style APA, Harvard, Vancouver, ISO itp.

30

Lazarovski, Daniel. "Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8." Thesis, Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-75885.

Pełny tekst źródła

Streszczenie:

Autonomous systems require a lot of information about the environment in which they operate in order to perform different high-level tasks. The information is made available through various sources, such as remote and on-board sensors, databases, GIS, the Internet, etc. The sensory input especially is incrementally available to the systems and can be represented as streams. High-level tasks often require some sort of reasoning over the input data, however raw streaming input is often not suitable for the higher level representations needed for reasoning. DyKnow is a stream processing framework

Style APA, Harvard, Vancouver, ISO itp.

31

Schultz, Carl 1984. "Methodologies for the development of qualitative spatial and temporal reasoning applications." Thesis, University of Auckland, 2010. http://hdl.handle.net/2292/6040.

Pełny tekst źródła

Streszczenie:

A great variety of scientific, engineering-based, and commercial application domains are fundamentally grounded in concepts of space and time. Over the last three decades there has been significant interest in more human-focused and intuitive qualitative spatial and temporal reasoning (QSTR) methods, which address the inherent limitations of purely numerical approaches for reasoning about space and time. However, despite the extremely significant theoretical advances that have been made in the QSTR field, there is a distinct absence of commercial and industrial applications that utilise

Style APA, Harvard, Vancouver, ISO itp.

32

Galushka, Mykola. "Discovering and managing similarity knowledge in temporal case-based reasoning systems." Thesis, University of Ulster, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.535142.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

33

Suda, Martin [Verfasser], and Christoph [Akademischer Betreuer] Weidenbach. "Resolution-based methods for linear temporal reasoning / Martin Suda. Betreuer: Christoph Weidenbach." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2015. http://d-nb.info/1078261164/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

LI, Hongsheng. "An extended HD Fluent Analysis of Temporal knowledge in OWL-based clinical Guideline System." Thesis, The University of Sydney, 2014. http://hdl.handle.net/2123/11742.

Pełny tekst źródła

Streszczenie:

The Web Ontology Language (OWL) based clinical guideline system is a kind of clinical decision support system which is often used to assist health professionals to find clinical recommendations from the guidelines and check clinical compliance issues in terms of the guideline recommendations. However, due to some limitations of the current OWL language constructs, temporal knowledge contained in various knowledge domains cannot be directly represented in OWL. As a result, the representation, query and reasoning of temporal knowledge are largely ignored in many OWL-based clinical guideline onto

Style APA, Harvard, Vancouver, ISO itp.

35

Leeser, Miriam Ellen. "Reasoning about the function and timing of integrated circuits with Prolog and temporal logic." Thesis, University of Cambridge, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.232797.

Pełny tekst źródła

Streszczenie:

The structure of circuits is specified with Prolog; their function and timing behaviour is specified with interval temporal logic. These structural and behavioural specifications are used to formally verify the functionality of circuit elements as well as their timing characteristics. A circuit is verified by deriving its behaviour from the behaviour of its components. The derived results can be abstracted to functional descriptions with timing constraints. The functional descriptions can then be used in proofs of more complex hardware circuits. Verification is done hierarchically, with transi

Style APA, Harvard, Vancouver, ISO itp.

36

Borges, Rafael. "A neural-symbolic system for temporal reasoning with application to model verification and learning." Thesis, City University London, 2012. http://openaccess.city.ac.uk/1303/.

Pełny tekst źródła

Streszczenie:

The effective integration of knowledge representation, reasoning and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Computational and Neural-Symbolic Systems. Furthermore, knowledge acquisition of correct descriptions of the desired system’s behaviour is a complex task in several domains. Several efforts have been directed towards the development of tools that are capable of learning, describing and evolving software models. This thesis c

Style APA, Harvard, Vancouver, ISO itp.

37

Wu, Jing. "A qualitative spatio-temporal modelling and reasoning approach for the representation of moving entities." Thesis, Brest, 2015. http://www.theses.fr/2015BRES0036/document.

Pełny tekst źródła

Streszczenie:

La recherche développée dans cette thèse introduit une approche qualitative pour représenter et raisonner à partir d'entités spatiales dans un espace géographique à deux dimensions. Les patrons de mouvements entre entités dynamiques sont catégorisés à partir d'un modèle qualitatif de relations topologiques entre une ligne orientée et une région, et de relations d'orientation entre deux lignes orientées, respectivement. Les mouvements qualitatifs sont dérivés à partir de relations spatio-temporelles qui caractérisent des entités dynamiques conceptualisées comme des points ou des régions dans un

Style APA, Harvard, Vancouver, ISO itp.

38

Beaumont, Matthew, and n/a. "Handling Over-Constrained Temporal Constraint Networks." Griffith University. School of Information Technology, 2004. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20041213.084512.

Pełny tekst źródła

Streszczenie:

Temporal reasoning has been an active research area for over twenty years, with most work focussing on either enhancing the efficiency of current temporal reasoning algorithms or enriching the existing algebras. However, there has been little research into handling over-constrained temporal problems except to recognise that a problem is over-constrained and then to terminate. As many real-world temporal reasoning problems are inherently over-constrained, particularly in the scheduling domain, there is a significant need for approaches that can handle over-constrained situations. In this thesis

Style APA, Harvard, Vancouver, ISO itp.

39

Beaumont, Matthew. "Handling Over-Constrained Temporal Constraint Networks." Thesis, Griffith University, 2004. http://hdl.handle.net/10072/366603.

Pełny tekst źródła

Streszczenie:

Temporal reasoning has been an active research area for over twenty years, with most work focussing on either enhancing the efficiency of current temporal reasoning algorithms or enriching the existing algebras. However, there has been little research into handling over-constrained temporal problems except to recognise that a problem is over-constrained and then to terminate. As many real-world temporal reasoning problems are inherently over-constrained, particularly in the scheduling domain, there is a significant need for approaches that can handle over-constrained situations. In this thesis

Style APA, Harvard, Vancouver, ISO itp.

40

Lu, Zhirui. "Multi-valued temporal logic based reasoning system with applications to decision support in intelligent environments." Thesis, University of Ulster, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.550789.

Pełny tekst źródła

Streszczenie:

This work deals with decision-making problems with uncertain information in dynamic environment. It develops a new logic system, multi-valued temporal propositional logic, combining multi-valued logic and linear temporal logic. This new logic allows uncertain information to be represented with either a numerical truth value in the [0,1] interval or a linguistic value, and uses these values with both states and same-time and next-time rules. Multi-valued temporal propositional logic, a generic logic system, provides a simple calculus for analysing uncertain information with Lukasiewicz implicat

Style APA, Harvard, Vancouver, ISO itp.

41

Alsarhani, Sami. "Reasoning about history based access control policy using past time operators of interval temporal logic." Thesis, De Montfort University, 2014. http://hdl.handle.net/2086/10406.

Pełny tekst źródła

Streszczenie:

Interval Temporal Logic (ITL) is a flexible notation for the propositional and first-order logical reasoning about periods of time that exist in specifications of hardware and software systems. ITL is different from other temporal logics since it can deal with both sequential and parallel composition and provides powerful and extensible specification and verification methods for reasoning about properties such as safety, time projection and liveness. Most imperative programming constructs can be seen as ITL formula that form the basis of an executable framework called Tempura that is used for

Style APA, Harvard, Vancouver, ISO itp.

42

Rasmussen, Louise J. "THE EFFECTS OF REPRESENTATIONAL FORMAT AND DISCOURSE PRINCIPLES ON THE COMPREHENSION AND PRODUCTION OF TEMPORAL ORDER." Wright State University / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=wright1190080849.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

Balser, Michael [Verfasser]. "Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction / Michael Balser." Aachen : Shaker, 2006. http://d-nb.info/1170528821/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

Martiny, Karsten [Verfasser]. "PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems / Karsten Martiny." Lübeck : Zentrale Hochschulbibliothek Lübeck, 2018. http://d-nb.info/1152030132/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

Mas, i. Casals Orestes. "Sistemas difusos dinámicos para el tratamiento de información temporal imprecisa." Doctoral thesis, Universitat Politècnica de Catalunya, 1997. http://hdl.handle.net/10803/6914.

Pełny tekst źródła

Streszczenie:

Desde su aparición a mediados de los años 60, la Teoría de Conjuntos Difusos se ha venido aplicando con éxito a la resolución de problemas en ámbitos muy diversos, que resultan difíciles de tratar con los métodos clásicos, principalmente por la presencia de incertidumbres no aleatorias en su descripción. En estos casos, el problema no tiene una solución cerrada en forma de expresión matemática, pero sí suele tenerla en forma de un conjunto de reglas expresadas en lenguaje natural y, por consiguiente, impreciso. Un ejemplo típico es el problema de conducir un automóvil.<br/><br/>En el ámbito de

Style APA, Harvard, Vancouver, ISO itp.

46

Kreutzmann, Arne [Verfasser], Christian [Akademischer Betreuer] Freksa, and Alessandro [Akademischer Betreuer] Saffiotti. "Qualitative Spatial and Temporal Reasoning based on And/Or Linear Programming : an approach to partially grounded qualitative spatial reasoning / Arne Kreutzmann. Gutachter: Christian Freksa ; Alessandro Saffiotti. Betreuer: Christian Freksa." Bremen : Staats- und Universitätsbibliothek Bremen, 2014. http://d-nb.info/1072226669/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

Cohen-Solal, Quentin. "Un cadre algébrique pour le raisonnement qualitatif en présence d'informations hétérogènes : application aux raisonnements multi-échelle et spatio-temporel." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC245/document.

Pełny tekst źródła

Streszczenie:

Parmi les différentes formes de raisonnement étudiées dans le contexte de l'intelligence artificielle, le raisonnement qualitatif permet d'inférer de nouvelles connaissances dans le contexte d'informations imprécises, incomplètes et dépourvues de valeurs numériques. Il permet par exemple de déduire de nouvelles informations à partir d'un ensemble d'informations spatiales telles que « la France est frontalière de l'Allemagne », « la Suisse est à l'est de la France », « l'Italie est en Europe » et « le Luxembourg est proche de la France ». Il peut également être utilisé pour résoudre des abstrac

Style APA, Harvard, Vancouver, ISO itp.

48

Azmat, Shoaib. "Multilayer background modeling under occlusions for spatio-temporal scene analysis." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/54005.

Pełny tekst źródła

Streszczenie:

This dissertation presents an efficient multilayer background modeling approach to distinguish among midground objects, the objects whose existence occurs over varying time scales between the extremes of short-term ephemeral appearances (foreground) and long-term stationary persistences (background). Traditional background modeling separates a given scene into foreground and background regions. However, the real world can be much more complex than this simple classification, and object appearance events often occur over varying time scales. There are situations in which objects appear on the s

Style APA, Harvard, Vancouver, ISO itp.

49

Rodrigues, Teresa Raquel. "O impacto da aprendizagem musical no desempenho de habilidades cognitivas implicadas na matemática." Master's thesis, Universidade de Évora, 2011. http://hdl.handle.net/10174/12025.

Pełny tekst źródła

Streszczenie:

Este trabalho tem como objectivo estudar o impacto da aprendizagem musical ao nível das habilidades cognitivas e correspondência com o desempenho académico na matemática. Neste sentido, o presente propõese analisar a relação entre a aptidão musical, a aptidão matemática e o raciocínio espacial-temporal. Posto isto, recorrer-se-á à aplicação das sub-escalas de Aritmética e Composição de Objectos da Escala da Inteligência de Weschler para Crianças - 3ª Edição (WISC-III), com crianças do 1º ciclo do Ensino Básico: um grupo que frequenta o ensino vocacional de música e um segundo grupo sem treino

Style APA, Harvard, Vancouver, ISO itp.

50

Preusse, Franziska [Verfasser], Der Meer Elke [Akademischer Betreuer] Van, Isabell [Akademischer Betreuer] Wartenburger, and Roland [Akademischer Betreuer] Grabner. "High fluid intelligence and analogical reasoning : behavioural and cerebral correlates and their temporal characteristics / Franziska Preusse. Gutachter: Elke van der Meer ; Isabell Wartenburger ; Roland Grabner." Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011. http://d-nb.info/1018232516/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!