Gotowe bibliografie tematyczne / Temporal reasoning

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Książki
  4. Części książek
  5. Streszczenia konferencji
  6. Raporty organizacyjne

Gotowa bibliografia 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:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł 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.

Artykuły w czasopismach na temat "Temporal reasoning"

1

Augusto, Juan C., and Guillermo R. Simari. "Temporal Defeasible Reasoning." Knowledge and Information Systems 3, no. 3 (2001): 287–318. http://dx.doi.org/10.1007/pl00011670.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Emerson, E. A., A. K. Mok, A. P. Sistla, and J. Srinivasan. "Quantitative temporal reasoning." Real-Time Systems 4, no. 4 (1992): 331–52. http://dx.doi.org/10.1007/bf00355298.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Keravnou, Elpida. "Medical temporal reasoning." Artificial Intelligence in Medicine 3, no. 6 (1991): 289–90. http://dx.doi.org/10.1016/0933-3657(91)90001-r.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Chen, Xiaojun, Shengbin Jia, Ling Ding, and Yang Xiang. "Reasoning over temporal knowledge graph with temporal consistency constraints." Journal of Intelligent & Fuzzy Systems 40, no. 6 (2021): 11941–50. http://dx.doi.org/10.3233/jifs-210064.

Pełny tekst źródła
Streszczenie:
Knowledge graph reasoning or completion aims at inferring missing facts by reasoning about the information already present in the knowledge graph. In this work, we explore the problem of temporal knowledge graph reasoning that performs inference on the graph over time. Most existing reasoning models ignore the time information when learning entities and relations representations. For example, the fact (Scarlett Johansson, spouse Of, Ryan Reynolds) was true only during 2008 - 2011. To facilitate temporal reasoning, we present TA-TransRILP, which involves temporal information by utilizing RNNs a
Style APA, Harvard, Vancouver, ISO itp.
5

Ringel, Felix. "Differences in temporal reasoning." Focaal 2013, no. 66 (2013): 25–35. http://dx.doi.org/10.3167/fcl.2013.660103.

Pełny tekst źródła
Streszczenie:
Hoyerswerda, Germany's fastest-shrinking city, faces problems with the future that seem initially unrelated to the past and yet excite manifold conflicting accounts of it. The multiple and conflicting temporal references employed by Hoyerswerdians indicate that the temporal regime of postsocialism is accompanied, if not overcome, by the temporal framework of shrinkage. By reintroducing the analytical domain of the future, I show that local temporal knowledge practices are not historically predetermined by a homogenous postsocialist culture or by particular generational experiences. Rather, the
Style APA, Harvard, Vancouver, ISO itp.
6

Schaeken, Walter, and Philip N. Johnson-Laird. "Strategies in temporal reasoning." Thinking & Reasoning 6, no. 3 (2000): 193–219. http://dx.doi.org/10.1080/13546780050114500.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Crépault, Jacques. "Temporal Reasoning: What Develops?" Psychologica Belgica 33, no. 2 (1993): 197. http://dx.doi.org/10.5334/pb.848.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Nebel, Bernhard, and Hans-Jürgen Bürckert. "Reasoning about temporal relations." Journal of the ACM 42, no. 1 (1995): 43–66. http://dx.doi.org/10.1145/200836.200848.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Bettini, C., and A. Montanari. "Temporal representation and reasoning." Data & Knowledge Engineering 44, no. 2 (2003): 139–41. http://dx.doi.org/10.1016/s0169-023x(02)00132-5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

MORRIS, ROBERT, and LINA KHATIB. "Temporal Representation and Reasoning." Knowledge Engineering Review 12, no. 4 (1997): 411–12. http://dx.doi.org/10.1017/s0269888997003081.

Pełny tekst źródła
Streszczenie:
Artificial intelligence research in temporal reasoning focuses on designing automated solutions to complex problems in computation involving time. TIME-97, the 4th International Workshop on Temporal Representation and Reasoning, held in Daytona Beach, Florida — like the three workshops that preceded it — had the objective of creating an international forum for the exchange of information among the many researchers and knowledge engineers who are developing and applying techniques in temporal reasoning.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Temporal reasoning"

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 Ferná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.
Więcej źródeł

Książki na temat "Temporal reasoning"

1

Stock, Oliviero, ed. Spatial and Temporal Reasoning. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-0-585-28322-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Stock, Oliviero. Spatial and Temporal Reasoning. Springer, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Oliviero, Stock, ed. Spatial and temporal reasoning. Kluwer Academic Publishers, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Ligozat, Gérard. Qualitative Spatial and Temporal Reasoning. John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118601457.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Yates, Abigail E. Reasoning with qualitative temporal constraints. UMIST, 1996.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Ligozat, Gérard. Qualitative spatial and temporal reasoning. ISTE, 2011.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

1962-, Fisher Michael, Gabbay Dov M. 1945-, and Vila L, eds. Handbook of temporal reasoning in artificial intelligence. Elsevier, 2005.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Caluwe, Rita. Spatio-Temporal Databases: Flexible Querying and Reasoning. Springer Berlin Heidelberg, 2004.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

J, Egenhofer Max, and Golledge Reginald G. 1937-, eds. Spatial and temporal reasoning in geographic information systems. Oxford University Press, 1998.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Bettini, Claudio, Sushil Jajodia, and X. Sean Wang. Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-04228-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Temporal reasoning"

1

