{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:46:59Z","timestamp":1742946419968,"version":"3.40.3"},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848829824"},{"type":"electronic","value":"9781848829831"}],"license":[{"start":{"date-parts":[[2009,10,19]],"date-time":"2009-10-19T00:00:00Z","timestamp":1255910400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,10,19]],"date-time":"2009-10-19T00:00:00Z","timestamp":1255910400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-983-1_23","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T16:58:27Z","timestamp":1256662707000},"page":"305-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation"],"prefix":"10.1007","author":[{"given":"Zhirui","family":"Lu","sequence":"first","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Juan C.","family":"Augusto","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,19]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I: multiple-valued rules of inference, II: enriched residuated lattices and semantics of propositional calculi, III: semantical completeness of some multiple-valued propositional calculi. Zeitschr. F. Math. Logik und Grundlagend. Math., Vol. 25, pp. 45-52, 119-134, 447-464 (1979).","journal-title":"F. Math. Logik und Grundlagend. Math."},{"key":"23_CR2","volume-title":"A Treatise on Many-Valued Logics, Studies in Logic and Computation","author":"S. Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics, Studies in Logic and Computation, vol. 9, Research Studies Press Ltd., Baldock (2001)."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Xu, Y., Ruan, D., Qin, K., Liu, J.: Lattice-valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer-Verlag (2003).","DOI":"10.1007\/978-3-540-44847-1"},{"key":"23_CR4","volume-title":"Temporal Logics and Their Applications","author":"A. Galton","year":"1987","unstructured":"Galton, A.: Temporal Logics and Their Applications, Academic Press, London (1987)."},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF03037474","volume":"21","author":"J. Augusto","year":"2003","unstructured":"Augusto, J.: A General framework for Reasoning about Change. New Generation Computing, Vol. 21, pp. 209-247, Ohmsha, Ltd and Springer Verlag (2003).","journal-title":"New Generation Computing"},{"key":"23_CR6","unstructured":"Kr\u00f6ger, F., Merz, S.: Temporal Logic and State Systems, Springer (2008)."},{"key":"23_CR7","first-page":"1168","volume":"9","author":"D. Dubois","year":"2003","unstructured":"Dubois, D., HadjAli, A., Prade. H.: Fuzziness and uncertainty in temporal reasoning. JUCS, Vol.9, pp.1168-1195 (2003).","journal-title":"JUCS"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Escalada-Imaz, G.: A temporal many-valued logic for real time control systems. In: Proceeding of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, pp. 91-100 (2000).","DOI":"10.1007\/3-540-45331-8_9"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0165-0114(02)00231-2","volume":"134","author":"M. Mucientes","year":"2003","unstructured":"Mucientes, M., Iglesias, R., Regueiro, C., Bugarin, A., Barro. S.: A fuzzy temporal rule-based velocity controller for mobile robotics. Fuzzy Sets and System, Vol. 134, pp. 83-99 (2003).","journal-title":"Fuzzy Sets and System"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"1158","DOI":"10.1016\/j.artint.2008.01.001","volume":"172","author":"S. Schockaert","year":"2008","unstructured":"Schockaert, S., Cock, M.: Temporal reasoning about fuzzy intervals. Artificial Intelligence, vol. 172, pp. 1158-1193 (2008).","journal-title":"Artificial Intelligence"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Lu, Z., Liu, J., Augusto J., Wang H.: Multi-valued temporal reasoning framework for decision-making. In: Proceeding of the 8th International FLINS Conference , pp. 301-306 (2008).","DOI":"10.1142\/9789812799470_0049"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Galton, A., Augusto, J.: Stratified causal theories for reasoning about deterministic devices and protocols. In: Proceedings of 9th International Symposium on Temporal Representation and Reasoning, pp.52-54 (2002)","DOI":"10.1109\/TIME.2002.1027473"},{"key":"23_CR13","unstructured":"Augusto, J., McCullagh, P., Croft V., Walkden. J.: Enhanced healthcare provision through assisted decision-making in a smart home environment. Proceedings of 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07), pp.27-32 (2007)."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Liu, J., Martinez, L., Xu, Y., Lu, Z.: Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. In: Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07), pp.29 (2007).","DOI":"10.1109\/ISMVL.2007.9"}],"container-title":["Research and Development in Intelligent Systems XXVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-983-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T23:13:20Z","timestamp":1739402000000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-84882-983-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,19]]},"ISBN":["9781848829824","9781848829831"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-983-1_23","relation":{},"subject":[],"published":{"date-parts":[[2009,10,19]]},"assertion":[{"value":"19 October 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}