{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:10Z","timestamp":1747548610289,"version":"3.40.5"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1018959823016","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"279-318","source":"Crossref","is-referenced-by-count":7,"title":["On geometric and topological reasoning in robotics"],"prefix":"10.1007","volume":"19","author":[{"given":"J.","family":"Pfalzgraf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325418_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3916-1","volume-title":"Rational Kinematics","author":"J. Angeles","year":"1988","unstructured":"J. Angeles, Rational Kinematics (Springer-Verlag, New York-Berlin, 1988)."},{"key":"325418_CR2","doi-asserted-by":"crossref","unstructured":"T. Becker and V. Weispfenning, Gr\u00f6bner Bases. A Computational Approach to Commutative Algebra, Graduate Texts in Mathematies 141 (Springer-Verlag, 1993). (In cooperation with H. Kredel.)","DOI":"10.1007\/978-1-4612-0913-3_5"},{"key":"325418_CR3","unstructured":"J. Bochnak, M. Coste and M.-F. Roy, G\u00e9ometrie Alg\u00e9brique R\u00e9elle (Springer-Verlag, 1987)."},{"key":"325418_CR4","doi-asserted-by":"crossref","unstructured":"J.-D. Boissonat and J.-P. Laumond (eds.), Geometry and Robotics, Lecture Notes in Computer Science 391 (Springer-Verlag, 1989).","DOI":"10.1007\/3-540-51683-2"},{"key":"325418_CR5","doi-asserted-by":"crossref","unstructured":"R. Bott and L.W. Tu, Differential Forms in Algebraic Topology, Graduate Text in Mathematics 82 (Springer-Verlag, 1982).","DOI":"10.1007\/978-1-4757-3951-0"},{"key":"325418_CR6","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger, Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, in: Multidimensional Systems Theory, ed. N.K. Bose (D. Reidel Publ. Comp., Dordrecht-Boston-Lancaster, 1985) pp. 184\u2013232."},{"key":"325418_CR7","doi-asserted-by":"crossref","unstructured":"B. Buchberger, Applications of Gr\u00f6bner bases in non-linear computational geometry, Mathematical Aspects of Scientific Software (ed. J.R. Rice) 14 (1987) 59\u201387.","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"325418_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1146\/annurev.cs.03.060188.000505","volume":"3","author":"B. Buchberger","year":"1988","unstructured":"B. Buchberger, G. Collins and B. Kutzler, Algebraic methods for geometric reasoning, Ann. Rev. Comput. Sci. 3 (1988) 85\u2013119.","journal-title":"Ann. Rev. Comput. Sci."},{"key":"325418_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Burdick, On the inverse kinematics of redundant manipulators: Characterization of the self-motion manifolds, IEEE (1989) 264\u2013270.","DOI":"10.1007\/978-3-642-83957-3_3"},{"key":"325418_CR10","doi-asserted-by":"crossref","unstructured":"G.E. Collins, Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Lecture Notes in Computer Science 33 (1975) 134\u2013183.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"325418_CR11","doi-asserted-by":"crossref","unstructured":"D. Cox, J. Little and D. O'Shea, Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics (Springer-Verlag, 1992).","DOI":"10.1007\/978-1-4757-2181-2_8"},{"key":"325418_CR12","unstructured":"J.J. Craig, Introduction to Robotics (Addison-Wesley Publ. Co., 1986)."},{"key":"325418_CR13","series-title":"Technical Report","volume-title":"Towards a toolkit for benchmark scenarios in robot multi-tasking","author":"F. Dargam","year":"1991","unstructured":"F. Dargam, J. Pfalzgraf, V. Stahl and K. Stokkermans, Towards a toolkit for benchmark scenarios in robot multi-tasking, Technical Report 91\u201345.0, RISC-Linz, J. Kepler University, Linz, Austria (1991)."},{"key":"325418_CR14","unstructured":"D. Gabbay, Labelled Deductive Systems, Part I (CIS, University of Munich, 1990). CIS-Bericht\u201390\u201322."},{"key":"325418_CR15","unstructured":"R. Goldblatt, Topoi. The Categorical Analysis of Logic (North-Holland Publishing Company, 1986). 2nd printing 1986."},{"key":"325418_CR16","first-page":"219","volume":"38","author":"D.H. Gottlieb","year":"1987","unstructured":"D.H. Gottlieb, Robots and fibre bundles, Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique 38 (1987) 219\u2013223.","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique"},{"key":"325418_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00046582","volume":"10","author":"D.H. Gottlieb","year":"1987","unstructured":"D.H. Gottlieb, Topology and the robot arm, Acta Applicandae Mathematicae 10 (1987) 1\u20135.","journal-title":"Acta Applicandae Mathematicae"},{"key":"325418_CR18","doi-asserted-by":"crossref","unstructured":"J. Harris, Algebraic Geometry, Graduate Texts in Mathematics 133 (Springer-Verlag, 1992).","DOI":"10.1007\/978-1-4757-2189-8_11"},{"key":"325418_CR19","series-title":"RISC-Linz Report","volume-title":"The inverse kinematics system \u2014 installation guide, user's manual, program documentation","author":"P. Hintenaus","year":"1987","unstructured":"P. Hintenaus, The inverse kinematics system \u2014 installation guide, user's manual, program documentation, RISC-Linz Report no. 87\u201318.0, RISC-Linz, J. Kepler University, Linz, Austria (1987)."},{"key":"325418_CR20","unstructured":"H. Hong, Improvements in CAD-based quantifier elimination, Ph.D. Thesis, Ohio State University (1990)."},{"key":"325418_CR21","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1145\/5948.5949","volume":"29","author":"J.E. Hopcroft","year":"1986","unstructured":"J.E. Hopcroft, The impact of robotics on computer science, Communications of the ACM 29 (1986) 486\u2013498.","journal-title":"Communications of the ACM"},{"key":"325418_CR22","unstructured":"U. Karras, On mathematics in robotics, Lecture Notes (in German), DMV Seminar on Mathematics in Robotics; held in Blaubeuren (November, 1988)."},{"key":"325418_CR23","unstructured":"S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic, Universitext (Springer-Verlag, 1992)."},{"key":"325418_CR24","volume-title":"Robot Manipulators","author":"R.P. Paul","year":"1982","unstructured":"R.P. Paul, Robot Manipulators (MIT Press, Cambridge, Massachusetts and London, 1982)."},{"key":"325418_CR25","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf, Logical fiberings and polycontextural systems, in: Fundamentals of Artificial Intelligence Research, eds. Ph. Jorrand and J. Kelemen, Lecture Notes in Computer Science 535, Subseries in AI (Springer-Verlag, 1991).","DOI":"10.1007\/3-540-54507-7_14"},{"key":"325418_CR26","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf, On mathematical modeling in robotics, in: Artificial Intelligence and Symbolic Mathematical Computing, eds. J. Calmet and J.A. Campbell, Proceedings, Lecture Notes in Computer Science 737 (Springer-Verlag, 1993).","DOI":"10.1007\/3-540-57322-4_8"},{"key":"325418_CR27","unstructured":"J. Pfalzgraf, U. Sigmund, V. Sofronie and K. Stokkermans, Towards a cooperating robots demonstrator, MEDLAR II Deliverable, RISC-Linz Report Series No. 95\u201349 (1995)."},{"key":"325418_CR28","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf, U. Sigmund and K. Stokkermans, Modelling cooperative agents scenarios by deductive planning methods and logical fiberings, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, Proceedings of AISMC-2, Lecture Notes in Computer Science 958 (Springer-Verlag, 1995).","DOI":"10.1007\/3-540-60156-2_13"},{"key":"325418_CR29","unstructured":"J. Pfalzgraf, U. Sigmund and K. Stokkermans, Towards a general approach for modeling actions and change in cooperating agents scenarios. To appear in a special issue of IGPL (Journal of the Interest Group in Pure and Applied Logics)."},{"key":"325418_CR30","unstructured":"J. Pfalzgraf, V. Sofronie and K. Stokkermans, On a semantics for cooperative agents scenarios, in: Proceedings 13th European Meeting on Cybernetics and Systems Research (EMCSR'96), Vienna, April 1996."},{"key":"325418_CR31","series-title":"Technical Report","volume-title":"Scenario construction continued and extended with a view to test and enhancement of reasoning methods","author":"J. Pfalzgraf","year":"1992","unstructured":"J. Pfalzgraf and K. Stokkermans, Scenario construction continued and extended with a view to test and enhancement of reasoning methods, Technical Report 92\u201327, RISC-Linz, J. Kepler University, Linz, Austria (1992)."},{"key":"325418_CR32","series-title":"Technical report","volume-title":"Inverse kinematics in terms of Denavit-Hartenberg parameters","author":"J. Sixt","year":"1993","unstructured":"J. Sixt, Inverse kinematics in terms of Denavit-Hartenberg parameters, Technical report, RISC-Linz, J. Kepler University, Linz, Austria (1993)."},{"key":"325418_CR33","series-title":"Technical report","volume-title":"Darstellung algebraischer Kurven mittels Computergraphik (diploma thesis)","author":"R. Stobbe","year":"1992","unstructured":"R. Stobbe, Darstellung algebraischer Kurven mittels Computergraphik (diploma thesis), Technical report, Mathematics Institute, University of Kaiserslautern, Germany (1992)."},{"key":"325418_CR34","volume-title":"Topologie","author":"T. Tom Dieck","year":"1991","unstructured":"T. Tom Dieck, Topologie (W. de Gruyter, Berlin-New York, 1991)."},{"key":"325418_CR35","series-title":"Technical Report","volume-title":"Proc. MEDLAR 24-Month Review Workshop","author":"D.M. Wang","year":"1991","unstructured":"D.M. Wang, Reasoning about geometric problems using algebraic methods, in: Proc. MEDLAR 24-Month Review Workshop, Grenoble, December 1991, Technical Report 91\u201351.0, RISC-Linz, J. Kepler University, Linz, Austria (1991)."},{"key":"325418_CR36","doi-asserted-by":"crossref","unstructured":"D. Wloka, Robotersysteme, Volumes I, II, III (Springer-Verlag, 1992).","DOI":"10.1007\/978-3-642-93513-8"},{"key":"325418_CR37","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W.T. Wu","year":"1986","unstructured":"W.T. Wu, Basic principles of mechanical theorem proving in elementary geometries, J. Automated Reasoning 2 (1986) 221\u2013255.","journal-title":"J. Automated Reasoning"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018959823016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018959823016\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018959823016.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:43:18Z","timestamp":1747546998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018959823016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":37,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["325418"],"URL":"https:\/\/doi.org\/10.1023\/a:1018959823016","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}