Puppe, Frank. "Temporal Reasoning." In Systematic Introduction to Expert Systems. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-77971-8_10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Goertzel, Ben, Nil Geisweiller, Lucio Coelho, Predrag Janicic, and Cassio Pennachin. "Temporal Reasoning." In Atlantis Thinking Machines. Atlantis Press, 2011. http://dx.doi.org/10.2991/978-94-91216-11-4_5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Terenziani, Paolo. "Qualitative Temporal Reasoning." In Encyclopedia of Database Systems. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_287-2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Shekhar, Shashi, and Hui Xiong. "Reasoning, Spatio-temporal." In Encyclopedia of GIS. Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-35973-1_1091.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Terenziani, Paolo. "Qualitative Temporal Reasoning." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_287.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Terenziani, Paolo. "Qualitative Temporal Reasoning." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_287.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Combi, Carlo, Elpida Keravnou-Papailiou, and Yuval Shahar. "Temporal Modeling and Temporal Reasoning." In Temporal Information Systems in Medicine. Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6543-1_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Bozzelli, Laura, and César Sánchez. "Visibly Linear Temporal Logic." In Automated Reasoning. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6_33.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Hustadt, Ullrich, Boris Konev, Alexandre Riazanov, and Andrei Voronkov. "TeMP: A Temporal Monodic Prover." In Automated Reasoning. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-25984-8_23.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Bellomarini, Luigi, Livia Blasi, Markus Nissl, and Emanuel Sallinger. "The Temporal Vadalog System." In Rules and Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-21541-4_9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Temporal reasoning"

1

Liu, Shihao, and Xiaofei Zhou. "Query-Aware Temporal Aggregation Network for Temporal Knowledge Graph Reasoning." In ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2025. https://doi.org/10.1109/icassp49660.2025.10888927.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Miller, David P. "Temporal reasoning." In the 18th conference. ACM Press, 1986. http://dx.doi.org/10.1145/318242.318472.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Koskinen, Eric, and Tachio Terauchi. "Local temporal reasoning." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603138.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Koenig, A., and E. Crochon. "Temporal reasoning in TRAM." In the second international conference. ACM Press, 1989. http://dx.doi.org/10.1145/67312.67384.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Terenziani, Paolo, and Antonella Andolina. "Probabilistic quantitative temporal reasoning." In SAC 2017: Symposium on Applied Computing. ACM, 2017. http://dx.doi.org/10.1145/3019612.3019712.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Rabin, Marla J., Paul R. Spinrad, and Thomas C. Fall. "Model Based Temporal Reasoning." In 1988 Technical Symposium on Optics, Electro-Optics, and Sensors, edited by Mohan M. Trivedi. SPIE, 1988. http://dx.doi.org/10.1117/12.946973.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Dixon, Clare, Michael Fisher, Boris Konev, and Alexei Lisitsa. "Practical First-Order Temporal Reasoning." In 2008 15th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2008. http://dx.doi.org/10.1109/time.2008.15.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

De Giacomo, Giuseppe. "Temporal Reasoning in Bounded Situation Calculus." In 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2015. http://dx.doi.org/10.1109/time.2015.20.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

WEISSER, JR., PAUL, and RANDY HOWIE. "Distributed scheduling and temporal reasoning." In 7th Computers in Aerospace Conference. American Institute of Aeronautics and Astronautics, 1989. http://dx.doi.org/10.2514/6.1989-3119.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Moreno, Marcio, Rodrigo Santos, Wallas Santos, Sandro Fiorini, Reinaldo Silva, and Renato Cerqueira. "Multimedia Search and Temporal Reasoning." In 2019 IEEE/ACIS 18th International Conference on Computer and Information Science (ICIS). IEEE, 2019. http://dx.doi.org/10.1109/icis46139.2019.8940351.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Temporal reasoning"

1

Bittner, Thomas. Approximate Qualitative Temporal Reasoning. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada465990.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Gudivada, V. N., and R. Loganantharaj. Temporal Reasoning and Problem Solving. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada248457.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Swinney, David A., and Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada290325.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Swinney, David A., and Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada253031.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Swinney, David A., and Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada275073.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Lutz, Carsten. Interval-based Temporal Reasoning with General TBoxes. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.109.

Pełny tekst źródła
Streszczenie:
Aus der Motivation: Description Logics (DLs) are a family of formalisms well-suited for the representation of and reasoning about knowledge. Whereas most Description Logics represent only static aspects of the application domain, recent research resulted in the exploration of various Description Logics that allow to, additionally, represent temporal information, see [4] for an overview. The approaches to integrate time differ in at least two important aspects: First, the basic temporal entity may be a time point or a time interval. Second, the temporal structure may be part of the semantics (y
Style APA, Harvard, Vancouver, ISO itp.
7

Bell, Colin E. Temporal Knowledge Representation and Reasoning for Project Planning. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada196075.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Borgwardt, Stefan, Marcel Lippmann, and Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.

Pełny tekst źródła
Streszczenie:
Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs,
Style APA, Harvard, Vancouver, ISO itp.
9

Shastri, Lokendra. Spatio-Temporal Neural Networks for Vision, Reasoning and Rapid Decision Making. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada299746.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Baader, Franz, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.164.

Pełny tekst źródła
Streszczenie:
Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available. In this paper, we consider the case where temporal operators are allowed to occur only in front of DL axioms (i.e., ABox assertions and general concept inclusion axioms), but not inside of concepts descriptions. As the temporal component, we use linear temporal logic (LTL) and in the DL component
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Temporal reasoning” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
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!

Do bibliografii