{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T07:40:11Z","timestamp":1742715611800,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642289415"},{"type":"electronic","value":"9783642289422"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28942-2_57","type":"book-chapter","created":{"date-parts":[[2012,3,15]],"date-time":"2012-03-15T14:45:19Z","timestamp":1331822719000},"page":"635-646","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning with Qualitative Velocity: Towards a Hybrid Approach"],"prefix":"10.1007","author":[{"given":"J.","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Mu\u00f1oz-Velasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"13-15","key":"57_CR1","doi-asserted-by":"publisher","first-page":"2729","DOI":"10.1016\/j.neucom.2009.02.017","volume":"72","author":"A. Abraham","year":"2009","unstructured":"Abraham, A., Corchado, E., Corchado, J.M.: Hybrid learning machines. Neurocomputing\u00a072(13-15), 2729\u20132730 (2009)","journal-title":"Neurocomputing"},{"issue":"3","key":"57_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A., Wolter, A., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence\u00a017(3), 239\u2013251 (2002)","journal-title":"Applied Intelligence"},{"issue":"01","key":"57_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S021848851100685X","volume":"19","author":"A. Burrieza","year":"2011","unstructured":"Burrieza, A., Mu\u00f1oz-Velasco, E., Ojeda-Aciego, M.: A PDL approach for qualitative velocity. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a019(01), 11\u201326 (2011)","journal-title":"Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"57_CR4","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-14264-2_8","volume-title":"Current Topics in Artificial Intelligence","author":"A. Burrieza","year":"2010","unstructured":"Burrieza, A., Mu\u00f1oz-Velasco, E., Ojeda-Aciego, M.: Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds.) CAEPIA 2009. LNCS(LNAI), vol.\u00a05988, pp. 71\u201380. Springer, Heidelberg (2010)"},{"key":"57_CR5","doi-asserted-by":"publisher","first-page":"1852","DOI":"10.1080\/00207160902777906","volume":"86","author":"A. Burrieza","year":"2009","unstructured":"Burrieza, A., Ojeda-Aciego, M., Or\u0142owska, E.: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. International Journal of Computer Mathematics\u00a086, 1852\u20131866 (2009)","journal-title":"International Journal of Computer Mathematics"},{"key":"57_CR6","unstructured":"Cohn, A., Renz, J.: Handbook of Knowledge Representation. Elsevier (2007)"},{"key":"57_CR7","doi-asserted-by":"publisher","first-page":"2633","DOI":"10.1016\/j.ins.2010.02.019","volume":"180","author":"E. Corchado","year":"2010","unstructured":"Corchado, E., Abraham, A., de Carvalho, A.: Editorial: Hybrid intelligent algorithms and applications. Information Science\u00a0180, 2633\u20132634 (2010)","journal-title":"Information Science"},{"issue":"1","key":"57_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.neucom.2011.06.021","volume":"75","author":"E. Corchado","year":"2012","unstructured":"Corchado, E., Gra\u00f1a, M., Wozniak, M.: New trends and applications on hybrid artificial intelligence systems. Neurocomputing\u00a075(1), 61\u201363 (2012)","journal-title":"Neurocomputing"},{"key":"57_CR9","doi-asserted-by":"crossref","unstructured":"Delafontaine, M., Bogaert, P., Cohn, A.G., Witlox, F., Maeyer, P.D., de Weghe, N.V.: Inferring additional knowledge from QTC N relations. Information Sciences (2011), doi:10.1016\/j.ins.2010.12.021","DOI":"10.1016\/j.ins.2010.12.021"},{"issue":"6","key":"57_CR10","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/j.ins.2005.01.021","volume":"176","author":"M. Duckham","year":"2006","unstructured":"Duckham, M., Lingham, J., Mason, K., Worboys, M.: Qualitative reasoning about consistency in geographic information. Information Sciences\u00a0176(6), 601\u2013627 (2006)","journal-title":"Information Sciences"},{"key":"57_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-36079-4","volume-title":"Topics in Artificial Intelligence","author":"M.T. Escrig","year":"2002","unstructured":"Escrig, M.T., Toledo, F.: Qualitative Velocity. In: Escrig, M.T., Toledo, F.J., Golobardes, E. (eds.) CCIA 2002. LNCS (LNAI), vol.\u00a02504, pp. 28\u201339. Springer, Heidelberg (2002)"},{"issue":"2-3","key":"57_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0004-3702(92)90025-S","volume":"56","author":"B. Faltings","year":"1992","unstructured":"Faltings, B.: A symbolic approach to qualitative kinematics. Artificial Intelligence\u00a056(2-3), 139\u2013170 (1992)","journal-title":"Artificial Intelligence"},{"key":"57_CR13","unstructured":"Forbus, K., Nielsen, P., Faltings, B.: Qualitative kinematics: A framework. In: Proceedings of the Int. Joint Conference on Artificial Intelligence, pp. 430\u2013437 (1987)"},{"issue":"10","key":"57_CR14","doi-asserted-by":"publisher","first-page":"2044","DOI":"10.1016\/j.ins.2009.12.010","volume":"180","author":"S. Garc\u00eda","year":"2010","unstructured":"Garc\u00eda, S., Fern\u00e1ndez, A., Luengo, J., Herrera, F.: Advanced nonparametric tests for multiple comparisons in the design of experiments in computational intelligence and data mining: Experimental analysis of power. Information Sciences\u00a0180(10), 2044\u20132064 (2010)","journal-title":"Information Sciences"},{"key":"57_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-89197-0_15","volume-title":"PRICAI 2008: Trends in Artificial Intelligence","author":"J. Goli\u0144ska-Pilarek","year":"2008","unstructured":"Goli\u0144ska-Pilarek, J., Mora, A., Mu\u00f1oz-Velasco, E.: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol.\u00a05351, pp. 128\u2013139. Springer, Heidelberg (2008)"},{"key":"57_CR16","doi-asserted-by":"publisher","first-page":"1707","DOI":"10.1080\/00207160902930752","volume":"86","author":"J. Goli\u0144ska-Pilarek","year":"2009","unstructured":"Goli\u0144ska-Pilarek, J., Mu\u00f1oz-Velasco, E.: Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. International Journal of Computer Mathematics\u00a086, 1707\u20131718 (2009)","journal-title":"International Journal of Computer Mathematics"},{"key":"57_CR17","doi-asserted-by":"crossref","unstructured":"Hinrichs, T., Forbus, K., de Kleer, J., Yoon, S., Jones, E., Hyland, R., Wilson, J.: Hybrid Qualitative Simulation of Military Operations. In: Proc. Twenty-Third IAAI Conf. (2011)","DOI":"10.1609\/aaai.v25i2.18856"},{"key":"57_CR18","doi-asserted-by":"crossref","unstructured":"Liu, W., Li, S., Renz, J.: Combining RCC-8 with qualitative direction calculi: Algorithms and complexity. In: Proceedings of IJCAI 2009, pp. 854\u2013859 (2009)","DOI":"10.1109\/ICDM.2009.106"},{"issue":"3","key":"57_CR19","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1109\/TFUZZ.2007.905922","volume":"16","author":"H. Liu","year":"2008","unstructured":"Liu, H., Brown, D.J., Coghill, G.M.: Fuzzy qualitative robot kinematics. IEEE Transactions on Fuzzy Systems\u00a016(3), 808\u2013822 (2008)","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"57_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-25940-4_7","volume-title":"RoboCup 2003: Robot Soccer World Cup VII","author":"A. Miene","year":"2004","unstructured":"Miene, A., Visser, U., Herzog, O.: Recognition and Prediction of Motion Situations Based on a Qualitative Motion Description. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), vol.\u00a03020, pp. 77\u201388. Springer, Heidelberg (2004)"},{"key":"57_CR21","unstructured":"Nielsen, P.: A qualitative approach to rigid body mechanics, University of Illinois at Urbana-Champaign, PhD thesis (1988)"},{"key":"57_CR22","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Goli\u0144ska-Pilarek, J.: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol.\u00a036. Springer Science (2011)","DOI":"10.1007\/978-94-007-0005-5"},{"issue":"1-3","key":"57_CR23","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.neucom.2008.10.027","volume":"73","author":"W. Pedrycz","year":"2009","unstructured":"Pedrycz, W., Aliev, R.: Logic-oriented neural networks for fuzzy neurocomputing. Neurocomputing\u00a073(1-3), 10\u201323 (2009)","journal-title":"Neurocomputing"},{"key":"57_CR24","unstructured":"Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of KR, pp. 165\u2013176 (1992)"},{"key":"57_CR25","first-page":"57","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"Rasiowa, H., Sikorski, R.: On gentzen theorem. Fund. Mathematicae\u00a048, 57\u201369 (1960)","journal-title":"Fund. Mathematicae"},{"key":"57_CR26","doi-asserted-by":"crossref","unstructured":"Roduit, P., Martinoli, A., Jacot, J.: A quantitative method for comparing trajectories of mobile robots using point distribution models. In: Proc. Intelligent Robots and Systems, IROS 2007, pp. 2441\u20132448 (2007)","DOI":"10.1109\/IROS.2007.4399126"},{"key":"57_CR27","unstructured":"Sokolsky, O., Hong, H.S.: Qualitative modeling of hybrid systems. In: Proc. of the Montreal Workshop (2001), http:\/\/www.cis.upenn.edu\/~rtg\/rtg_papers.html"},{"key":"57_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45751-8_19","volume-title":"KI 2002: Advances in Artificial Intelligence","author":"F. Stolzenburg","year":"2002","unstructured":"Stolzenburg, F., Obst, O., Murray, J.: Qualitative Velocity and Ball Interception. In: Jarke, M., Koehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS (LNAI), vol.\u00a02479, pp. 283\u2013298. Springer, Heidelberg (2002)"},{"key":"57_CR29","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. Journal of Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"57_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/11586180_5","volume-title":"GeoSpatial Semantics","author":"N. de Weghe Van","year":"2005","unstructured":"Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A Qualitative Trajectory Calculus and the Composition of Its Relations. In: Rodr\u00edguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M. (eds.) GeoS 2005. LNCS, vol.\u00a03799, pp. 60\u201376. Springer, Heidelberg (2005)"},{"key":"57_CR31","doi-asserted-by":"crossref","unstructured":"Vries, D., Verheijen, P.J.T., den Dekker, A.J.: Hybrid system modeling and identification of cell biology systems: perspectives and challenges. In: Proc. 15th IFAC Symposium on System Identification, pp. 227\u2013232 (2009)","DOI":"10.3182\/20090706-3-FR-2004.00038"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28942-2_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T07:05:46Z","timestamp":1742713546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28942-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642289415","9783642289422"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28942-2_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}