Books on the topic 'Temporal reasoning'

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

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

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

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

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

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

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

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

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

Dutta, Soumitra. A model for temporal reasoning in medical expert systems. Fontainebleau: INSEAD, 1990.

Frank, A. U., I. Campari, and U. Formentini, eds. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55966-3.

de, Cock Martine, and Kerre Etienne E, eds. Reasoning about fuzzy temporal and spatial information from the Web. Singapore: World Scientific, 2011.

U, Frank Andrew, Campari I, and Formentini U, eds. Theories and methods of spatio-temporal reasoning in geographic space. Berlin: Springer-Verlag, 1992.

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

Dutta, Soumitra. "Approximate reasoning about temporal constraints in real time planning and search. Fontainbleau: INSEAD, 1986.

Dutta, Soumitra. "Approximate reasoning about temporal constraints in real time planning and search". Fontainbleau: INSEAD, 1986.

International, 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. Los Alamitos, CA: IEEE Computer Society Press, 1997.

International, 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. Los Alamitos, Calif: IEEE Computer Society, 2001.

Michael, 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. Los Alamitos, Calif: IEEE Computer Society Press, 2002.

International 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. Los Alamitos, Calif: IEEE Computer Society Press, 2004.

International 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. Los Alamitos, CA: IEEE Computer Society, 1998.

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. Los Alamitos, Calif: IEEE Computer Society Press, 2003.

Paris, 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. Los Alamitos, Calif: IEEE Computer Society, 2009.

Germany), 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. Los Alamitos, Calif: IEEE Computer Society, 2011.

International, 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. Los Alamitos, Calif: IEEE Computer Society Press, 1996.

International 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. Los Alamitos, Calif: IEEE Computer Society Press, 2006.

International 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. Los Alamitos, Calif: IEEE Computer Society, 2009.

International 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. Los Alamitos, Calif: IEEE Computer Society, 2008.

International 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. Los Alamitos, Calif: IEEE Computer Society Press, 2006.

International 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. Los Alamitos, California: IEEE Computer Society Press, 2000.

Sion, Avi. Future logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Charleston, South Carolina: CreateSpace, 2014.

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

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

International 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. Los Alamitos, Calif: IEEE Computer Society, 1999.

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

Sion, Avi. Future Logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Geneva, Switzerland: Author through Lulu.com, 1996.

Frank, Schilder, Katz Graham, and Pustejovsky J, eds. Annotating, extracting and reasoning about time and events: International seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers. Berlin: Springer, 2007.

1935-, 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. Windsor, Ont: International Institute for Advanced Studies in Systems Research and Cybernetics, 1995.

Reasoning about change: Time and causation from the standpoint of artificial intelligence. Cambridge, Mass: MIT Press, 1988.

1943-, Haton Jean-Paul, ed. Le Raisonnement en intelligence artificielle: Modèles, techniques et architectures pour les systèmes à base de connaissances. Paris: InterÉditions, 1991.

Stock, O. Spatial and Temporal Reasoning. Springer, 1998.

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

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

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

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

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

Meir, Roman, and Robert A. Vorobeychik. Introduction to Constraint-Based Temporal Reasoning. Springer International Publishing AG, 2014.

Pinto, Javier Andrés. Temporal reasoning in the situation calculus. 1994.

Barták, Roman, K. Brent Venable, and Robert A. Morris. Introduction to Constraint-Based Temporal Reasoning. Morgan & Claypool Publishers, 2014.

Gabbay, Dov M., Michael David Fisher, and Lluis Vila. Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier Science & Technology Books, 2005.