乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T08:04:32Z","timestamp":1725782672825},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250487"},{"type":"electronic","value":"9783540322559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32255-9_22","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T18:45:20Z","timestamp":1278096320000},"page":"390-412","source":"Crossref","is-referenced-by-count":16,"title":["Specification of an Ontology for Route Graphs"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Udo","family":"Frese","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"L\u00fcttich","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Mandel","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Robert J.","family":"Ross","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45460-8_22","volume-title":"Spatial Cognition II","author":"S. Werner","year":"2000","unstructured":"Werner, S., Krieg-Br\u00fcckner, B., Herrmann, T.: Modelling navigational knowledge by route graphs. In: Habel, C., Brauer, W., Freksa, C., Wender, K.F. (eds.) Spatial Cognition 2000. LNCS (LNAI), vol.\u00a01849, pp. 295\u2013317. Springer, Heidelberg (2000)"},{"key":"22_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-32255-9_21","volume-title":"Spatial Cognition IV, Reasoning, Action, Interaction","author":"J. Bateman","year":"2005","unstructured":"Bateman, J., Farrar, S.: Modelling models of robot navigation using formal spatial ontology. In: Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343, pp. 366\u2013389. Springer, Heidelberg (2005)"},{"issue":"12","key":"22_CR3","first-page":"1744","volume":"15","author":"B. Krieg-Br\u00fcckner","year":"2004","unstructured":"Krieg-Br\u00fcckner, B., Shi, H., Ross, R.J.: A safe and robust approach to shared control via dialogue. Journal of Software\u00a015(12), 1744\u20131755 (2004)","journal-title":"Journal of Software"},{"key":"22_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-540-32255-9_26","volume-title":"Spatial Cognition IV, Reasoning, Action, Interaction","author":"R. Ross","year":"2005","unstructured":"Ross, R., Shi, H., Vierhuff, T., Krieg-Br\u00fcckner, B., Bateman, J.: Towards dialogue-based shared control of navigating robots. In: Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343, pp. 478\u2013499. Springer, Heidelberg (2005)"},{"key":"22_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/3-540-69342-4_18","volume-title":"Spatial Cognition","author":"B. Krieg-Br\u00fcckner","year":"1998","unstructured":"Krieg-Br\u00fcckner, B., R\u00f6fer, T., Carmesin, H.O., M\u00fcller, R.: A taxonomy of spatial knowledge for navigation and its application to the bremen autonomous wheelchair. In: Freksa, C., Habel, C., Wender, K.F. (eds.) Spatial Cognition 1998. LNCS (LNAI), vol.\u00a01404, pp. 373\u2013397. Springer, Heidelberg (1998)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","volume":"11","author":"M. Uschold","year":"1996","unstructured":"Uschold, M., Gr\u00fcninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review\u00a011, 93\u2013155 (1996)","journal-title":"Knowledge Engineering Review"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45810-7","volume-title":"13th International Conference, EKAW 2002. Proceedings, EKAW","author":"A. G\u00f3mez-P\u00e9rez","year":"2002","unstructured":"G\u00f3mez-P\u00e9rez, A., Benjamins, V.R.(eds): Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol.\u00a02473. Springer, Heidelberg (2002)"},{"key":"22_CR8","first-page":"80","volume-title":"Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management","author":"O. Corcho","year":"2000","unstructured":"Corcho, O., G\u00f3mez-P\u00e9rez, A.: A roadmap to ontology specification languages. In: Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management, pp. 80\u201396. Springer, Heidelberg (2000)"},{"key":"22_CR9","unstructured":"Bechhofer, S., van Hermelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: W3C: OWL Web Ontology Language \u2013 Reference. W3C Recommendation\u00a0 (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"22_CR10","unstructured":"http:\/\/www.informatik.uni-bremen.de\/agbkb\/publikationensoftlibrary_e.htm"},{"key":"22_CR11","unstructured":"http:\/\/www.informatik.uni-bremen.de\/~davinci\/"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-40020-2_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"B. Krieg-Br\u00fcckner","year":"2003","unstructured":"Krieg-Br\u00fcckner, B., Hutter, D., Lindow, A., L\u00fcth, C., Mahnke, A., Melis, E., Meier, P., Poetzsch-Heffter, A., Roggenbach, M., Russell, G., Smaus, J.G., Wirsing, M.: Multimedia instruction in safe and secure systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 82\u2013117. Springer, Heidelberg (2003)"},{"key":"22_CR13","series-title":"Lecture Notes in Informatics","first-page":"271","volume-title":"DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik","author":"B. Krieg-Br\u00fcckner","year":"2004","unstructured":"Krieg-Br\u00fcckner, B., Lindow, A., L\u00fcth, C., Mahnke, A., Russell, G.: Semantic interrelation of documents via an ontology. In: Engels, G., Seehusen, S. (eds.) DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik. Lecture Notes in Informatics, vol.\u00a0P-52, pp. 271\u2013282. Springer, Heidelberg (2004)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Krieg-Br\u00fcckner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl \u2013 the common algebraic specification language. Theoretical Computer Science\u00a0286, 153\u2013196 (2002), www.cofi.info","journal-title":"Theoretical Computer Science"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Casl Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: [7], pp. 166\u2013181","DOI":"10.1007\/3-540-45810-7_18"},{"key":"22_CR17","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"140","volume-title":"Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS\u00a02004)","author":"K. L\u00fcttich","year":"2004","unstructured":"L\u00fcttich, K., Mossakowski, T.: Specification of ontologies in CASL. In: Varzi, A.C., Vieu, L. (eds.) Formal Ontology in Information Systems, Proceedings of the Third International Conference (FOIS\u00a02004). Frontiers in Artificial Intelligence and Applications, vol.\u00a0114, pp. 140\u2013150. IOS Press, Amsterdam (2004)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"L\u00fcttich, K., Krieg-Br\u00fcckner, B., Mossakowski, T.: Ontologies for the semantic web in CASL. In: 17th Int. Workshop on Algebraic Development Techniques (2004) (to appear)","DOI":"10.1007\/978-3-540-31959-7_7"},{"key":"22_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-32255-9_23","volume-title":"Spatial Cognition IV, Reasoning, Action, Interaction","author":"J.O. Wallgr\u00fcn","year":"2005","unstructured":"Wallgr\u00fcn, J.O.: Autonomous construction of hierarchical voronoi-based route graph representations. In: Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343, pp. 413\u2013433. Springer, Heidelberg (2005)"},{"key":"22_CR20","first-page":"165","volume-title":"Proceedings KR 1992","author":"D. Randell","year":"1992","unstructured":"Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings KR 1992, pp. 165\u2013176. Morgan Kaufmann, San Mateo (1992)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-39923-0_5","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"R. Moratz","year":"2003","unstructured":"Moratz, R., Wallgr\u00fcn, J.O.: Spatial reasoning about relative orientation and distance for robot exploration. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol.\u00a02825, pp. 61\u201374. Springer, Heidelberg (2003)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Frese, U., Larsson, P., Duckett, T.: A multigrid algorithm for simultaneous localization and mapping. IEEE Transactions on Robotics (2004) (to appear)","DOI":"10.1109\/TRO.2004.839220"},{"key":"22_CR23","unstructured":"Frese, U.: A discussion of simultaneous localization and mapping. Autonomous Robots (2004) (submitted)"},{"key":"22_CR24","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)"},{"key":"22_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45620-1_22","volume-title":"Automated Deduction - CADE-18","author":"C. Weidenbach","year":"2002","unstructured":"Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., Topic, D.: SPASS version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 275\u2013279. Springer, Heidelberg (2002)"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-45719-4_34","volume-title":"Algebraic Methodology and Software Technology","author":"S. Autexier","year":"2002","unstructured":"Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 495\u2013502. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Spatial Cognition IV. Reasoning, Action, Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32255-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T17:32:33Z","timestamp":1635615153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32255-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250487","9783540322559"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32255-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}