{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T15:10:03Z","timestamp":1749222603725,"version":"3.41.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Intelligent and Robotic Systems"],"published-print":{"date-parts":[[1998,9]]},"DOI":"10.1023\/a:1008021418835","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:45:23Z","timestamp":1040561123000},"page":"1-25","source":"Crossref","is-referenced-by-count":3,"title":["Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning"],"prefix":"10.1007","volume":"23","author":[{"given":"Y. P.","family":"Chien","sequence":"first","affiliation":[]},{"given":"Anand","family":"Hudli","sequence":"additional","affiliation":[]},{"given":"Mathew","family":"Palakal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"162653_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Khoshafian, S.: A calculus for complex objects, ACM PODS Conf., 1986, pp. 53\u201359.","DOI":"10.1145\/6012.15404"},{"key":"162653_CR2","doi-asserted-by":"crossref","unstructured":"Carddelli, L.: A semantics of multiple inheritance, in: L. Cardelli (ed.), Semantics of Data Types, Lecture Notes in Comput. Sci., Vol. 173, Springer, 1984, pp. 51\u201367.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"162653_CR3","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"Chapman, D.: Planning for conjunctive goals, Artificial Intelligence\n32 (1987), 333\u2013377.","journal-title":"Artificial Intelligence"},{"key":"162653_CR4","doi-asserted-by":"crossref","unstructured":"Collins, G., Birnbaum, L., Krulwich, B., and Freed, M.: The role of self-models in learning to plan, in: A. Meyrowitz and S. Chipman (eds), Foundations of Knowledge Acquisition, Machine Learning, Kluwer Academic Publishers, 1993, pp. 117\u2013143.","DOI":"10.1007\/978-0-585-27366-2_4"},{"key":"162653_CR5","unstructured":"Cohn, A. G.: Many-sorted logic D unsorted logic C control? in: M. Branur (ed.), Expert Systems 86, Cambridge Univ. Press, 1986, pp. 184\u2013194."},{"key":"162653_CR6","unstructured":"DeJong, G., Gervasio, M., and Bennett, S.: On integrating machine learning with planning, in: A. Meyrowitz and S. Chipman (eds), Foundations of Knowledge Acquisition, Machine Learning, Kluwer Academic Publishers, 1993, pp. 85\u2013116."},{"key":"162653_CR7","unstructured":"Erol, K., Nau, D. S., and Subrahmanian, V. S.: On the complexity of domain-independent planning, in: Proc. of 10th National Conf. on Artificial Intelligence, San Jose, CA, 1992, pp. 381\u2013386."},{"issue":"6","key":"162653_CR8","doi-asserted-by":"crossref","first-page":"1352","DOI":"10.1109\/21.61206","volume":"20","author":"C. Fennema","year":"1990","unstructured":"Fennema, C. et. al.: Model-directed mobile robot navigation, IEEE Trans. Systems Man Cybernet.\n20(6) (1990), 1352\u20131369.","journal-title":"IEEE Trans. Systems Man Cybernet"},{"key":"162653_CR9","doi-asserted-by":"crossref","unstructured":"Kavraki, L. and Latombe, J.: Randomized preprocessing of configuration space for fast path planning, in: Proc. IEEE Internat. Conf. on Robotics and Automation, San Diego, CA, 1994, pp. 2138\u20132145.","DOI":"10.1109\/ROBOT.1994.350966"},{"issue":"1\u20132","key":"162653_CR10","first-page":"115","volume":"9","author":"E. W. Kent","year":"1991","unstructured":"Kent, E. W.: Submetric formalism for task representation, Robotics Automat. Systems\n9(1\u20132) (1991), 115\u2013133.","journal-title":"Robotics Automat. Systems"},{"key":"162653_CR11","doi-asserted-by":"crossref","unstructured":"Lecluse, C., Richard, P., and Velez, F.: O2, an object-oriented data model, in: Proc. of the ACM-SIGMOD Conf., Chicago, IL, 1988.","DOI":"10.1007\/3-540-19074-0_75"},{"issue":"3","key":"162653_CR12","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/JRA.1987.1087095","volume":"RA-3","author":"T. Lozano-Perez","year":"1987","unstructured":"Lozano-Perez, T.: A simple motion-planning algorithm for general robot manipulators, IEEE Trans. Robotics Automat.\nRA-3(3) (1987), 224\u2013238.","journal-title":"IEEE Trans. Robotics Automat"},{"key":"162653_CR13","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF01840369","volume":"2","author":"V. J. Lumelsky","year":"1987","unstructured":"Lumelsky, V. J. and Stepanov, A. A.: Path planning strategies for a point mobile automaton moving admist unknown obstacles of arbitrary shape, Algorithmica\n2 (1987), 403\u2013430.","journal-title":"Algorithmica"},{"key":"162653_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1002\/int.4550060404","volume":"6","author":"D. McDernott","year":"1991","unstructured":"McDernott, D.: Regression planning, Internat. J. Intell. Systems\n6 (1991), 357\u2013416.","journal-title":"Internat. J. Intell. Systems"},{"key":"162653_CR15","volume-title":"Principles of Artificial Intelligence","author":"N. J. Nilsson","year":"1980","unstructured":"Nilsson, N. J.: Principles of Artificial Intelligence, Tioga (Press), Palo Alto, CA, 1980."},{"key":"162653_CR16","volume-title":"A Structure for Plans and Behavior","author":"E. D. Sacerdoti","year":"1977","unstructured":"Sacerdoti, E. D.: A Structure for Plans and Behavior, Elsevier, North-Holland, Amsterdam, 1977."},{"issue":"3\/4","key":"162653_CR17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0736-5845(88)90006-3","volume":"4","author":"P. C. Sheu","year":"1988","unstructured":"Sheu, P. C. and Kashyap, R. L.: Programming robot systems with knowledge, Robotica and Computer-Integrated Manufacturing\n4(3\/4) (1988), 359\u2013367.","journal-title":"Robotica and Computer-Integrated Manufacturing"},{"key":"162653_CR18","first-page":"217","volume-title":"Artificial Intelligence","author":"C. Walther","year":"1985","unstructured":"Walther, C.: A mechanical solution of Schubert's steamroller by many-sorted resolution, in: Artificial Intelligence 26, Elsevier, Amsterdam, 1985, pp. 217\u2013224."}],"container-title":["Journal of Intelligent and Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008021418835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008021418835\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008021418835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:33:18Z","timestamp":1749220398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008021418835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["162653"],"URL":"https:\/\/doi.org\/10.1023\/a:1008021418835","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"type":"print","value":"0921-0296"},{"type":"electronic","value":"1573-0409"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}