Relevant bibliographies by topics / Temporal reasoning

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Temporal reasoning'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Temporal reasoning.'

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.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Temporal reasoning"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Temporal reasoning"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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,
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Temporal reasoning' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography