{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:02Z","timestamp":1725569702926},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173189"},{"type":"electronic","value":"9783642173196"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17319-6_22","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T05:17:11Z","timestamp":1289452631000},"page":"217-228","source":"Crossref","is-referenced-by-count":3,"title":["Implementing Automated Robot Task Planning and Execution Based on Description Logic KB"],"prefix":"10.1007","author":[{"given":"Joonmyun","family":"Cho","sequence":"first","affiliation":[]},{"given":"Hyun","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Joochan","family":"Sohn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"22_CR2","unstructured":"Stollberg, M., Rhomberg, F.: Survey on Goal-driven architecture. Technical Report: DERI-TR-2006-06-04, Digital Enterprise Research Institute, DERI (2006)"},{"issue":"11","key":"22_CR3","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1016\/j.robot.2008.08.007","volume":"56","author":"C. Galindo","year":"2008","unstructured":"Galindo, C., Fernandez-Madrigal, J., Gonzalez, J., Saffiotti, A.: Robot task planning using semantic maps. Robotics and Autonomous Systems\u00a056(11), 955\u2013966 (2008)","journal-title":"Robotics and Autonomous Systems"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Wu, X., Zeng, G., Han, F., Wang, R.: Goal representation and Reasoning based on Description Logics(DLs). In: International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2007 (2007)","DOI":"10.2991\/iske.2007.73"},{"issue":"5","key":"22_CR5","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1093\/logcom\/9.5.759","volume":"9","author":"G. Giacomo De","year":"1999","unstructured":"De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: A theory and implementation of cognitive mobile robots. J. of Logic and Computation\u00a09(5), 759\u2013785 (1999)","journal-title":"J. of Logic and Computation"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Mili\u010di\u0107, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: 20th National Conference on Artificial Intelligence, AAAI 2005 (2005)","DOI":"10.25368\/2010.145"},{"issue":"3-4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"22_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-75560-9_30","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Mili\u010di\u0107","year":"2007","unstructured":"Mili\u010di\u0107, M.: Complexity of planning in action formalisms based on description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 408\u2013422. Springer, Heidelberg (2007)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"22_CR9","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"22_CR10","unstructured":"OWL: Web Ontology Language Reference. W3C (2004), http:\/\/www.w3c.org\/TR\/owl-ref\/"},{"key":"22_CR11","unstructured":"SWRL: A Semantic Web Rule Language combining OWL and RuleML. W3C (2004), http:\/\/www.w3c.org\/Submission\/SWRL\/"},{"key":"22_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1007\/11840541_68","volume-title":"From Animals to Animats 9","author":"L. Hugues","year":"2006","unstructured":"Hugues, L., Bredeche, N., Futurs, T.I.: Simbad: an Autonomous Robot Simulation Package for Education and Research. In: Nolfi, S., et al. (eds.) SAB 2006. LNCS (LNAI), vol.\u00a04095, pp. 831\u2013842. Springer, Heidelberg (2006)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for working with OWL 2 ontologies. In: OWL: Experiences and Directions, OWLED 2009 (2009)","DOI":"10.3233\/SW-2011-0025"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Semantics"}],"container-title":["Lecture Notes in Computer Science","Simulation, Modeling, and Programming for Autonomous Robots"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17319-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T05:09:47Z","timestamp":1685855387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17319-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173189","9783642173196"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17319-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}