Books on the topic 'Temporal reasoning'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research 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.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Stock, Oliviero, ed. Spatial and Temporal Reasoning. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-0-585-28322-7.
Full textOliviero, Stock, ed. Spatial and temporal reasoning. Kluwer Academic Publishers, 1997.
Find full textLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118601457.
Full text1962-, Fisher Michael, Gabbay Dov M. 1945-, and Vila L, eds. Handbook of temporal reasoning in artificial intelligence. Elsevier, 2005.
Find full textCaluwe, Rita. Spatio-Temporal Databases: Flexible Querying and Reasoning. Springer Berlin Heidelberg, 2004.
Find full textJ, Egenhofer Max, and Golledge Reginald G. 1937-, eds. Spatial and temporal reasoning in geographic information systems. Oxford University Press, 1998.
Find full textBettini, 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 textDutta, Soumitra. A model for temporal reasoning in medical expert systems. INSEAD, 1990.
Find full textFrank, A. U., I. Campari, and U. Formentini, eds. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55966-3.
Full textU, Frank Andrew, Campari I, and Formentini U, eds. Theories and methods of spatio-temporal reasoning in geographic space. Springer-Verlag, 1992.
Find full textHazarika, Shyamanta M. Qualitative spatio-temporal representation and reasoning: Trends and future directions. Information Science Reference, 2012.
Find full textde, Cock Martine, and Kerre Etienne E, eds. Reasoning about fuzzy temporal and spatial information from the Web. World Scientific, 2011.
Find full textInternational, Workshop on Temporal Representation and Reasoning (4th 1997 Daytona Beach Fla ). Fourth International Workshop on Temporal Representation and Reasoning, Daytona Beach, Florida, USA, May 10-11, 1997. IEEE Computer Society Press, 1997.
Find full textInternational, Symposium on Temporal Representation and Reasoning (8th 2001 Cividale dei Friuli Italy). Eighth International Symposium on Temporal Representation and Reasoning: TIME 2001, 14-16 June 2001, Cividale del Friuli, Italy : proceedings. IEEE Computer Society, 2001.
Find full textInternational Symposium on Temporal Representation and Reasoning (11th 2004 Tatihou Island, France). 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 : proceedings. IEEE Computer Society Press, 2004.
Find full textInternational Workshop on Temporal Representation and Reasoning (5th 1998 Sanibel, Fla.). Fifth International Workshop on Temporal Representation and Reasoning: Proceedings : Sanibel Island, Florida, May 16-17, 1998. Edited by Khatib Lina and Morris Robert. IEEE Computer Society, 1998.
Find full textDutta, Soumitra. "Approximate reasoning about temporal constraints in real time planning and search. INSEAD, 1986.
Find full textDutta, Soumitra. "Approximate reasoning about temporal constraints in real time planning and search". INSEAD, 1986.
Find full textParis, France) International Symposium on Temporal Representation and Reasoning (17th 2010. 17th International Symposium on Temporal Representation and Reasoning: Proceedings : Paris, France 6-8 September 2010. IEEE Computer Society, 2009.
Find full textGermany), International Symposium on Temporal Representation and Reasoning (18th 2011 Lübeck. Eighteenth International Symposium on Temporal Representation and Reasoning: Proceedings : 12-14 September 2011, Lübeck, Germany. IEEE Computer Society, 2011.
Find full textInternational, Workshop on Temporal Representation and Reasoning (3rd 1996 Key West Fla ). Third International Workshop on Temporal Representation and Reasoning (TIME '96) : proceedings : May 19-20, 1996, Key West, Florida. IEEE Computer Society Press, 1996.
Find full textMichael, Fisher, Artale Alessandro, and Engineering and Physical Sciences Research Council., eds. Ninth International Symposium on Temporal Representation and Reasoning : proceedings : [TIME-02] : Manchester, UK, July 7-9, 2002. IEEE Computer Society Press, 2002.
Find full textInternational Symposium on Temporal Representation and Reasoning (14th 2007 Alicante, Spain). 14th International Symposium on Temporal Representation and Reasoning: Proceedings : June 28-30, 2007, Alicante, Spain. IEEE Computer Society Press, 2006.
Find full textInternational Symposium on Temporal Representation and Reasoning (16th 2009 Bressanone-Brixen, Italy). 16th International Symposium on Temporal Representation and Reasoning: Proceedings : Bressanone-Brixen, Italy 23-25 July 2009. IEEE Computer Society, 2009.
Find full textInternational Symposium on Temporal Representation and Reasoning (15th 2008 Montreal, Quebec). 15th International Symposium on Temporal Representation and Reasoning: TIME 2008 proceedings : 16-18 June, 2008, Montreal, Quebec, Canada. IEEE Computer Society, 2008.
Find full textInternational Symposium on Temporal Representation and Reasoning (13th 2006 Budapest, Hungary). Thirteenth International Symposium on Temporal Representation and Reasoning (Time 2006): Proceedings : 15-17June, 2006, Budapest, Hungary. IEEE Computer Society Press, 2006.
Find full textInternational Workshop on Temporal Representation and Reasoning (7th 2000 Cape Breton, Nova Scotia). TIME 2000: Seventh International Workshop on Temporal Representation and Reasoning : proceedings : Cape Breton, Nova Scotia, Canada, 7-9 July 2000. Edited by Goodwin Scott D, Trudel Andre, IEEE Computer Society, Acadia University, Canadian Society for Computational Studies of Intelligence, and University of Regina. IEEE Computer Society Press, 2000.
Find full textLeeser, M. E. Reasoning about the function and timing of integrated circuits with prolog and temporal logic. University of Cambridge, Computer Laboratory, 1988.
Find full textLeeser, M. E. Reasoning about the functioning and timing of integrated circuits with prolog and temporal logic. University of Cambridge, Computer Laboratory, 1988.
Find full textSion, Avi. Future Logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Author, 1990.
Find full textMark, 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 textInternational Workshop on Temporal Representation and Reasoning (6th 1999 Orlando, Fla.). Sixth International Workshop on Temporal Representation and Reasoning, TIME-99: Proceedings, Orlando, Florida, May 1-2, 1999. Edited by Dixon Clare, Fisher Michael, Florida Artificial Intelligence Research Society., Manchester Metropolitan University, and University of Regina. IEEE Computer Society, 1999.
Find full text1935-, Lasker G. E., International Institute for Advanced Studies in Systems Research and Cybernetics., and International Conference on Systems Research, Informatics, and Cybernetics (7th : 1994 : Baden-Baden, Germany), eds. Advances in database and expert systems: Federated and replicated databases, spatio-temporal databases, multi database systems, database design methodologies, complex object modeling, knowledge and knowledge-based systems, computer-based decison [sic] support systems, expert systems in a distributed database environment, formal models of legal reasoning, legal databases and legal expert systems. International Institute for Advanced Studies in Systems Research and Cybernetics, 1995.
Find full textLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.
Find full textLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.
Find full textLigozat, G. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.
Find full textLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2011.
Find full textLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. Wiley & Sons, Incorporated, John, 2013.
Find full textMeir, Roman, and Robert A. Vorobeychik. Introduction to Constraint-Based Temporal Reasoning. Springer International Publishing AG, 2014.
Find full textBarták, Roman, K. Brent Venable, and Robert A. Morris. Introduction to Constraint-Based Temporal Reasoning. Morgan & Claypool Publishers, 2014.
Find full textGabbay, Dov M., Michael David Fisher, and Lluis Vila. Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier Science & Technology Books, 2005.
Find full text(Editor), Rita de Caluwe, Guy de Tré (Editor), and Gloria Bordogna (Editor), eds. Spatio-Temporal Databases: Flexible Querying and Reasoning. Springer, 2004.
Find full textInstitute Of Electrical and Electronics Engineers. 1996 Workshop on Temporal Representation and Reasoning (Time. Institute of Electrical & Electronics Enginee, 1997.
Find full textAnger, Frank D. Spatial & Temporal Reasoning: Papers from the 1997 Workshop. Amer Assn for Artificial, 1998.
Find full text