Log in

Relevant bibliographies by topics / Temporal Logic Reasoning / Books

To see the other types of publications on this topic, follow the link: Temporal Logic Reasoning.

Books on the topic 'Temporal Logic Reasoning'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

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

Select a source type:

Consult the top 18 books for your research on the topic 'Temporal Logic 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.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Sion, Avi. Future Logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Author, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Leeser, M. E. Reasoning about the function and timing of integrated circuits with prolog and temporal logic. University of Cambridge, Computer Laboratory, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Leeser, M. E. Reasoning about the functioning and timing of integrated circuits with prolog and temporal logic. University of Cambridge, Computer Laboratory, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hazarika, Shyamanta M. Qualitative spatio-temporal representation and reasoning: Trends and future directions. Information Science Reference, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Mark, Reynolds, Sattar Abdul 1957-, Murdoch University, Griffith University, University of Western Australia, and International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.), eds. TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning: And Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia. IEEE Computer Society Press, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ligozat, G. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Ligozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ligozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ligozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ligozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities. Avi Sion, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional and Logical Modalities. Avi Sion, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Institute Of Electrical and Electronics Engineers. Time-Ictl 2003: 10th International Symposium on Temporal Representation and Reasoning: And Fourth International Conference on Temporal Logic: Proceedi. Institute of Electrical & Electronics Enginee, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Robinson, J. A., C. J. Hogger, and Dov M. Gabbay. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming). Oxford University Press, USA, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

Thurner, Stefan, Rudolf Hanel, and Peter Klimekl. Probability and Random Processes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198821939.003.0002.

Full text

Abstract:

Phenomena, systems, and processes are rarely purely deterministic, but contain stochastic,probabilistic, or random components. For that reason, a probabilistic descriptionof most phenomena is necessary. Probability theory provides us with the tools for thistask. Here, we provide a crash course on the most important notions of probabilityand random processes, such as odds, probability, expectation, variance, and so on. Wedescribe the most elementary stochastic event—the trial—and develop the notion of urnmodels. We discuss basic facts about random variables and the elementary operationsthat can

APA, Harvard, Vancouver, ISO, and other styles

17

Shoham, Yoav. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence (Artificial Intelligence). The MIT Press, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Haton, Jean-Paul. Le Raisonnement en intelligence artificielle. Dunod, 1997.

Find full text

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!