Literatura académica sobre el tema "Temporal reasoning"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Temporal reasoning".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Temporal reasoning"
Augusto, Juan C. y Guillermo R. Simari. "Temporal Defeasible Reasoning". Knowledge and Information Systems 3, n.º 3 (agosto de 2001): 287–318. http://dx.doi.org/10.1007/pl00011670.
Texto completoEmerson, E. A., A. K. Mok, A. P. Sistla y J. Srinivasan. "Quantitative temporal reasoning". Real-Time Systems 4, n.º 4 (diciembre de 1992): 331–52. http://dx.doi.org/10.1007/bf00355298.
Texto completoKeravnou, Elpida. "Medical temporal reasoning". Artificial Intelligence in Medicine 3, n.º 6 (diciembre de 1991): 289–90. http://dx.doi.org/10.1016/0933-3657(91)90001-r.
Texto completoChen, Xiaojun, Shengbin Jia, Ling Ding y Yang Xiang. "Reasoning over temporal knowledge graph with temporal consistency constraints". Journal of Intelligent & Fuzzy Systems 40, n.º 6 (21 de junio de 2021): 11941–50. http://dx.doi.org/10.3233/jifs-210064.
Texto completoRingel, Felix. "Differences in temporal reasoning". Focaal 2013, n.º 66 (1 de junio de 2013): 25–35. http://dx.doi.org/10.3167/fcl.2013.660103.
Texto completoSchaeken, Walter y Philip N. Johnson-Laird. "Strategies in temporal reasoning". Thinking & Reasoning 6, n.º 3 (agosto de 2000): 193–219. http://dx.doi.org/10.1080/13546780050114500.
Texto completoCrépault, Jacques. "Temporal Reasoning: What Develops?" Psychologica Belgica 33, n.º 2 (1 de enero de 1993): 197. http://dx.doi.org/10.5334/pb.848.
Texto completoNebel, Bernhard y Hans-Jürgen Bürckert. "Reasoning about temporal relations". Journal of the ACM 42, n.º 1 (3 de enero de 1995): 43–66. http://dx.doi.org/10.1145/200836.200848.
Texto completoBettini, C. y A. Montanari. "Temporal representation and reasoning". Data & Knowledge Engineering 44, n.º 2 (febrero de 2003): 139–41. http://dx.doi.org/10.1016/s0169-023x(02)00132-5.
Texto completoMORRIS, ROBERT y LINA KHATIB. "Temporal Representation and Reasoning". Knowledge Engineering Review 12, n.º 4 (diciembre de 1997): 411–12. http://dx.doi.org/10.1017/s0269888997003081.
Texto completoTesis sobre el tema "Temporal reasoning"
Sripada, Suryanarayana Murthy. "Temporal reasoning in deductive databases". Thesis, Imperial College London, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387841.
Texto completoGago, M. Carmen FernaÌndez. "Efficient control of temporal reasoning". Thesis, University of Liverpool, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.402682.
Texto completoNilsson, 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.
Texto completoHamlet, I. M. "Assumption based temporal reasoning in medicine". Thesis, University of Sussex, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235351.
Texto completoEvans, 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.
Texto completoTawfik, 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.
Texto completoHostetter, Michael. "Analogical representation in temporal, spatial, and mnemonic reasoning". Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03242009-040545/.
Texto completoGao, Feng. "Complex medical event detection using temporal constraint reasoning". Thesis, University of Aberdeen, 2010. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=153271.
Texto completoShu, I.-hsiang 1979. "Enabling fast flexible planning through incremental temporal reasoning". Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/18035.
Texto completoIncludes bibliographical references (leaves 70-71).
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 requirements, planners must have the ability to reason quickly about timing constraints. This thesis provides a fast incremental algorithm, ITC, for determining the temporal consistency of temporally flexible plans. Additionally, the temporal reasoning capability of ITC is able to return the conflict or the nature of the inconsistency to the planner, such that the planner can resolve inconsistencies quickly and intelligently. The ITC algorithm combines the speed of shortest-path algorithms known to network optimization with the spirit of incremental algorithms such as Incremental A* and those used within truth maintenance systems (TMS). The algorithm has been implemented and integrated into a temporal planner, called Kirk. It has demonstrated an order of magnitude speed increase on cooperative air vehicle scenarios.
by I-hsiang Shu.
M.Eng.
Castellini, Claudio. "Automated reasoning in quantified modal and temporal logics". Thesis, University of Edinburgh, 2005. http://hdl.handle.net/1842/753.
Texto completoLibros sobre el tema "Temporal reasoning"
Stock, Oliviero, ed. Spatial and Temporal Reasoning. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-0-585-28322-7.
Texto completoStock, Oliviero. Spatial and Temporal Reasoning. Dordrecht: Springer, 1997.
Buscar texto completoOliviero, Stock, ed. Spatial and temporal reasoning. Dordrecht: Kluwer Academic Publishers, 1997.
Buscar texto completoLigozat, Gérard. Qualitative Spatial and Temporal Reasoning. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118601457.
Texto completoYates, Abigail E. Reasoning with qualitative temporal constraints. Manchester: UMIST, 1996.
Buscar texto completoLigozat, Gérard. Qualitative spatial and temporal reasoning. London, UK: ISTE, 2011.
Buscar texto completoCaluwe, Rita. Spatio-Temporal Databases: Flexible Querying and Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Buscar texto completo1962-, Fisher Michael, Gabbay Dov M. 1945- y Vila L, eds. Handbook of temporal reasoning in artificial intelligence. Boston: Elsevier, 2005.
Buscar texto completoBettini, Claudio, Sushil Jajodia y 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.
Texto completoDutta, Soumitra. A model for temporal reasoning in medical expert systems. Fontainebleau: INSEAD, 1990.
Buscar texto completoCapítulos de libros sobre el tema "Temporal reasoning"
Puppe, Frank. "Temporal Reasoning". En Systematic Introduction to Expert Systems, 79–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-77971-8_10.
Texto completoGoertzel, Ben, Nil Geisweiller, Lucio Coelho, Predrag Janicic y Cassio Pennachin. "Temporal Reasoning". En Atlantis Thinking Machines, 79–97. Paris: Atlantis Press, 2011. http://dx.doi.org/10.2991/978-94-91216-11-4_5.
Texto completoTerenziani, Paolo. "Qualitative Temporal Reasoning". En Encyclopedia of Database Systems, 1–5. New York, NY: Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_287-2.
Texto completoShekhar, Shashi y Hui Xiong. "Reasoning, Spatio-temporal". En Encyclopedia of GIS, 955. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-35973-1_1091.
Texto completoTerenziani, Paolo. "Qualitative Temporal Reasoning". En Encyclopedia of Database Systems, 2225–29. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_287.
Texto completoTerenziani, Paolo. "Qualitative Temporal Reasoning". En Encyclopedia of Database Systems, 2953–57. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_287.
Texto completoCombi, Carlo, Elpida Keravnou-Papailiou y Yuval Shahar. "Temporal Modeling and Temporal Reasoning". En Temporal Information Systems in Medicine, 9–44. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6543-1_2.
Texto completoBozzelli, Laura y César Sánchez. "Visibly Linear Temporal Logic". En Automated Reasoning, 418–33. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6_33.
Texto completoHustadt, Ullrich, Boris Konev, Alexandre Riazanov y Andrei Voronkov. "TeMP: A Temporal Monodic Prover". En Automated Reasoning, 326–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-25984-8_23.
Texto completoBellomarini, Luigi, Livia Blasi, Markus Nissl y Emanuel Sallinger. "The Temporal Vadalog System". En Rules and Reasoning, 130–45. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-21541-4_9.
Texto completoActas de conferencias sobre el tema "Temporal reasoning"
Miller, David P. "Temporal reasoning". En the 18th conference. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/318242.318472.
Texto completoKoskinen, Eric y Tachio Terauchi. "Local temporal reasoning". En CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2603088.2603138.
Texto completoKoenig, A. y E. Crochon. "Temporal reasoning in TRAM". En the second international conference. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/67312.67384.
Texto completoTerenziani, Paolo y Antonella Andolina. "Probabilistic quantitative temporal reasoning". En SAC 2017: Symposium on Applied Computing. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3019612.3019712.
Texto completoRabin, Marla J., Paul R. Spinrad y Thomas C. Fall. "Model Based Temporal Reasoning". En 1988 Technical Symposium on Optics, Electro-Optics, and Sensors, editado por Mohan M. Trivedi. SPIE, 1988. http://dx.doi.org/10.1117/12.946973.
Texto completoDixon, Clare, Michael Fisher, Boris Konev y Alexei Lisitsa. "Practical First-Order Temporal Reasoning". En 2008 15th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2008. http://dx.doi.org/10.1109/time.2008.15.
Texto completoWEISSER, JR., PAUL y RANDY HOWIE. "Distributed scheduling and temporal reasoning". En 7th Computers in Aerospace Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1989. http://dx.doi.org/10.2514/6.1989-3119.
Texto completoMoreno, Marcio, Rodrigo Santos, Wallas Santos, Sandro Fiorini, Reinaldo Silva y Renato Cerqueira. "Multimedia Search and Temporal Reasoning". En 2019 IEEE/ACIS 18th International Conference on Computer and Information Science (ICIS). IEEE, 2019. http://dx.doi.org/10.1109/icis46139.2019.8940351.
Texto completoEmerson, E. A., T. Sadler y J. Srinivasan. "Efficient temporal reasoning (extended abstract)". En the 16th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/75277.75292.
Texto completoDe Giacomo, Giuseppe. "Temporal Reasoning in Bounded Situation Calculus". En 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2015. http://dx.doi.org/10.1109/time.2015.20.
Texto completoInformes sobre el tema "Temporal reasoning"
Bittner, Thomas. Approximate Qualitative Temporal Reasoning. Fort Belvoir, VA: Defense Technical Information Center, enero de 2001. http://dx.doi.org/10.21236/ada465990.
Texto completoGudivada, V. N. y R. Loganantharaj. Temporal Reasoning and Problem Solving. Fort Belvoir, VA: Defense Technical Information Center, enero de 1992. http://dx.doi.org/10.21236/ada248457.
Texto completoSwinney, David A. y Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 1994. http://dx.doi.org/10.21236/ada290325.
Texto completoSwinney, David A. y Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Fort Belvoir, VA: Defense Technical Information Center, mayo de 1992. http://dx.doi.org/10.21236/ada253031.
Texto completoSwinney, David A. y Edward E. Smith. Temporal and Qualitative Decomposition of Plausible Reasoning. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 1993. http://dx.doi.org/10.21236/ada275073.
Texto completoLutz, Carsten. Interval-based Temporal Reasoning with General TBoxes. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.109.
Texto completoBell, Colin E. Temporal Knowledge Representation and Reasoning for Project Planning. Fort Belvoir, VA: Defense Technical Information Center, abril de 1988. http://dx.doi.org/10.21236/ada196075.
Texto completoBorgwardt, Stefan, Marcel Lippmann y Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Texto completoShastri, Lokendra. Spatio-Temporal Neural Networks for Vision, Reasoning and Rapid Decision Making. Fort Belvoir, VA: Defense Technical Information Center, marzo de 1995. http://dx.doi.org/10.21236/ada299746.
Texto completoHorrocks, Ian y Stephan Tobies. Optimisation of Terminological Reasoning. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.99.
Texto completo