% Spatial Reasoning and Robotics % (bibtex archive) % Mikhail Soutchanski {E-mail: m.soutchanski@utoronto.ca } % WWW: ftp://ftp.cs.toronto.edu/pub/mes/bibl.ref/space/depth.html % % The bibtex citations in this file are compiled % from December 1995 to February 1996. % % Disclaimer. % No attempt is made in this bibliography archive to trace where % an original idea came from. Chronological accuracy is always % sacrificed here for citations which contain improved, more elaborate % and/or easily available versions of publications and ideas. % % Acknowledgments. % This archive is partially derived from: % % Qualitative Physics bibliography archive compiled by B.Kuipers: % http://www.cs.utexas.edu/users/qr/papers-QR.html ; % D.Hernandez' bibliography on Representation of Spatial Knowledge: % http://papa.informatik.tu-muenchen.de/danher/ % Spatial Reasoning bibliography compiled by A.Mukerjee: % http://www.cs.albany.edu/~amit/spatbib.html ; % Geometry Literature Database: % http://www.cs.ruu.nl/~otfried/html/geombib.html ; % Hypertext Bibliography Project database: % http://theory.lcs.mit.edu/~dmjones/hbp/ % Americam Mathematical Society database of abstracts published in % "Mathematical Reviews": http://www.ams.org/ % --------------------------------------------------------------- % Local BibTeX documentation: % /local/share/tex3/macros/labrea.bibtex/*.bst standard style files % % btxdoc.tex ``BibTeXing'' - LaTeXable documentation for general BibTeX users % btxhak.tex ``Designing BibTeX Styles'' - LaTeXable doc. for style designers % btxdoc.bib database file for those two documents % xampl.bib database file giving examples of all standard entry types % btxbst.doc template file and documentation for the standard styles @inproceedings{, author = "", title = "", booktitle = {}, crossref = {}, pages = "", year = " " } @article{Ambler/Popplestone:1975, author = {Ambler, A.P. and Popplestone, R.J.}, title = {Inferring the positions of bodies from specified spatial relations}, journal = "Artificial Intelligence", volume = {6}, pages = {129--156}, year = {1975}, } @inproceedings{Ambler_et_al:1987, author = {Ambler, A.P. and Cameron, S.A. and Corner, D.F.}, title = {Augmenting the {\large\tt RAPT} Robot Language}, booktitle = {Languages for Sensor-Based Control in Robotics}, series = {NATO ASI Series}, volume = {F29}, editor = {U. Rembold and K. H{\"o}rmann}, pages = {305--316}, publisher = "Springer-Verlag", address = "Berlin", year = 1987 } @techreport{ACCF:1994, author ="Antoniol, G. and Caprile, B. and Cimatti, A. and Fiutem, R.", title = "Experimenting Real-Life Interactions with the Mobile Platform of {\large\tt MAIA}", institution = { Istituto Ricerca Scientifica e Tecnologica (IRST)}, address = {Povo (Trento), Italy}, number = "9406-27", year = {1994}, pages = "22pp", note = {Reprinted in "The Biology and Technology of Intelligent Autonomous Agents", "NATO-ASI" series, Springer, 1993}, source={http://www.mrg.dist.unige.it/publist.html Abstract: Over the years, automated vehicles have evolved from reliable yet rigidly constrained AGV to the fairly flexible ones of the HelpMate generation. If many problems related to the autonomous navigation of such vehicles have found solutions that appear to be adequate to many practical situations, yet their capacity of interacting with the users and the environment is still limited. In the present paper, the reserch work done at IRST in the framework of the Experimental Platform of MAIA is presented. In particular, a transport mission scenario (MAIA'94) is considered, in which autonomous navigation, speech recognition and planning skills represents three aspects of one and the same ability that the system can exhibit of establishg interactions with the external world in an reliable and autonomous fashion. } } @inproceedings{Asher/Vieu:1995, author = {Asher, Nicolas and Vieu, Laura}, title = {Toward a Geometry of Common Sense -- A Semantics and a Complete Axiomatization of Mereotopology}, booktitle = "IJCAI-95", crossref = {ijcai:1995}, pages = {846--852}, year = {1995}, } @article{Ananthanarayanan_et_al:1994, author = {Ananthanarayanan, S.P. and Goldenberg, A.A. and Mylopoulos, J.}, title = {A qualitative theoretical framework for `common-sense' based multiple contact robotics manipulation}, journal = {Robotica}, volume = {12}, pages = {175--186}, year = {1994}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Asher_et_al:1993, author = {Asher, N. and Aurnague, M. and Bras, M. and Vieu, L.}, title = {Space, time and discourse}, crossref = {Anger_et_al:1993}, pages = {219--235}, ref={http://www.cs.albany.edu/~amit/tutijcai.html} } @incollection{Baeckstroem:1990, author = {B{\"a}ckstr{\"o}m, C.}, title = {Logical Modeling of Simplified Geometrical Objects and Mechanical Assembly Processes}, organization = {Dep. of Computer and Information Sciences, Link{\"o}ping University, Sweden}, crossref = {Chen:1990}, pages = "35--61", } @article{BL:1991, author = {J. Barraquand and J.-C. Latombe}, title = {Robot motion planning: A distributed representation approach}, journal = "International Journal of Robotics Research", volume = "10", number = "6", pages = "629--649", year = "1991" } @inproceedings{Bennet94, author = "Bennett, B.", title = "Spatial Reasoning with Propositional Logics", editor = "J. Doyle, E. Sandewall and P. Torasso", booktitle = "Principles of Knowledge Representation and Reasoning: 4th International Conference", publisher = "Morgan Kaufmann", location = "San Francisco", pages = "51--62", year = 1994, source={http://agora.leeds.ac.uk/spacenet/publications.html} } @article{Bennet95, author = "Bennett, B.", title = "Modal Logics for Qualitative Spatial Reasoning", journal = "Bulletin of the Interest Group in Pure and Applied Logic", year = 1995, volume = 3, pages = "1--22", source={http://agora.leeds.ac.uk/spacenet/publications.html} } @article{bkr-ceag-86, author = "Ben-Or, M. and Kozen, D. and Reif, J.H." , title = "The complexity of elementary algebra and geometry" , journal = "J. Comput. Syst. Sci." , volume = 32 , year = 1986 , pages = "251--264" } @inproceedings{BWK:1994, author = {Dave Bergacker and Jim Williams and Jugal Kalita}, title = {Issues in planning realistic motion from natural language instruction}, booktitle = {AAAI-94 Workshop}, crossref = {Anger/Loganantharaj:1994}, year = {1994}, pages = {77--84}, ref = {Dep. of Computer Science, Univ. of Colorado, Colorado Springs, CO 80933} } @incollection{Biederman90, author = {Biederman, I.}, title = {Visual Identification}, editor = "Stephen M. Kosslyn", booktitle = {Visual Cognition}, volume = "2", series = {An Invitation to Cognitive Science, ed. by D.N. Osherson}, publisher = "MIT Press", location = "Cambridge, Mass", pages = "41--72", year = 1990, keywords = {Higher level vision; 2nd edition printed in 1995} } @inproceeding{BLS:1993, author = {R.I. Brafman and J.-C. Latombe and Y. Shoham}, title = {Towards Knowledge-Level Analysis of Motion Planning}, booktitle = {AAAI-93}, crossref = {aaai:1993}, pages = {670--675}, year = {1993} } @article{Brooks:1982, author = "Brooks, Rodney A.", title = "Symbolic error analysis and robot planning", journal = "International Journal of Robotics Research", volume= "1", number = "4", pages = "29--68", year = "1982" } @article{Brooks:1983, author = "Brooks, Rodney A.", title = "Planning collision-free motions for pick-and-place operations", journal = "International Journal of Robotics Research", volume= "2", number = "4", pages = "19--44", year = "1983" } @article{Brooks/LP:1985, author = "Brooks, R.A. and Lozano-P{\'e}rez, T." , title = "A subdivision algorithm in configuration space for \mbox{\large\tt Findpath} with rotation" , journal = "IEEE Trans. Syst. Man Cybern." , volume = 15 , number = 2 , year = 1985 , pages = "224--233" , keywords = "motion planning" , succeeds = "bl-sacsf-82" , update = "95.05 korneenko" } @article{Brown_et_al:1995, author = "K.N. Brown and J.H. Sims Williams and C.A. McMahon", title = "Conceptual Geometric Reasoning by the Manipulation of Models Based on Prototypes", journal = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing}, volume = "9(5)", pages = "367--385", year = "1995", publisher = "Academic Press", address = "San Diego", source = {K.N.Brown's page in DCS, Univ. of Aberdeen - http://www.csd.abdn.ac.uk/~kbrown/paper_list.html and Design Information Group in University of Bristol headed by McMahon& Williams' - http://www.fen.bris.ac.uk/engmaths/research/dig/dig.htm} } @article{Bundy78a, author = "Bundy, A.", title = "Will it Reach the Top? Prediction in the Mechanics World", journal = "Artificial Intelligence", volume = 10, pages = "129-146", year = 1978} @incollection{Bundy_et_al:1979, author = "Alan Bundy and et al", title = "Solving mechanics problems using meta-level reasoning", booktitle = {Expert Systems in the Micro-electronic Age}, editor = {Donald Michie}, pages = "287pp.", year = "1979", publisher = "Edinburgh University Press" } @inproceedings{Burgard_et_al:1996a, author = {Wolfram Burgard and Dieter Fox and Daniel Hennig and Timo Schmidt}, title = {Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids}, booktitle = {Proceedings of the 13th National Conference on Artificial Intelligence}, publisher = {$AAAI$}, address = {Portland, Oregon}, year = {1996}, source = {http://www.cs.uni-bonn.de/~fox/local.ps.Z http://www.cs.uni-bonn.de/~wolfram/local.abstract.html http://www.cs.uni-bonn.de/~wolfram - Wolfram Burgard http://www.cs.uni-bonn.de/~fox - Dieter Fox} } @techreport{Burgard_et_al:1996b, author = "Wolfram Burgard and Dieter Fox and Daniel Hennig and Timo Schmidt", title = "Position Tracking with Position Probability Grids", institution = {Computer Science Department III, Bonn University, Germany}, number = "?", year = {1996}, source={http://www.cs.uni-bonn.de/~wolfram/tracking.abstract.html http://www.cs.uni-bonn.de/~wolfram - Wolfram Burgard http://www.cs.uni-bonn.de/~fox - Dieter Fox} } @book{Burger/Bhanu:1992, author = {Burger, Wilhelm and Bhanu, Bir}, title = {Qualitative Motion Understanding}, series = {The Kluwer International Series in Engineering and Computer Science}, volume = "184", publisher = "Kluwer", address = "Dordrecht", year = {1992}, source={W.Burger works in Johannes Kepler University, Linz, Austria. B.Bhanu works in the Univ. of California at Riverside, USA}, keywords = {robots motion, image motion, the fuzzy foe, interpreting image events, reasoning about 3D motion, qualitative scene description, autonomous land vehicle} } @inproceedings{CannyR87, title={New Lower Bound Techniques for Robot Motion Planning Problems}, author={Canny, John and Reif, John}, pages={49--60}, crossref={FOCS28}, ref = {http://theory.lcs.mit.edu/~dmjones/FOCS/focs.bib} } @book{Canny:1988, author = "John Canny", title = "The Complexity of Robot Motion Planning", series = {ACM Doctoral Dissertation Awards, 1987}, pages = "xviii+197 pp.", publisher = "MIT Press", address = "Cambridge, MA", year = "1988", ref = { http://http.cs.berkeley.edu/~jfc/ } } @proceedings{FOCS28, key = {FOCS28}, title={28th Annual Symposium on Foundations of Computer Science}, booktitle={28th Annual Symposium on Foundations of Computer Science}, month=oct, year=1987, address={Los Angeles, California}, organization={IEEE}, crossrefonly=1, ref = {http://theory.lcs.mit.edu/~dmjones/FOCS/focs.bib} } @article{cd-svd-88 , author = "J. Canny and B. R. Donald" , title = "Simplified {\tt Voronoi} diagrams" , journal = "Discrete Comput. Geom." , volume = 3 , year = 1988 , pages = "219--236" , succeeds = "cd-svd-87" } @inproceeding{Canny_Lin:1990, author = {J. Canny and M.C. Lin}, title = {An opportunistic global motion planner}, booktitle = {IEEE International Conference on Robotics and Automation}, pages = {1554--1559}, publisher = {IEEE Computer Society Press}, address = {Cincinnati, Ohio}, year = {1990}, ref = {Engineering Library: TJ/210/.3/I44/1990 http://www.cs.unc.edu/~lin/ http://http.cs.berkeley.edu/~jfc/ } } @article{crr-eakpp-91, author = "J. Canny and A. Rege and J. Reif" , title = "An exact algorithm for kinodynamic planning in the plane" , journal = "Discrete Comput. Geom." , volume = 6 , year = 1991 , pages = "461--484" , succeeds = "crr-eakpp-90" } @article{CGV:1992, author = "J. Canny and D.Y. Grigor'ev and N.N. Vorobjov", title = "Finding Connected Components of a Semialgebraic Set in Subexponential Time", journal = {Applicable Algebra in Engineering, Communication and Computing}, volume = "2", pages = "217--239", year = "1992", ref = { http://http.cs.berkeley.edu/~jfc/ } } @article{Canny:1993, author = "J. Canny", title = "Computing Roadmaps of General Semi-Algebraic Sets", journal = {The Computer Journal}, volume = "36", number = "5", pages = "504--514", year = 1993, ref = { http://http.cs.berkeley.edu/~jfc/ } } @inproceedings{Carney/Brown:1989, author = {Carney, Stephen P. and Brown, David C.}, title = {A Qualitative Model for Reasoning about Shape and Fit}, booktitle = {Artificial Intelligence in Design}, year = {1989}, editor = {Gero, J. S.}, pages = {251--273}, publisher = "Springer", address = "Berlin", month = jul, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Chandrasekaran/Narayanan:1990, author = {Chandrasekaran, B. and Narayanan, N. H.}, title = {Towards a Theory of Commonsense Visual Reasoning}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Tenth Conference}, site = {Bengalore, India}, year = {1990}, editor = {Nori, K. V. and Madhavan, C. E. V.}, pages = {388--409}, series = {Lecture Notes in Computer Science}, volume = "472", publisher = "Springer", address = "Berlin", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Chatila:1982, author = {R. Chatila}, title = {Path planning and environment learning in a mobile robot}, booktitle = {Proc. of the 5th European Conf. on Artif. Intell.}, address = "Orsay, France", year = "1982" } @book{Chen:1990, editor = {Chen, Su-Shing}, title = {Advances in Spatial Reasoning}, booktitle = {Advances in Spatial Reasoning}, volume = {1 and 2}, publisher = {Ablex}, address = {Norwood, NJ}, year = {1990}, } @inproceedings{Cimatti_et_al:1992, author = "Cimatti, A. and Traverso, P. and Dalbosco, S. and Armando, A.", title = "Navigation by combining reactivity and planning", booktitle = "Proceedings of the Intelligent Vehicles Symposium", local_ref = {TL/152/.8/I58/1992/ENGI}, address = "Detroit, Mich.", year = "1992", month = jun, source = { IRST-Technical Report #9205-11 at: http://www.mrg.dist.unige.it/publist.html Abstract: In this paper we present a system for intelligent robot navigation. Its main feature is the ability to integrate goal directed planning with information acquisition from the external world, and with reaction to failure. This ability is obtained by means of a two-layered architecture: the higher (strategical) level controls the activation of the modules of the lower (navigation) level, which can perform, in different ways, basic tasks such as path planning, activation of navigation and processing of information acquired from the external environment. By programming the strategical level with the suitable strategies, the system can control navigation with sophisticated modalities.} } @article{Clarke:1981, author = {Bowan Clarke}, title = {A calculus of individuals based on ``connection''}, journal = {Notre Dame Journal of Formal Logic}, volume = {22}, number = {3}, pages = {204--218}, year = {1981}, } @article{Clarke:1985, author = {Bowan Clarke}, title = {Individuals and points}, journal = {Notre Dame Journal of Formal Logic}, volume = {26}, number = {1}, pages = {61--75}, year = {1985}, } @inproceedings{Cohn95, author = "Cohn, A.G.", title = "A Hierarchical Representation of Qualitative Shape based on Connection and Convexity", editor = "A. Frank", booktitle = "Conference on Spatial Information Theory: 3rd International Conference COSIT-95", publisher = "Taylor and Francis", location = London, year = 1995, source={http://agora.leeds.ac.uk/spacenet/publications.html} } @incollection{CGB94, author = "Cohn, A.G. and Gooday, J.M. and Bennett, B.", title = "A Comparison of Structures in Spatial and Temporal Logics", editor = "R. Casati and G. White", booktitle = "Philosophy and the Cognitive Sciences", publisher = "Holder-Pichler-Tempsky", location = "Vienna", year = "1994", source={http://agora.leeds.ac.uk/spacenet/publications.html} } @incollection{CGCRBG, author = "Cohn, A.G. and Gotts, N.M. and Cui, Z. and Randell, D.A. and Bennett, B. and Gooday, J.M.", title = "Exploiting Temporal Continuity in Qualitative Spatial Calculi", editor = "Reginald G. Golledge and Max J. Egenhofer", booktitle = "Spatial and Temporal Reasoning in Geographical Information Systems", publisher = "Elsevier", year = 1994, source={http://agora.leeds.ac.uk/spacenet/publications.html} } @incollection{Collins:1975, author = "G.E. Collins", title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition}, booktitle = {Automata theory and formal languages, Kaiserslautern (FRG)}, series = {Lecture Notes in Computer Science}, key = {LNCS}, volume = "33", publisher = "Springer Verlag", address = "New York", pages = {135--183}, year = {1975}, ref = {http://info.risc.uni-linz.ac.at:70/1/local Research Institute for Symbolic Computation, Linz, Austria} } @article{Connell/Brady:1987, author = {Connell, J.H. and Brady, M.}, title = {Generating and Generalizing Models of Visual Objects}, journal = "Artif. Intell.", volume = 31, number = 2, year = 1987, pages = "159--183", keywords = "two-dimensional shapes, semantic networks, learning, Gray coding" } @inproceedings{Corner_et_al:1983, author = {D.F. Corner and A.P. Ambler and R.J. Popplestone}, title = "Reasoning about the Spatial Relationships Derived from a {\large\tt RAPT} Program for Describing Assembly by Robot", booktitle = {8th Intern. Joint Conf. on AI}, site = {Karlsruhe, Germany}, month = aug, pages = "842--844", year = "1983" } @inproceedings{CCR92, author = "Cui, Z. and Cohn, A.G. and Randell, D.A.", title = "Qualitative Simulation Based On A Logic Of Space And Time", booktitle = "Qualitative Reasoning about Physical Systems, 6th International Workshop, Edinburg", year = 1992, pages = "15pp.", source={http://agora.leeds.ac.uk/spacenet/publications.html} } @inproceedings{CCR93, author = "Cui, Z. and Cohn, A.G. and Randell, D.A.", title = "Qualitative and Topological Relationships in Spatial Databases", booktitle = {Advances in Spatial Databases, 3rd Intern. Symposium on Large Spatial Databases SSD'93}, site = {Singapure}, month = jun, series = {Lecture Notes in Computer Science}, volume = {692}, key = {LNCS}, year = {1993}, publisher = "Springer", address = "Berlin", pages = {296--315}, source = {http://agora.leeds.ac.uk/spacenet/publications.html } } @article{DavisE88, author = "Davis, E.", title = "A Logical Framework for Commonsense Predictions of Solid Object Behavior", journal = {Int. J. of the Artificial Iintelligence in Engineering}, volume = "3", number = "3", pages = "125-140", year = 1988} @book{DavisE90, author = "Davis, E.", title = "Representations of commonsense knowledge", publisher = "Morgan Kaufmann", location = "Los Altos CA", month = jul, year = 1990, pages = "515p.", } @techreport{DavisE91, author = "Davis, E.", title = "The Kinematics of Cutting Solid Objects", institution = {Courant Institute, May 25}, address = {Department of Computer Science, New York University}, number = "tr541", year = {1994}, source={ftp://cs.nyu.edu/pub/tech-reports/tr541.ps.Z} } @techreport{DavisE95a, author = "Davis, Ernest", title = "Approximations of Shape and Configuration Space", institution = {Courant Institute, September 15}, address = {Department of Computer Science, New York University}, number = "tr703", year = {1995}, source={ftp://cs.nyu.edu/pub/tech-reports/tr703.ps.gz} } @techreport{DavisE95b, author = "Davis, E.", title = "Approximation and Abstraction in Solid Object Kinematics", institution = {Courant Institute, September 26}, address = {Department of Computer Science, New York University}, number = "tr706", year = {1995}, source={ftp://cs.nyu.edu/pub/tech-reports/tr706.ps.gz} } @article{Dean_et_al:1995, journal = "Machine Learning", title = "Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning", author = "Thomas Dean and Dana Angluin and Kenneth Basye and Sean Engelson and Leslie Kaebling and Evangelos Kokkevis and Oded Maron", pages = "81--108", volume = "18", year = "1995", publisher = "Kluwer Academic Publishers, Boston" } @article{Donald:1987, author = "Donald, B.R." , title = "A search algorithm for motion planning with six degrees of freedom" , journal = "Artif. Intell." , volume = 31 , number = 3 , year = 1987 , pages = "295--353" , keywords = "motion planning", ref = {the final manuscript received by AI Journal in May 1986}, source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html} } @article{Donald:1988, author = {Donald, B.R.}, title = {A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty}, journal = "Artif. Intell.", volume = 37, number = "1--3", year = 1988, pages = "223--271", keywords = "motion planning, uncertainty, error detection and recovery strategies", ref = {the final manuscript received by AI Journal in December 1987.}, source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html} } @book{Donald:1989a, author = {Bruce R. Donald}, title = {Error Detection and Recovery in Robotics}, series = {Lecture Notes in Computer Science}, volume = {336}, pages = {314pp}, publisher = "Springer", address = "Berlin", year = {1989}, source = {This book is a revised version of a thesis submitted on June 30, 1987 to the Dep. of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, in partial fulfillment of the requirements for the degree of Doctor of Philosophy.} } @techreport{Donald:1989b, title = {Planning and executing robot assembly strategies in the presence of uncertainty}, author = {Donald, B.R.}, institution = {Cornell Computer Science Robotics Laboratory, Cornell University, Ithaca}, number = {89-1060}, pages = {50 pages}, month = nov, year= 1989, source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html Department of Computer Scince, Cornell University, Ithaca, NY 14853-7501, USA brd@cs.cornell.edu http://cs-tr.cs.cornell.edu/TR/Search/?publisher=CORNELLCS&author=Donald } } @techreport{Donald_et_al:1989, title = {What should a roboticist do next ?}, author = {Donald, B.R. and Pai, D. and Xavier, P.}, institution = {Cornell Computer Science Robotics Laboratory, Cornell University, Ithaca}, number = {89-1053}, pages = {48 pages}, month = nov, year= 1989, source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html Department of Computer Scince, Cornell University, Ithaca, NY 14853-7501, USA brd@cs.cornell.edu http://cs-tr.cs.cornell.edu/TR/Search/?publisher=CORNELLCS&author=Donald } } @article{d-cpcmp-90 , author = "B. R. Donald" , title = "The complexity of planar compliant motion planning under uncertainty" , journal = "Algorithmica" , volume = 5 , year = 1990 , pages = "353--382" , succeeds = "d-cpcmp-88", source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html} } @inproceedings{dx-pgaao-90 , author = "B. R. Donald and P. G. Xavier" , title = "Provably good approximation algorithms for optimal kinodynamic planning for {Cartesian} robots and open chain manipulators" , booktitle = "Proc. 6th Annu. ACM Sympos. Comput. Geom." , year = 1990 , pages = "290--300" } @inproceedings{dj-sitdp-91 , author = "B. R. Donald and J. Jennings" , title = "Sensor interpretation and task-directed planning using perceptual equivalence classes" , booktitle = "Proc. IEEE Internat. Conf. Robot. Autom." , year = 1991 , pages = "190--197", source = {Engineering Library: TJ/210/.3/I44/1991 } } @inproceedings{dc-cchtt-91 , author = "B. R. Donald and D. R. Chang" , title = "On the complexity of computing the homology type of a triangulation" , booktitle = "Proc. 32nd Annu. IEEE Sympos. Found. Comput. Sci." , year = 1991 , pages = "650--662", source = {ftp://ftp.cs.cornell.edu/pub/brd/brd.html} } @string{jacm={Journal of the ACM}} @article{Donald_et_al:1993, title={Kinodynamic motion planning}, author={Bruce Donald and Patrick Xavier and John Canny and John Reif}, area={Computational Geometry}, pages={1048--1066}, journal=jacm, month=nov, year=1993, volume=40, number=5, ref = {ftp://theory.lcs.mit.edu/pub/jacm/jacm.bib}, note = {Revised version of the paper `On the complexity of kinodynamic planning' published in the Proc. 29th Annu. IEEE Sympos. on Found. Comput. Sci., 1988, 306--316} } @article{Dufay/Latombe:1984, author = "B. Dufay and J.C. Latombe", title = "An approach to Automatic Robot Programming Based on Inductive Learning", journal = "Intern. Journal of Robotics Research", volume = "3", number = "4", pages = "3--20", year = "1984" } @inproceedings{Egenhofer:1989a, author = {Max J. Egenhofer}, title = {A topological data model for spatial databases}, booktitle = {International Symposium on Large Spatial Databases (?)}, pages = {271--286}, year = {1989}, source = {http://www.umesve.maine.edu/egenhofer.html National Center for Geographic Information and Analysis} } @inproceedings{Egenhofer:1989b, author = {Max J. Egenhofer}, title = {A formal definition of binary topological relationships}, booktitle = {Third International Conference on Foundations of Data Organization and Algorithms}, year = {1989}, editor = {W. Litwin and H.-J. Schek}, pages = {457--472}, volume = {367}, series = {Lecture Notes in Computer Science}, publisher = "Springer", address = "Berlin", month = jun, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Egenhofer/Herring:1990, author = {M.J. Egenhofer and J.R.Herring}, title = {A Mathematical Framework for the Definition of Topological Relationships}, booktitle = {Proc. of the 4th Intern. Symp. on Spatial Data Handling}, volume = "2", pages = "803--813", year = "1990", source = {SIGSAM Library + Map Library at Robarts:G/70/.3/I67} } @article{Egenhofer/Franzosa:1991, author = {Max J. Egenhofer and Robert Franzosa}, title = {Point-Set Topological Spatial Relations}, journal = {International Journal of Geographical Information Systems}, year = {1991}, volume = {5}, number = {2}, pages = {161--174}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Egenhofer:1991b, author = {Max J. Egenhofer}, title = {Reasoning about Binary Topological Relations}, editor = {O. G\"{u}nther and H.-J. Schek}, booktitle = {Advances in Spatial Databases, 2nd Symposium on Large Spatial Databases SSD'91}, site = {Zurich, Switzerland}, month = aug, series = {Lecture Notes in Computer Science}, volume = {525}, key = {LNCS}, year = {1991}, publisher = "Springer", address = "Berlin", pages = {143--160}, } @inproceedings{Egenhofer/Al-Taha:1992, author = {Max J. Egenhofer and Khaled K. Al-Taha}, title = {Reasoning about Gradual Changes of Topological Relationships}, pages = {196--219}, crossref = {Frank_et_al:1992}, source={http://blackbird.umesve.maine.edu/maxpubs.html} } @article{Egenhofer:1994, author = {Max J. Egenhofer}, title = {Deriving the composition of binary topological relations}, journal = {Journal of Visual Languages and Computing}, year = {1994}, volume = {5}, number = {1}, pages = {133--149}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @article{Erdmann:1986, author = {Michael Erdmann}, title = {Using backprojections for fine motion planning with uncertainty}, journal = "International Journal of Robotics Research", volume= "5", number = "1", pages = "19--45", year = "1986" } @article{el-mmo-87, author = "M. Erdmann and T. Lozano-P{\'e}rez", title = "On multiple moving objects", journal = "Algorithmica", volume = 2, year = "1987", pages = "477--521" } @article{Erdmann:1993, author = {Michael Erdmann}, title = {Randomization for robot tasks: Using dynamic programming in the space of knowledge states}, journal = "Algorithmica", volume = "10", year = "1993", pages = "248--291" } @article{Erdmann:1995, author = {Michael Erdmann}, title = {Understanding action and sensing by designing action-based sensors}, journal = {The International Journal of Robotics Research}, year = {1995}, volume = {14}, number = {5}, month = oct, pages = {483--509}, note = {Special issue on integration among planning, sensing, and control} } @article{Ershov_et_al:1965, author = {Yu.L. Ershov and I.A. Lavrov and A.D. Taimanov and M.A. Taitslin}, title = {Elementary Theories}, journal = {Russian Mathematical Surveys}, volume = {20}, number = {4}, pages = {35--106}, year = {1965}, publisher = {London Mathematical Society}, note = {Translated from: Uspekhi Mathematicheskikh Nauk, 20, $\cal N$ 4 (124), pp. 37--108, Moscow, 1965} } @inproceedings{Euzenat:1995, author = {Euzenat, Jerome}, title = {An Algebraic Approach for Granularity in Qualitative Space and Time Representation}, booktitle = "IJCAI-95", crossref = {ijcai:1995}, pages = {894--900}, year = {1995}, } @inproceedings{Faltings87a, author = "Faltings, Boi", title = "Qualitative Kinematics in Mechanisms", booktitle = "IJCAI-87", crossref={ijcai:1987}, pages = "436-442", note = {Reprinted in \cite{Weld/deKleer:1990}}, year = 1987} @inproceedings{Faltings89a, author = "Faltings, Boi and Baechler, Emmanuel and Primus, Jeff", title = "Reasoning about Kinematic Topology", booktitle = "IJCAI-89", crossref={ijcai:1989}, pages = "1331--1336", year = 1989} @article{Faltings90a, author = "Faltings, Boi", title = "Qualitative Kinematics in Mechanisms", journal = "Artificial Intelligence", volume = {44}, pages= "89--119", year = 1990} @article{Faltings92a, author = "Faltings, Boi", title = "A Symbolic Approach to Qualitative Kinematics", journal = "Artificial Intelligence", volume = "56(2)", pages= "", year = 1992, source = {http://liawww.epfl.ch/~faltings/publication.html} } @article{Faltings92b, author = "Boi Faltings", title = "Mechanical Engineering is more than Differential Equations", journal = "Computational Intelligence", volume = "8(2)", pages = "319--322", year = "1992", source = {http://liawww.epfl.ch/~faltings/publication.html} } @inproceedings{Faltings/Sun:1993, author = "B. Faltings and K. Sun", title = "Computer-aided Creative Mechanism Design", crossref = {ijcai:1993}, booktitle = {IJCAI'93}, year = "1993" } @inproceedings{Faltings94a, author = {Faltings, Boi}, title = "Topology-based Spatial Reasoning", booktitle = {8th International Workshop on Qualitative Reasoning about Physical Systems}, site = {Nara, Japan}, month = jun, year = "1994", source = {http://liawww.epfl.ch/~faltings/publication.html} } @techreport{Faltings94b, title = {Qualitative Spatial Reasoning using Algebraic Topology}, author = {Faltings, Boi}, institution = {EPFL Lausanne, Departement d'Informatique}, number = {TR-94/57}, pages = {25 pages}, year= {1994}, source = {http://liawww.epfl.ch/~faltings/} } @inproceedings{Faltings95, title = {Qualitative Spatial Reasoning using Algebraic Topology}, author = {Faltings, Boi}, booktitle = {International Conference on Spatial Information Theory, COSIT-95}, site = "Semmering, Austria", moth = sep, series = {Lecture Notes in Computer Science}, volume = "988", publisher = "Springer-Verlag", address = "Berlin", year= {1995}, abstract = { Many propositions in spatial and qualitative reasoning can be modelled as regions in phase or configuration spaces. Deciding the consistency of k propositions then amounts to deciding the question of whether there exists a point which simultaneously falls into all k corresponding regions. I call this feasibility of the set of propositions. In this paper, I present a method for deciding consistency and feasibility for convex regions using only topological inference. It uses Helly's theorem to decide consistency of any set of k propositions based on information about consistency of small subsets. Using methods of algebraic topology, I show a sufficient method to compute a minimal skeleton of feasible places which accurately models the connectivity between feasible environments. The method has been implemented. I show how to formulate and solve the piano-movers problem, an important problem in spatial reasoning, using the framework. (faltings@lia.di.epfl.ch)} } @inproceedings{Ferrucci/Vanecek:1991, author = {Vincenzo Ferrucci and George Van\u{e}\u{c}ek Jr.}, title = {A Spatial Index for Convex Simplicial Complexes in $d$ Dimensions}, editor = {O. G\"{u}nther and H.-J. Schek}, booktitle = {Advances in Spatial Databases, 2nd Symposium on Large Spatial Databases SSD'91}, site = {Zurich, Switzerland}, month = aug, series = {Lecture Notes in Computer Science}, volume = {525}, key = {LNCS}, year = {1991}, publisher = "Springer", address = "Berlin", pages = {361--380}, } @inproceedings{Fleck:1987, author = {Margaret M. Fleck}, title = {Representing Space for Practical Reasoning}, booktitle = "IJCAI'87", crossref = {ijcai:1987}, pages = "728--730", year = "1987" } @article{Fleck:1988, author = {Margaret M. Fleck}, title = {Representing Space for Practical Reasoning}, journal = "Image and Visual Computing", volume = "6", number = 2, pages = "75--86", year = "1988" } @article{Fleck:1996, author = {Fleck, M.M.}, title = {Topological models for space and time}, journal = {Artificial Intellegence}, number = {January}, pages = {?}, year= 1996, source = {http://www.cs.uiowa.edu/~mfleck/} } % report was written while the author worked at the % Dep. of Engineering Science, Oxford University Jenkin Building, % 19 Parks Road, Oxford OX1 3PJ, UK @article{Fontaine/Bidaud:1994, author = "D. Fontaine and P. Bidaud", title = "Design and implementation of an inductive learning control system for a manipulator gripper", journal ={Robotica}, volume = {12(2)}, year = "1994", pages = "187--192", } @incollection{Forbus83, author = "Forbus, Kenneth D.", title = "Qualitative Reasoning About Space and Motion", booktitle = "Mental Models", crossref = {Mental_models:1983}, year = "1983", pages = "53--73", } @inproceedings{FNF:1987, author = "Forbus, Kenneth D. and Nielsen, Paul and Faltings, Boi", title = "Qualitative Kinematics: A Framework", booktitle = "IJCAI'87", crossref = {ijcai:1987}, pages = "430--435", note = {Reprinted in \cite{Weld/deKleer:1990}}, year = 1987} @article{Forbus91a, author = "Forbus, Kenneth D. and Nielsen, Paul and Faltings, Boi", title = "Qualitative Spatial Reasoning: the {\tt CLOCK} Project", journal = "Artificial Intelligence", year = 1991, volume = 51, number = "1--3", pages = "417--472"} @book{Fujimura:1991, author = {Kikuo Fujimura}, title = {Motion Planning in Dynamic Environments}, series = {Computer Science Workbench}, pages = {178pp}, publisher = "Springer", address = "Tokio", year = {1991}, source = {TJ/211/.4/F85/1991, Engineering Library} } % Prof. Dr. Kikuo Fujimura, % Dep. of Computer Science, % The Ohio State University, % 2036 Neil Avenue Mall, % Columbus, OH 43210, USA @phdthesis{Funt:1976, author = {Brian V. Funt}, title = {{WHISPER}: A Computer Implementation Using Analogues in Reasoning}, school = {University of British Columbia}, year = {1976}, month = mar, note = {Reprinted as Technical Report of the School of Computing Science, Simon Fraser University, Burnaby, B.C., V5A 1S6, Canada, 1992}, ref = { http://fas.sfu.ca/cs/people/Faculty/Funt/ } } @article{Funt:1980, author = {Brian V. Funt}, title = {Problem Solving with Diagrammatic Representations}, journal = {Artificial Intelligence}, year = {1980}, volume = {13}, number = {3}, pages = {201--230}, bibs = {gwaikrs.bib}, note = {Reprinted in "Readings in knowledge representation", ed. Ronald J. Brachman and Hector J. Levesque, Morgan Kaufman, 1985, p.441-456}, ref = { http://fas.sfu.ca/cs/people/Faculty/Funt/ }, review = { By constructing "diagrams" and analyzing these with a visualization subsystem, a high-level reasoner can determine results of actions. The HLR is enabled to ask the visualizer a powerful set of queries such as the results of a collision, and it uses this to determine whether the mental diagram should be redrawn. The visualizer simulates a retina with non-uniform radial resolution and active focusing and uses this simulated information to detect similar objects and symmetries. The task solved by the WHISPER system is to determine in a given blocks world context, the blocks that are unstable, and by (mentally or on the retina) moving one unstable block at a time, arrive at the final configuration. See also [Simmons and Davis, MIT AIM 702, 1983, on imagining as a mechanism for reasoning about change. Also, Zenon Kulpa's slides. - Amitabha Mukerjee 2/91} } @incollection{Funt:1987, author = {Brian V. Funt}, title = {Analogical Modes of Reasoning and Process Modelling}, editor = {N. Cercone and G. McCalla}, booktitle = {The Knowledge Frontier---Essays in the Representation of Knowledge}, chapter = {15}, publisher = {Springer Verlag}, address = {Berlin}, year = {1987}, pages = {414--428}, bibs = {analogic.bib}, ref = { http://fas.sfu.ca/cs/people/Faculty/Funt/ } } @inproceedings{Gagne/Pang/Trudel95, author = {Gagn\'{e}, D. and Pang, W. and Trudel, A.}, title = {A spatio-temporal logic for 2D multi-agent problem domains}, booktitle = {International Symposium on Artificial Intelligence, October 17--20, M\'{e}xico}, crossref = {isai:95}, pages = "372--377", year = 1995 } @inproceedings{Galton:1993, author = {Antony Galton}, title = {Towards an integrated logic of space, time, and motion}, pages = {1550--1555}, crossref = {ijcai:1993}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @inproceedings{Galton:1995, title = {Towards a Qualitative Theory of Movement}, author = {Antony Galton}, booktitle = {International Conference on Spatial Information Theory, COSIT-95}, site = "Semmering, Austria", moth = sep, series = {Lecture Notes in Computer Science}, volume = "988", publisher = "Springer-Verlag", address = "Berlin", year= {1995}, abstract ={ The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurence, which refer to the holding or not holding of various positional fluents at different times. For this we need to bring together a formal model of time with a formal model of space. By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents we develop a theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations. (antony@dcs.exeter.ac.uk)} } @article{Gardin/Meltzer:1989, author = "F. Gardin and B. Meltzer", title = "{Analogical representation of naive physics}", journal = "Artificial Intelligence", year = "1989", volume = "38", pages = "139--159", topics = "Spatial Reasoning / Wissensrepr{\"a}sentation / K{\"u}nstliche Intelligenz", } @inproceedings{Gelsey89a, author = "Gelsey, Andrew", title = "Automated Physical Modeling", booktitle = "IJCAI'89", crossref = {ijcai:1989}, pages = "1225--1230", year = 1989} @inproceedings{Gelsey89b, author = "Gelsey, Andrew", title = "Automated Reasoning about Machine Geometry and Kinematics", booktitle = "The 3rd IEEE Conference on AI Applications", pages = "182--187", note = {Reprinted in \cite{Weld/deKleer:1990}}, year = 1989} @inproceedings{Giunchiglia:1994, author = "Giunchiglia, F. and Spalazzi, L. and Traverso, P.", title = "Planning with failure", booktitle = "AIPS-94 Second International Conference on AI Planning Systems", address = "Chicago, IL, June 15-17", year = "1994", source = {IRST-Technical Report # 9401-02 at: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9401-02.ps.Z Abstract: Many real world applications require systems with both reasoning and sensing/acting capabilities. However, most often, these systems do not work properly, i.e. they fail to execute actions and rarely perceive the external world correctly. No action, even if apparently simple, is guaranteed to succeed and, therefore, no planning can be "sound" (with respect to the real world) without taking into account failure. In this paper, we present a theory of planning that provides: (1) a language that allows us to express failure; (2) a declarative formal semantics for this language; (3) a logic for reasoning about (possibly failing) plans.} } @inproceedings{GLM:1996, author = {S. Gottschalk and M. Lin and D. Manocha}, title = {OBB-Tree: A Hierarchical Structure for Rapid Interference Detection}, booktitle = {Proc. of the ACM Siggraph'96}, year = {1996}, pages = {22pp}, ref = {PostScript file, 226K: Technical Report TR96-013, Department of Computer Science, University of N. Carolina, Chapel Hill, USA. http://www.cs.unc.edu/~manocha/collision.html http://www.cs.unc.edu/~manocha/collide.html http://www.cs.unc.edu/~lin/ } } @article{GRL:1994, author = "Susan Gottschlich and Carlos Ramos and Damian Lyons", title = "Assembly and Task Planning: A Taxonomy", journal = "IEEE Robotics and Automation Magazine", year = "1994", volume = "1", number = "3", pages = "4--12", source = {Bibtex file with references is available via anonymous FTP from cat.rpi.edu The file is contained in /pub/atp.bib } } @inproceedings{Green:1987, author = {Sue Green}, title = {{SPACES} -- {A} System for the Representation of Commonsense Knowledge about Space for Design}, editor = {Bramer, M. A.}, booktitle = {Research and Development in Expert Systems III}, year = {1987}, pages = {195--206}, publisher = "Cambridge University Press", address = "Cambridge, MA", month = dec, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @inproceedings{Grigni/Papadias/Papadimitriou:1995, author = {Grigni, Michelangelo and Papadias, Dimitris and Papadimitriou, Christos}, title = {Topological Inference}, booktitle = "IJCAI-95", crossref = {ijcai:1995}, pages = {901--907}, year = {1995}, } @article{Grigorev:1988, author = "Grigorev, D.Yu.", title = "{Complexity of deciding Tarski algebra}", journal = "Journal of Symbolic Computation", year = "1988", volume = "5", number = "1-2", pages = "65--108" } @article{Grig_Vorob:1992, author = {D.Yu. Grigorev and N.N. Vorobjov}, title = {Counting connected components of a semialgebraic set}, journal = "Computational Complexity", volume= 2, nomber = 2, pages = {133--186}, year = "1992" } @incollection{Hayes79a, author = "Patrick J. Hayes", title = "The Naive Physics Manifesto", editor = "D. Michie", booktitle = "Expert Systems in the Micro Electronic Age", publisher = "Edinburgh University Press", year = 1979 } @incollection{Hayes85a, author = "Hayes, Patrick", title = "Naive Physics Manifesto {I}: Ontology for Liquids", editor = "Hobbs, J. and Moore, R. C.", booktitle = "Formal Theories of the Commonsense World", publisher = "Ablex Publishing Corporation", address = "Norwood, NJ", pages = "71--107", year = 1985} @incollection{Hayes85b, author = "Hayes, Patrick", title = "The Second Naive Physics Manifesto", editor = "Hobbs, J. R. and Moore, R. C.", booktitle = "Formal Theories of the Commonsense World", publisher = "Ablex Publishing Corporation", address = "Norwood, NJ", pages = "1--36", year = 1985} @incollection{HRS:1989, author = "J. Heintz and M. Roy and P. Solern{\'o}", title = {On the complexity of semialgebraic sets}, booktitle = {Proc. of IFIP}, address = "San Francisco", publisher = "North Holland", pages = {293--298}, year = {1989} } @book{Hernandez:1994, author = {Daniel Hern{\'a}ndez}, title = {Qualitative Representation of Spatial Knowledge}, series = {Lecture Notes in Artificial Intelligence}, volume = {804}, key = {LNAI}, year = {1994}, publisher = "Springer", address = "Berlin", note = {Revised version of a 1992 Ph.D. Thesis at the Institut f\"ur Informatik, Technische Universit\"at M\"unchen}, source={ http://papa.informatik.tu-muenchen.de/danher/ } } @techreport{HM:1995, author = {Daniel Hern{\'a}ndez and Amitabha Mukerjee}, title = {Representation of Spatial Knowledge}, year = {1995}, type = {IJCAI'95 Tutorial}, institution = {http://www.cs.albany.edu/~amit/tutijcai.html }, source = { http://papa.informatik.tu-muenchen.de/danher/ http://www.cs.albany.edu/~amit/spatsites.html Spatial Reasoning Resources on the Internet, and notes of the IJCAI'95 Tutorial on "Representation of Spatial Knowledge". http://www.cs.albany.edu/~amit/spatbib.html provides also searchable bibliography for Spatial Reasoning.} } @techreport{Hertzberg/Thiebaux:1994, author = "Joachim Hertzberg and Sylvie Thiebaux", title = "Turning an Action Formalism Into a Planner -- A Case Study", year = "1994", type = "Report", number = "8", institution = {University of Dortmund, Lehrstuhl Informatik VIII - AI}, source = {ftp://ftp-ai.informatik.uni-dortmund.de/pub/Reports/report8.ps.Z Abstract: The paper describes a case study that explores the idea of building a planner with a neat semantics of the plans it produces, by choosing some action formalism that is "ideal" for the planning application and building the planner accordingly. In general---and particularly so for the action formalism used in this study, which is quite expressive---this strategy is unlikely to yield fast and efficient planners if the formalism is used naively. Therefore, we adopt the idea that the planner approximates the theoretically ideal plans, where the approximation gets closer, the more run time the planner is allowed. As the particular formalism underlying our study allows a significant degree of uncertainty to be modeled and copes with the ramification problem, we end up in a planner that is functionally comparable to modern anytime uncertainty planners, yet is based on a neat formal semantics. To appear in the Journal of Logic and Computation, 1994} } @book{Homem_de_Mello:1991, editor = {Homem de Mello, Luiz S. and Lee, Sukhan}, title = {Computer-aided mechanical assembly planning}, publisher = {Kluwer Academic Publishers}, series = {Kluwer international series in engineering and computer science}, volume = "SECS 148", address= {Boston}, pages = {xi+446pp.}, year = "1991", ref = {Luiz S. Homem de Mello works in Jet Propulsion Laboratory, California Institute of Technology; Sukhan Lee works at Dep. of Electrical Engineering Systems, University of Southern California and is affiliated also with Jet Propulsion Laboratory, California Institute of Technology}, keywords = { Collection of research papers divided into 2 parts: Assembly modeling and Assembly planning} } @article{HSS:1984, author = "J.E. Hopcroft and J.T. Schwartz and M. Sharir", title = {On the Complexity of Motion Planning for Multiple Independent Objects: $PSPACE$-hardness of the `Warehouseman's Problem'}, journal = "International J. of Robotics Research", volume = 3, number = "4", pages = "76--88", year = 1984 } @article{HW:1986, author = "J.E. Hopcroft and G.T. Wilfong", title = {Reducing Multiple Object Motion Planning to Graph Searching}, journal = "SIAM Journal on Computing", volume = "15", number = "3", pages = "768--785", year = 1986 } @inproceedings{Joskowicz87, author = "Joskowicz, L.", title = "Shape and Function in Mechanical Devices", booktitle = "AAAI-87", crossref = {aaai:1987}, pages = "611--615", year = "1987"} @inproceedings{Joskowicz88, author = "Joskowicz, Leo and Addanki, Sanjaya", title = "From Kinematics to Shape: An Approach to Innovative Design", booktitle = "AAAI-88", crossref = {aaai:1988}, pages = "347--352", year = "1988"} @article{Joskowicz91a, author = "Joskowicz, Leo and Sacks, Elisha P.", title = "Computational Kinematics", journal = "Artificial Intelligence", volume = 51, number = "1--3", pages = "381--416", year = 1991} @inproceedings{Joskowicz91b, author = "Joskowicz, Leo and Elisha P. Sacks", title = "Incremental Configuration Space Construction for Mechanical Analysis", booktitle = "AAAI-91", crossref = {aaai:1991}, pages = "888--893", year = 1991} @inproceedings{Kainz:1990, author = {W. Kainz}, title = {Spatial Relationships---Topology versus Order}, booktitle = {Fourth International Symposium on Spatial Data Handling}, site = {Zurich, Switzerland}, year = {1990}, pages = {814--819}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @article{KD:1986, author = "S. Kambhampati and L.S. Davis", title = "Multiresolution path planning for mobile robots", journal = "IEEE Journal of Robotics and Automation", volume = 2, pages = "135--145", year = 1986 } @article{Khatib:1986, author = "Khatib, O.", title = "Real-time obstacle avoidance for manipulators and mobile robots", journal = "Internat. J. of Robot. Research", volume = "5", number = 1, pages = "90--98", year = 1986 } @inproceedings{Kaufman:1991a, author = {Kaufman, Stephen}, title = {A Formal Theory of Spatial Reasoning}, booktitle = {Proceedings of AAAI Spring Symposium on Logical Foundations of Commonsense Reasoning}, year = {1991}, pages = {92--101}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @inproceedings{Kaufman:1991b, author = "Kaufman, Stephen", title = {A formal theory of spatial reasoning}, booktitle = { Proceedings of the 2nd conference on Principles of Knowledge Representation and Reasoning}, site = {Cambridge, MA}, publisher = {Morgan Kaufmann}, address = {San Mateo, CA}, pages= {347--356}, year = 1991 } @incollection{Kautz:1985, author = {Kautz, H. A.}, title = {Formalizing spatial concepts and spatial language}, booktitle = {Commonsense Summer: Final Report. No. CSLI-85-35}, year = {1985}, editor = {Hobbs, J. R. and others}, publisher = "Center for the Study of Language and Information", address = "Stanford University, Palo Alto CA, USA", ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @book{Khatib:1989-92, author = {Khatib, Oussama and Craig, J. and Lozano-P{\'e}rez, Thomas}, title = {The Robotics Review}, publisher = {MIT Press}, address = {Cambridge, Mass.}, volume = 2, year = {1992}, note = {Vol.1 was published in 1989} } @incollection{k-mas-91, author = "Klein, Rolf" , title = "Moving along a street" , booktitle = "Computational Geometry --- Methods, Algorithms and Applications: Proc. Internat. Workshop Comput. Geom. CG '91" , series = "Lecture Notes in Computer Science" , volume = 553 , publisher = "Springer-Verlag" , year = 1991 , pages = "123--140" , update = "94.01 rote" } @article{Kitajima:1988, author = "Kitajima, K.", title = "Interactive robot simulator for high-level tasks", journal = "Computer Aided Design", volume = "20", number = "2", pages = "93--99", year = "1988", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{KKKL:1994, author = {Y. Koga and K. Kondo and J. Kuffner and J.C. Latombe}, title = "Planning Motions with Intentions", booktitle = "Proceedings of SIGGRAPH'94, Computer Graphics Proceedings", site = {Orlando, Florida, July 24-29}, year = "1994", pages = "395--408", source = {http://robotics.stanford.edu/people/kuffner/human.html} } @inproceedings{Kramer:1990, author = {Glenn A. Kramer}, title = {Solving Geometric Constraint Systems}, pages = {708--714}, crossref = {aaai:1990}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @book{Kramer:1992, author = {Glenn A. Kramer}, title = {Solving Geometric Constraint Systems: A Case Study in Kinematics}, publisher = "The MIT Press", address = "Cambridge, Massachusetts", year = "1992", pages = "xviii, 277 pp" } @incollection{Kuipers, author = {Kuipers, B. J.}, title = {Three chapters on the TOUR model}, crossref= {Chen:1990}, booktitle = {Advances in Spatial Reasoning}, pages = {169--251}, remark = {Contain previously published material} } @article{Kuipers/Levitt:1988, author = {Kuipers, B. J. and Levitt, T.}, title = {Navigation and mapping in large-scale space}, journal = {Artificial Intelligence Magazine}, volume = {9}, number = {2}, year = {1988}, pages = {25--43}, note = {Reprinted in \cite{Chen:1990}, vol.2, pp.207--251} } @article{Kuipers/Byun:1991, author = {Kuipers, B. J. and Byun, Yung-Tai}, title = {A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations}, journal = {Robotics and Autonomous Systems}, volume = {8}, number = {1-2}, year = {1991}, pages = {47--63}, } @book{Kusiak:1990, author = {Kusiak, Andrew}, title = {Intelligent manufacturing systems}, publisher = {Prentice-Hall}, address = {Englewood Cliffs, N.J}, year = {1990}, source = { Engineering Library: TS 176 K869 1990} } @book{Latombe:1991, author = {Jean-Claude Latombe}, title = {Robot Motion Planning}, series = {The Kluwer International Series in Engineering and Computer Science}, volume = "124", year = "1991", pages = "651pp.", keywords = {Robotics, Artificial Intelligence, Control Systems, Computer Vision}, publisher = {Kluwer Academic Publishers}, address = "Boston", source = {http://robotics.stanford.edu/groups/latombe/home.html, Dept. of Computer Science, Stanford University, CA, USA} } @article{LLS:1991, author = {Jean-Claude Latombe and Anthony Lazanas and Shashank Shekhar}, title = {Robot Motion Planning with Uncertainty in Control and Sensing}, journal = {Artificial Intelligence}, volume = {52}, number = {1}, year = {1991}, pages = {1--47} } @phdthesis{Lazanas:1994, author = "Anthony Lazanas", title = {Reasoning about Uncertainty in Robot Motion Planning}, year = 1994, month = aug, number = "Rep. No. STAN-CS-TR-95-1539", school = {Dep. of Computer Sceince of Stanford University}, address = {Stanford, California}, pages = "236pp." } @inproceedings{LLLMRS:1994, author = {Y. Lesperance and H. Levesque and F. Lin and D. Marcu and R. Reiter and R. Scherl}, title = "A Logical Approach to High-Level Robot Programming -- A Progress Report", booktitle = {Control of the Physical World by Intelligent Systems}, address = {New Orleans, LA}, editor = {Benjamin Kuipers}, pages = "79--85", year = "1994", source = { ftp://ftp.cs.toronto.edu/pub/cogrob/robotprog.ps.Z } } @article{Leyton88a, author = "Leyton, Michael", title = "A Process-Grammar for Shape", journal = "Artificial Intelligence", volume = "34(2)", month = mar, pages ="213--247", year = 1988 } @article{Lieberman/Wesley:1977, author = {L.I. Liebermann and M.A. Wesley}, title = "{\large\tt AUTOPASS}: An Automatic Programming System for Computer-Controlled Mechanical Assembly", journal = "IBM Journal of Research and Development", volume = "21", number = "4", month = jul, pages = "321--333", year = "1977" } @inproceedings{LP-W:1977, author = {Thomas Lozano-P{\'e}rez and Patric Winston}, title = "{\large\tt LAMA}: A Language for Automatic Mechanical Assembly", booktitle = {5th Intern. Joint Conf. on AI}, address = {Cambridge, MA}, month = aug, pages = "710--716", year = "1977" } @article{Lozano-Perez:1981, author = "Thomas Lozano-P{\'e}rez" , title = "Automatic planning of manipulator transfer movements" , journal = "IEEE Trans. Syst. Man Cybern." , volume = "SMC-11" , number = 10 , year = 1981 , pages = "681--698" } @incollection{Lozano-Perez:1982, author = "Lozano-P\'{e}rez, T.", title = "Task Planning", booktitle = {Robot Motion}, editor = {M. Brady and J.M.Hollerbach and T.L.Johnson and T. Lozano-P\'{e}rez and M.T. Mason}, publisher = {MIT Press}, address = {Cambridge, Massachusetts}, pages = "473--498", year = 1982 } @article{Lozano-Perez:1983, author = "Lozano-P\'{e}rez, T.", title = "Spatial Planning: A Configuration Space Approach", journal = "IEEE Transactions on Computers", year = 1983, volume = "C-32", number = "2", pages = "108--120"} @article{LMT:1984, author = "T. Lozano-P{\'e}rez and M. T. Mason and R. Taylor", title = "Automatic Synthesis of Fine-Motion Strategies for Robots", journal = "Internat. J. Robot. Res.", volume = 3, number = 1, pages = "3--24", year = 1984, update = "93.09 milone+mitchell" } @incollection{LP-T:1988, author = "T. Lozano-P{\'e}rez and R. Taylor", title = "Geometric Issues in Planning Robot Tasks", booktitle = {Robotics Science}, publisher = {MIT Press}, editor = {M. Brady}, address = "Cambridge (MA, USA)", year = 1988 } @book{Handey:1992, author = {Tom{\'a}s Lozano-P{\'e}rez and Joseph L. Jones and Emmanuel Mazer and Patrick A. O'Donnell}, title = {HANDEY: A Robot Task Planner}, year = "1992", pages = "227pp.", keywords = {Robots-programming, Planning pick-and-place operations, gross motion planning, grasp and regrasp planning, coordinating multiple robots}, publisher = {The MIT Press}, address = "Cambridge (MA, USA)" } @article{Mason:1981, author = {M. Mason}, title = {Compliance and force control for computer controlled manipulators}, journal = "IEEE Transactions in System Man and Cybernetics", volume = "11", number = 6, pages = "418-432", year = "1981" } @incollection{McCarthy/Hayes:1969, author = {John McCarthy and Patrick Hayes}, title = {Some philosophical problems from the standpoint of artificial intelligence}, booktitle = {Machine Intelligence 4}, publisher = {American Elsevier}, address = {New York}, year = {1969}, editor = {B. Meltzer and D. Michie}, pages = {463--502}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @article{McDermott:1984a, author = "D. V. McDermott and E. Davis", year = 1984, title = "Planning routes through uncertain territory", journal = "Artificial Intelligence", volume = "22", pages = "107-156" } @inproceedings{Magee/Mitchell:1986, author = {Michael Magee and Mitchell Nathan}, title = {A Theorem Proving Based Pattern Recognition System}, booktitle = {IEEE Intern. Conf. on Robotics and Automation}, site = {San Francisco, CA}, year = {1986}, pages = "782--789", publisher = {IEEE Computer Society Press}, source = {TJ/210/.3/I44/1986, vol.2} } @article{Magee/Mitchell:1987, author = {Michael Magee and Mitchell Nathan}, title = {A Viewpoint Independendent Modeling Approach to Object Recognition.}, journal = "IEEE Journal of Robotics and Automation", volume = "RA-3", month = aug, pages = "351--356", year = 1987, keyword ={ http://cs.uwyo.edu/~magee/www_magee.html , magee@uwyo.edu} } % {Magee, Michael and Mitchell, Nathan}, %{Hypothesizing undetected and occluded % three-dimensional features using predicate logic % based spatial reasoning} @inproceedings{Magee_et_al:1989, author = {M. Magee and J. Becker and D. Mathis and C. Sklair, W. Wolfe}, title = {Multilevel Vision Based Spatial Reasoning for Robotic Tasks}, year = "1989", booktitle = "IEEE International Conference on Robotics and Automation", volume = "1", site = "Scottsdale, AZ, USA", pages = "503--508", publisher = {IEEE Computer Society Press}, source = {TJ/210/.3/I44/1989/v.1} } @article{Mats_Nitta:1995, author = {T. Matsuyama and T. Nitta}, title = {Geometric theorem proving by integrated logical and algebraic reasoning}, journal = {Artificial Intelligence}, volume = "75", pages = "93--113", year = "1995" } @article{McKinsey_et_al:1953, author = {J. McKinsey and A.Sugar and P.Suppes}, title = {Axiomatic foundations of classical particle mechanics}, journal = "Journal of Rational Mechanics and Analysis", pages = "253--272", volume = 2, year = "1953", source = {New title: "Journal of mathematics and mechanics", PUBLISHED: Bloomington, Ind.; Check at Mathematics Library: QA/1/J975; Classical Newton mechanics serves as a foundation for logical framework.} } @article{Millan:1995, author = {Jos{\'e} del R. Millan}, title = "Reinforcement learning of goal-directed obstacle-avoiding reaction strategies in an autonomous mobile robot", journal = "Robotics and Autonomous Systems", volume = "15", number = 4, pages = "275--299", year = "1995", ref = {SPECIAL ISSUE Reinforcement Learning and Robotics}, publisher = {Elsevier Science, North-Holland}, note = { E-mail: jose.millan@jrc.it } } @incollection{Montague:1974, author = {Montague, Richard}, title = "Deterministic Theories", pages = "303--359", booktitle = {Formal philosophy; selected papers of Richard Montague}, editor = {Richmond Thomason}, publisher = {Yale University Press}, address = "New Haven", year = "1974", source = {Local-library: B/945/M491T5 ROBA ; collection of papers written by R.Montague, 1930-1971; 369 pp.; Classical Newton mechanics serves as a foundation for logical framework.} } @techreport{Morik/Rieger:1993, author = "Katharina Morik and Anke Rieger", title = "Learning Action-oriented Perceptual Features for Robot Navigation", year = "1993", type = "Report", number = "3", institution = {University of Dortmund, Lehrstuhl Informatik VIII - AI}, source = {ftp://ftp-ai.informatik.uni-dortmund.de/pub/Reports/report3.ps.Z Abstract: Machine learning can offer an increase in the flexibility and applicability of robotics at several levels of control. In this paper, we characterize two symbolic learning tasks in the field of robotics. We outline an approach for learning features from sensory data and for using these features to learn more complex ones. We illustrate our approach with first experiments in the field of navigation.} } @techreport{Myers/Wilkins:1995, author = "Myers, Karen and Wilkins, David", title = "Reasoning about Locations in Theory and Practice", institution = {Artificial Intelligence Center, SRI International}, year = 1995, source = {AI Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025} } @inproceedings{Mukerjee/Joe:1989, title = {Representing spatial relations between arbitrarily oriented objects}, author = {Mukerjee, Amitabha and Joe, Gene}, booktitle = {International Conference on Machine Intelligence and Vision (MIV-89)}, site = {Tokyo Japan}, month = apr, pages = "288--291", year = 1989 } % Also available as TR 89-019 from TAMU-CS @inproceedings{Mukerjee/Joe:1990a, author = {Amitabha Mukerjee and Gene Joe}, title = {A Qualitative Model for Space}, pages = {721--727}, crossref = {aaai:1990}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Mukerjee/Mittal:1995, author= {Mukerjee, Amitabha and Mittal, Nishant}, title= {A qualitative representation of frame-transformation motions in 3-dimensional space}, crossref= {icra:1995}, } %Longer version in IIT Kanpur Department of % Mechanical Engg, Technical report ME-94-026. @inproceedings{Mukerjee/Manish/Praveen:1995, author= {Mukerjee, Amitabha and Manish, Agrawal and Praveen, Bhatia}, title = {A qualitative discretization for 3D contact motions}, booktitle = "IJCAI'95", crossref={ijcai:1995}, year = 1995, pages = "915--921", source = {ftp://ftp.cs.albany.edu/pub/amit/ijcai95.ps.gz} } @techreport{Nielsen87b, author = "Nielsen, Paul E.", title = "The Qualitative Statics of Rigid Bodies", number = "UIUCDCS-R-87-1374", institution = "University of Illinois at Urbana-Champaign", year = 1987, source = {http://krusty.eecs.umich.edu/people/nielsen/papers.html} } @techreport{Nielsen88a, author = "Nielsen, Paul E.", title = "A Qualitative Approach to Rigid Body Mechanics", number = "UIUCDCS-R-88-1775", institution = "Department of Computer Science, University of Illinois at Urbana-Champaign", year = 1988, source = {http://krusty.eecs.umich.edu/people/nielsen/papers.html} } @inproceedings{Nielsen88b, author = "Nielsen, Paul E.", title = "A Qualitative Approach to Mechanical Constraint", booktitle = "AAAI-88", crossref = {aaai:1988}, note = {Reprinted in \cite{Weld/deKleer:1990}}, pages = "270--274", year = "1988", source = {http://krusty.eecs.umich.edu/people/nielsen/papers.html} } @inproceedings{Nilsson69, author = "Nils J. Nilsson", title = "A mobile automaton: An application of artificial intelligence techniques", booktitle = "Proc. of the Intern. Joint Conf. on Artif. Intelligence", address = {Washigton, D.C.}, pages = "509--520", year = "1969" } @book{Nilsson:1980, author = "Nils J. Nilsson", title = "Principles of artificial intelligence", publisher = "Morgan Kaufmann", address = {Los Altos}, year = {1980} } @inproceedings{OON:1995, author = {Olivier, Patrick and Ormsby, Andrew and Keiichi, Nakata}, title = {Higher-pair kinematics using occupancy arrays}, booktitle = {IJCAI-95 Workshop}, crossref = {Anger_et_al:1995}, pages = "65--74", year = 1995, ref = { U.Aberystwyth TR UWA-DCS-95-007, January 1995 Dep. of Computer Science, Univ. of Wales, Aberystwyth Dyfed SY23 3DB United Kingdom plo, aro, kkn @aber.ac.uk } } @inproceedings{Pang/Trudel94, author = "Pang, W. and Trudel, A.", title = "A point based spatio-temporal logic", booktitle = "AAAI'94 Worksop", crossref = {Anger/Loganantharaj:1994}, pages = "145--150", year = 1994 } @inproceedings{Pang/Trudel95, author = "Pang, Wanlin and Trudel, Andr{\'e}", title = "A logic for representation and reasoning about robotic navigation on a shop floor", booktitle = {International Symposium on Artificial Intelligence, October 17--20, M{\'e}xico}, crossref = {isai:95}, pages = "139--146", year = 1995 } @inproceedings{Papadias/Sellis:1993, author = {Papadias, Dimitris and Sellis, Timos}, title = {The semantics of relations in 2{D} space using representative points: Spatial indexes}, crossref = {Frank/Campari:1993}, pages = {234--247}, year = 1993 } @article{Papadias/Sellis:1994, author = {Papadias, Dimitris and Sellis, Timos}, title = {The qualitative representation of spatial knowledge in 2D space}, journal = {Very Large Databases (VLDB) Journal, Special Issue on Spatial Databases}, volume = "4(3)", month = sep, pages = "479--516", year = 1994, } @article{Papadias/Theodoridis:1995, author = {Papadias, Dimitris and Theodoridis, Yannis}, title = {Spatial relations, minimum bounding rectangles and spatial data structures}, journal = {To appear in: International Journal of Geographic Information Systems}, year=1995, source={Knowledge and Data Base Systems Laboratory, Department of Electrical and Computer Engineering, National Technical University of Athens, KDBSLAB-TR-94-04, ftp://ftp.dbnet.ece.ntua.gr/pub/papers/reports/} } @inproceedings{Pentland:1986, author = {A.P. Pentland}, title = {Parts: structured description of shape}, key = {5th-AAAI}, organization = {American Association for Artificial Intelligence}, booktitle = {Proceedings of the Fifth National Conference on Artificial Intelligence}, volume = 1, pages = "695--701", year = "1986" } @inproceedings{Pianesi/Varzi:1994, author = {Pianesi, Fabio and Varzi, Achille}, title = {Mereotopological construction of time from events}, booktitle = {Proceedings of 11th Europen Conference on Artificial Intelligence}, editor = "A. Cohn", site = "Amsterdam", month = aug, publisher = {John Wiley \& Sons, Ltd}, pages = "396--400", year = 1994, source = {Instituto per la Ricerca Scientifica e Tecnologica (IRST) Povo, Trento, I-38050, Italy E-mail: {pianesi,varzi}@irst.it } } @article{Popplestone_et_al:1980, author = {Popplestone, R. and Ambler, A. and Bellos, I.}, title = {An interpreter for a language for describing assemblies}, journal = "Artificial Intelligence", volume = 14, pages = "79--107", year= 1980 } @article{Popplestone_et_al:1990, author = {Popplestone, Robin J. and Yanxi Liu and Rich Weiss}, title = "Group theoretic approach to assembly planing", journal = "AI Magazine", volume= "11", number = "1", pages= "82--97", year = "1990" } @book{PS:1985, author = {Franco P. Preparata and Michael Ian Shamos}, title = {Computational geometry: an introduction}, seria = {Texts and monographs in computer science }, publisher = {Springer-Verlag}, address = {Berlin}, year = {1985}, pages = {390pp}, source = {Science & Medicine Library: QA 447 P735 1985} } @inproceedings{QCM:1995, author= {Qin, Caigong and Cameron, Stephen and McLean, Alistair}, title = {Towards efficient motion planning for manipulators with complex geometry}, booktitle = "Proc. of the IEEE Intern. Symposium on Assembly and Task Planning", address = {Pittsburgh, Pennsylvania, August 10-11}, year = 1995, pages = "207--212", } @inproceedings{Rajagopalan:1994a, author = {Rajagopalan, Raman}, title = {A model for integrated qualitative spatial and dynamic reasoning in physical systems}, pages = {1411--1417}, crossref = {aaai:1994}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @inproceedings{Rajagopalan:1994b, author = {Rajagopalan, Raman}, title = {On shape abstractions for qualitative spatial reasoning}, booktitle = {Proceedings of AAAI-94 Workshop}, crossref = {Anger/Loganantharaj:1994}, pages = "151--155", year = 1994 } @phdthesis{Rajagopalan:1995, author = {Rajagopalan, Raman}, title = {Qualitative reasoning about dynamic change in the spatial properties of a physical system}, year = 1995, school = {Graduate School of the University of Texas at Austin}, address = {Dep. of Computer Sceince, Univ. of Texas at Austin}, source = {http://www.cs.utexas.edu/users/qr/papers-QR.html Scientific supervisor: Benjamin Kuipers} } @incollection{RC92, author = "Randell, D.A. and Cohn, A.G.", title = "Naive Topology: Modelling the Force Pump", editor = "B.Faltings and P.Struss", booktitle = "Advances in Qualitative Physics", crossref = {Faltings/Struss:1992}, publisher = "MIT Press", year = 1992, pages = "177--192", source={http://agora.leeds.ac.uk/spacenet/publications.html} } @incollection{Reif87, author = "J. H. Reif", title = "Complexity of the generalized movers problem", editor = "J. Hopcroft and J. Schwartz and M. Sharir", booktitle = "Planning, Geometry and Complexity of Robot Motion", publisher = "Ablex Pub. Corp.", address = "Norwood, NJ", year = 1987, pages = "267--281", note = {Published initially in the Proc. of 20th FOCS'79 IEEE Symposium, p.421-427}, succeeds = "r-cmpg-79" } @string{jacm={Journal of the ACM}} @article{ReifS94a, title={Motion Planning in the Presence of Moving Obstacles}, author={John Reif and Micha Sharir}, area={Graph Theory and Combinatorial Structures}, pages={764--790}, journal=jacm, month=jul, year=1994, volume=41, number=4, note = {Published initially in the Proc. of 25th FOCS'79 IEEE Symposium}, source={ftp://theory.lcs.mit.edu/pub/jacm/jacm.bib} } @inproceedings{rs-dsppp-88, author = "J. H. Reif and J. A. Storer" , title = "3-Dimensional Shortest Paths in the Presence of Polyhedral Obstacles" , booktitle = "Proc. 13th Internat. Sympos. Math. Found. Comput. Sci." , series = "Lecture Notes in Computer Science" , volume = "3:24" , publisher = "Springer-Verlag" , year = 1988 , pages = "85--92" , succeeds = "rs-spesp-85" , update = "95.01 mitchell" } @string{jacm={Journal of the ACM}} @article{ReifS94b, title={A Single-Exponential Upper Bounds for Finding Shortest Paths in Three Dimensions}, author={John H. Reif and James A. Storer}, area={Data Structures and Analysis of Algorithms}, pages={1013--1019}, journal=jacm, month=sep, year=1994, volume=41, number=5, source={ftp://theory.lcs.mit.edu/pub/jacm/jacm.bib} } @article{Renegar:1992, author = {James Renegar}, title = {On the computational complexity and geometry of the first-order theory of the reals}, journal = {Journal of Symbolic Computation}, volume = "13", year = "1992", pages = {255--352} } @techreport{Rieger:1995, author = "Anke Rieger", title = "Inferring Probabilistic Automata from Sensor Data for Robot Navigation", year = "1995", type = "Report", number = "18", institution ={University of Dortmund, Lehrstuhl Informatik VIII - AI}, source = {ftp://ftp-ai.informatik.uni-dortmund.de/pub/Reports/report18.ps.Z Abstract: We address the problem of guiding a robot in such a way, that it can decide, based on perceived sensor data, which future actions to choose, in order to reach a goal. In order to realize this guidance, the robot has access to a (probabilistic) automaton (PA), whose final states represent concepts, which have to be recognized in order to verify, that a goal has been achieved. The contribution of this work is to learn these PA's from classified sensor data of robot traces through known environments. Within this framework, we account for the uncertainties arising from ambiguous perceptions. We introduce a knowledge structure, called prefix tree , in which the sample data, represented as cases, is organized. The prefix tree is used to derive and estimate the parameters of deterministic, as well as probabilistic automata models, which reflect the inherent knowledge, implicit in the data, and which are used for recognition in a restricted first-order logic framework.} } @article{RHINO, author = {Joachim Buhmann and Wolfram Burgard and Armin~B. Cremers and Dieter Fox and Thomas Hofmann and Frank Schneider and Jiannis Strikos and Sebastian Thrun}, title = {The mobile Robot Rhino}, journal = {Artificial Intelligence Magazine}, volume = {16}, number = {2}, pages = {31--38}, year = {1995}, source = {http://www.cs.uni-bonn.de/~wolfram/rhino-ai-magazine.ps.gz http://www.cs.cmu.edu/afs/cs.cmu.edu/user/thrun/public_html/index.html} } @article{Rimon_Kod:1992, author = {E. Rimon and D.E. Koditschek}, title = {Exact robot navigation using artificial potential functions}, journal = {IEEE Transactions on Robotics and Automation}, volume = {8}, number = {5}, pages = {501--518}, year = "1992" } @article{Roberts:1973, author = {Roberts, Fred S.}, title = {Tolerance Geometry}, journal = {Norte Dame Journal of Formal Logic}, volume = {14}, number = {1}, pages = {68--76}, year = {1973}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @article{Rogers, author = {Hartley Rogers}, title = {Certain logical reductions and decision problems}, journal = {Annals of Mathematics}, volume = {64}, number = {2}, pages = {264--284}, year = {1956} } @incollection{rn-dvdmp-91, author = "Thomas Roos and Hartmut Noltemeier" , title = "Dynamic {Voronoi} diagrams in motion planning" , booktitle = "Computational Geometry --- Methods, Algorithms and Applications: Proc. Internat. Workshop Comput. Geom. CG '91" , series = "Lecture Notes in Computer Science" , volume = 553 , publisher = "Springer-Verlag" , year = 1991 , pages = "227--236" , update = "94.01 rote" } @article{Rosenfeld:1979, author = {A. Rosenfeld}, title = {Digital topology}, journal = {American Mathematical Monthly}, year = {1979}, volume = {86}, pages = {621--630}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @book{Samet:1990a, author = "Samet, Hanan", title = { The design and analysis of spatial data structures}, series = {Addison-Wesley series in computer science}, publisher = "Addison-Wesley", address = "Reading, Mass.", year = "1990", pages = "493pp", source = {Erindale Library: QA 76 .9 D35 S26 1990 ERIN} } @book{Samet:1990b, author = "Samet, Hanan", title = {Applications of spatial data structures: computer graphics, image processing, and GIS}, publisher = "Addison-Wesley", address = "Reading, Mass.", year = "1990", pages = "507pp.", source = {Science&Medicine Library: QA/76/.9/D35S25/1990} } @inproceedings{Saund87a, author = "Saund, E.", title = "Qualitative Physics and Shapes of Objects", booktitle = "QPW87", organization="Qualitative Reasoning Group, University of Illinois at Urbana-Champaign", year = 1987 } @article{Schwartz-Sharir:1983, author = "Jacob T. Schwartz and Micha Sharir", title = {On the piano movers' problem, II: General techniques for computing topological properties of real algebraic manifolds}, journal = {Advances in Applied Mathematics}, volume = "4", pages = {298--351}, year = 1983, note = {Reprinted in \cite{SSH:1987}} } @book{SSH:1987, editor = {Jacob T. Schwartz and Micha Sharir and John Hopcroft}, title = {Planning, geometry, and complexity of robot motion}, series = {Ablex series in artificial intelligence}, publisher = "Ablex", year = "1987", pages = "ix + 337pp", source = {CALL NUMBER: TJ211.4 .P57 1987} } @article{Segre:1991, author = "Alberto Segre", title = "Learning how to plan", journal = "Robotics and Autonomous Systems", volume = "8", pages = "93--111", year = "1991", publisher = {Elsevier Science, North-Holland} } @article{Shaffer:1992, author = "C.A. Shaffer", title = "A real-time robot arm collision avoidance system", journal = "IEEE Journal of Robotics and Automation", volume = 8, number = "2", pages = "149--160", year = 1992 } @article{Shanahan:1995, author = "Murray Shanahan", title = {Default Reasoning about Spatial Occupancy}, journal = "Artificial Intelligence", volume = "74(1)", year = "1995", pages = "147--163", source = { http://www.dcs.qmw.ac.uk/~mps/pubs.html } } @inproceedings{Shanahan:1996, author = "Murray Shanahan", title = {Robotics and the commonsense informatic situation}, booktitle = {Working Notes for the 3rd Symposium on Formalization of Commonsense Reasoning}, address = "Stanford University, January 6-8", year = "1996", pages = "186--198", source = { http://www.dcs.qmw.ac.uk/~mps/pubs.html } } @inproceedings{Shoham85a, author = "Shoham, Y.", title = "Naive Kinematics: one aspect of shape", booktitle = "IJCAI'85", crossref = {ijcai:1985}, pages = "436--442", year = 1985} @inproceedings{Simmons/Koenig:1995, author = "R.G. Simmons and S. Koenig", title = "Probabilistic Robot Navigation in Partially Observable Environments", booktitle = "IJCAI'95", crossref = {ijcai:1995}, pages = "1080--1087", year = 1995, source = { http://www.cs.cmu.edu/afs/cs.cmu.edu/user/reids/www/home/reidhome.html http://www.cs.cmu.edu/afs/cs.cmu.edu/usr/skoenig/www/sven/home.html } } @article{Smith/Park:1992, author = {Terence R. Smith and Keith K. Park}, title = {Algebraic approach to spatial reasoning}, journal = {International Journal of Geographical Information Systems}, year = {1992}, volume = {6}, number = {3}, pages = {177--192}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @string{jacm={Journal of the ACM}} @article{StorerR94, title={Shortest Paths in the Plane with Polygonal Obstacles}, author={James A. Storer and John H. Reif}, area={Data Structures and Analysis of Algorithms}, pages={982--1012}, journal=jacm, month=sep, year=1994, volume=41, number=5, source={ftp://theory.lcs.mit.edu/pub/jacm/jacm.bib} } @incollection{Sun/Faltings:1994, author = {K. Sun and B. Faltings}, title = "Supporting Creative Mechanical Design", booktitle = "Artificial Intelligence in Design '94", editor = {J.S. Gero and F. Sudweeks}, publisher = "Kluwer Academic Publishers", pages = "39--56", year = "1994", source = {http://liawww.epfl.ch/~faltings/publication.html} } @article{Suppes:1972, title={Some open problems in philosophy of space and time}, author={P. Suppes}, pages={298--316}, journal={Synthese}, publisher = "Reidel", address = "Dordrecht", year="1972", volume="24", number="1-2", keywords = {commonsense theories of space-time} } @techreport{Throop89a, author = "Throop, David", title = "Spatial unification: qualitative spatial reasoning about steady state mechanisms", institution = "University of Texas at Austin, AI Laboratory", school = "Department of Computer Sciences, University of Texas at Austin", address = "Austin, Texas", year = "1989", month = feb, number = "AI89-95"} @inproceedings{Thrun:1993, author = {Sebastian Thrun}, title = {Exploration and model building in mobile robot domain}, booktitle = {Proc. of the IEEE Intern. Conf. on Neural Networks}, publisher ={IEEE Press}, address = {San Francisco, CA}, year = {1993}, source ={ http://www.informatik.uni-bonn.de/~thrun/publications.html http://www.cs.cmu.edu/afs/cs.cmu.edu/user/thrun/public_html/index.html } } @article{Thrun:1995, author = "Sebastian Thrun", title = "An Approach to Learning Mobile Robot Navigation", journal = "Robotics and Autonomous Systems", volume = "15", pages = "301--319", year = "1995", source ={ http://www.informatik.uni-bonn.de/~thrun/publications.html }, abstract = { This paper describes an approach to learning a simple indoor robot navigation task through trial-and-error. A mobile robot, equipped with visual, ultrasonic and laser sensors, learns to servo to a designated target object. In less than ten minutes of operation time, the robot is able to navigate to a marked target object in an office environment. The central learning mechanism is the explanation-based neural network learning algorithm (EBNN). EBNN initially learns function purely inductively using neural network representations. With increasing experience, EBNN employs domain knowledge to explain and to analyze training data in order to generalize in a more knowledgeable way. Here EBNN is applied in the context of reinforcement learning, which allows the robot to learn control using dynamic programming.} } @techreport{Thrun/Buecken:1996, author = "Sebastian Thrun and Arno Buecken", title = "Integrating Grid-Based and Topological Maps for Mobile Robot Navigation", institution = "University of Bonn", year = "1996", source ={ http://www.informatik.uni-bonn.de/~thrun/publications.html http://www.cs.cmu.edu/afs/cs.cmu.edu/user/thrun/public_html/index.html }, abstract = { Autonomous robots must be able to learn and maintain models of their environments. Past research on mobile robot navigation has produced two major paradigms for mapping indoor environments: grid-based and topological. While grid-based methods produce accurate metric maps, their complexity often prohibits efficient planning and problem solving in large-scale indoor environments. Topological maps, on the other hand, can be used much more efficiently, yet accurate and consistent topological maps are most difficult to learn in large-scale environments. This paper describes an approach that integrates both paradigms: grid-based and topological. Grid-based maps are learned using artificial neural networks and Bayesian analysis. Topological maps are generated on top of the grid-based maps, by partitioning the latter into coherent regions. By combining both paradigms---grid-based and topological---, the approach presented here gains the best of both worlds: accuracy/consistency and efficiency. The paper gives results for autonomously operating a mobile robot equipped with sonar sensors in populated multi-room environments. } } @unpublished{Topaloglou:1991, author = {Topaloglou, Thodoros}, title = {Representation and Management Issues for Large Spatial Knowledge Bases}, institution = {Dept. of Computer Science, University of Toronto}, year = {1991}, month = sep, note = {Depth Oral paper submitted in partial fulfillment of the requirements for the PhD degree}, source={http://www.cs.toronto.edu/~thodoros } } @article{Traverso_et_al:1994, author = "Traverso, P. and Cimatti, A. and Spalazzi, L. and Giunchiglia, E. and Armando, A.", title = "MRG: Building Planners for Real World Complex Applications", journal = "Applied Artificial Intelligence", volume = "8", number = "3", year = "1994", pages = "333--357", source = {IRST-Technical Report # 9302-21, http://www.mrg.dist.unige.it/publist.html Abstract: We are interested in the development of planners that work in real-world and large-scale applications. Most of these applications require systems that perform and combine the usual planning tasks, e.g. plan formation, plan execution, monitoring and recovering from failure, in a problem dependent way. Furthermore, in most cases, these systems must integrate the various different planning techniques proposed in the literature, e.g. planning ahead, deferred and reactive planning. In this paper we present a system (called MRG) that eases all these difficulties by representing explicitly all the planning tasks and by combining them using a small set of powerful control structures. At the moment, we are experimenting with MRG in a complex large-scale application that is briefly described in this paper.} } @inproceedings{Turkiyyah91a, author = "Turkiyyah, George and Ghattas, Omar", title = "Geometric Reasoning for Shape Design", booktitle = "AAAI-91", crossref = {aaai:1991}, pages = "874--879", year = 1991 } @inproceedings{Udupa:1977, author = {Shriram M. Udupa}, title = "Collision Detection and Avoidance in Computer Controlled Manipulators", booktitle = {5th Intern. Joint Conf. on Artif. Intell.}, address = {Cambridge, MA}, month = aug, pages = "737--748", year = "1977" } @inproceedings{duVerdier:1993, author = {Franck du Verdier}, title = {Solving Geometric Constraint Satisfaction Problems for Spatial Planning}, pages = {1564--1569}, crossref = {ijcai:1993}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @inproceedings{Vieu:1993, author = {Laure Vieu}, title = {A Logical Framework for Reasoning about Space}, pages = {25--35}, crossref = {Frank/Campari:1993}, year = "1993", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @incollection{Waldinger:1977, author = {R.J. Waldinger}, title = {Achieving several goals simultaneously}, booktitle = {Machine Intelligence, vol. 8: Machine Representations of Knowledge}, publisher = {Ellis Horwood}, address = {Chichester, UK}, year = {1977}, editor = {E. Elcock and D. Michie}, pages = {94--136}, } @inproceedings{Wilfong:1988, author = {G. Wilfong}, title = {Motion planning in the presence of movable obstacles}, booktitle = {Proc. of the 4th ACM Sympos. on Computational Geometry}, pages = {279--288}, year = "1988" } @unpublished{Williams89a, author="Williams, B.C.", title="Invention From First Principles via Topologies of Interaction", school="Massachusetts Institute of Technology", note="Unpublished Ph. D. Thesis", year = 1989} @unpublished{Williams90a, author = "Williams, B.C.", title = "Visualizing Potential Interactions: Constructing Novel Devices from First Principles", note = "Presented at 4th International Workshop on Qualitative Physics, Lugano, Switzerland", year = 1990} @article{WL:1994, author = "Randall H. Wilson and Jean-Claude Latombe", title = "Geometric reasoning about mechanical assembly", journal = {Artificial Intelligence}, volume = {71}, pages = "371--396", year = "1994" } @incollection{Yap:1987, author = "C.-K.Yap", title = "Algorithmic motion planning", crossref ={advances:1987}, year = "1987", pages = "95--143" } @incollection{Zrimec/Mowforth:1988, author = "T. Zrimec and P. Mowforth", title = "An experiment in generating deep knowledge for robots", booktitle = "Artificial Intelligence in Engineering: Robotics and Processes", editor = "J.S. Gero", publisher = "Elsevier", address = "Amsterdam", year = "1988", pages = "21--33" } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % CROSS REFERENCESS: (crossref.bib) % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{advances:1987, editor = "Schwartz, J.T. and Yap, C.-K.", title = "Algorithmic and geometric aspects of robotics", series = "Advances in robotics", volume = "1", publisher = "Lawrence Erlbaum", address = "Hillsdale (NJ)", year = "1987" } @proceedings{Anger_et_al:1993, editor = {Frank Anger and Hans-Werner Guesgen and J. van Benthem}, title = {Proceedings of the Workshop on Spatial and Temporal Reasoning at the 13th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Workshop on Spatial and Temporal Reasoning at the 13th International Joint Conference on Artificial Intelligence}, address = {Chamb\'ery, France}, year = {1993}, month = aug, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @proceedings{Anger/Loganantharaj:1994, editor = {Frank Anger and Rasiah Loganantharaj}, title = {Proceedings of the Workshop on Spatial and Temporal Reasoning at the 12th National Conference on Artificial Intelligence}, booktitle = {Proceedings on Spatial and Temporal Reasoning, AAAI-94 Workshop}, address = {Seattle, Washington, USA}, year = {1994}, month = jul } @proceedings{Anger_et_al:1995, editor = {Anger, Frank and Guesgen, Hans and Ligozat, Gerard}, title = {Proceedings of the Workshop on Spatial and Temporal Reasoning at the 14th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Workshop on Spatial and Temporal Reasoning at the 14th International Joint Conference on Artificial Intelligence}, address = {Montreal, Canada}, year = 1995, month = {Monday, August 21} } @book{Faltings/Struss:1992, editor = "Faltings, Boi and Struss, Peter", title = "Recent Advances in Qualitative Physics", booktitle = {Recent Advances in Qualitative Physics}, publisher = "The MIT Press", address = "Cambridge, MA", year = 1992 } @proceedings{Frank/Campari:1993, editor = {Andrew U. Frank and Irene Campari}, title = {Spatial Information Theory. A Theoretical Basis for GIS. European Conference, COSIT'93}, booktitle = {Spatial Information Theory. A Theoretical Basis for GIS. European Conference, COSIT'93}, address = {Marciana Marina, Italy}, publisher = "Springer", series = {Lecture Notes in Computer Science}, volume = {716}, year = {1993}, month = sep, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{Frank_et_al:1992, editor = {Andrew U. Frank and Irene Campari and U. Formentini}, title = {Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Intl. Conf. GIS---From Space to Territory}, booktitle = {Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Intl. Conf. GIS---From Space to Territory}, address = {Pisa}, publisher = "Springer", series = {Lecture Notes in Computer Science}, volume = {639}, year = {1992}, month = sep, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{Herring/Egenhofer:1995, editor = {J. R. Herring and M. J. Egenhofer}, title = {Fourth International Symposium on Large Spatial Databases, SSD '95}, booktitle = {Fourth International Symposium on Large Spatial Databases, SSD '95}, series = {Lecture Notes in Computer Science}, publisher = "Springer", year = {1995}, month = aug, note = {to appear}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html}} @book{Mental_models:1983, editor = {Dedre Gentner and Albert L. Stevens}, title = "Mental models", publisher = "L. Erlbaum Associates", address = "Hillsdale, N.J.", year = "1983", source = {local libraries: BF/311/M446/1983 ROBARTS BF/311/M446/1983 SIGSAM} } @book{Weld/deKleer:1990, editor = {Daniel S. Weld and Johan de Kleer}, title = {Readings in Qualitative Reasoning about Physical Systems}, booktitle = {Readings in Qualitative Reasoning about Physical Systems}, publisher = "Morgan Kaufmann", address = "San Mateo, CA", year = {1990}, source = {qualphys.bib - copies of contents, biblio and selected articles}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{isai:95, key = {ITESM}, organization = {ITESM}, title = {Proceedings of the 8th International Symposium on Artificial Intelligence}, year = {1995}, crossrefonly = 1, month = oct, site = {Monterrey, M{\'e}xico}, publisher = {Instituto Technol\'{o}gico y de Estudios Superiores de Monterrey, Centro de Inteligencia Artificial}, address = "Monterrey, N.L., M\'{e}xico" } % editor = {F.J. Cant\'{u} et al}, @proceedings{icra:1995, key = {ICRA}, organization = {IEEE}, title = {Proceedings of the International Conference on Robotics and Automation}, booktitle = {Proceedings of the International Conference on Robotics and Automation}, crossrefonly = 1, year = {1995}, month = may, address = {Narita, Japan}, publisher = {IEEE Press}, } @proceedings{aaai:1980, key = {1st-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 1st National Conference on Artificial Intelligence}, booktitle = {Proceedings of the First National Conference on Artificial Intelligence}, crossrefonly = 1, year = {1980}, address = {USA}, } @proceedings{aaai:1982, key = {2nd-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 2nd National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Second National Conference on Artificial Intelligence}, crossrefonly = 1, year = {1982}, address = {Pittsburgh, USA}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{aaai:1987, key = {6th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 6th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Sixth National Conference on Artificial Intelligence}, crossrefonly = 1, year = {1987}, address = {Menlo Park}, publisher = {AAAI Press}, } @proceedings{aaai:1988, key = {7th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 7th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence}, crossrefonly = 1, year = {1988}, address = {Menlo Park}, publisher = {AAAI Press}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{aaai:1990, key = {8th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 8th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Eighth National Conference on Artificial Intelligence}, crossrefonly = 1, month = jul, year = {1990}, address = {Menlo Park/Cambridge}, publisher = {AAAI Press/The MIT Press}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{aaai:1991, key = {9th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 9th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Ninth National Conference on Artificial Intelligence}, crossrefonly = 1, month = jul, year = {1991}, address = {Menlo Park/Cambridge}, publisher = {AAAI Press/The MIT Press}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{aaai:1993, key = {11th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 11th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence}, crossrefonly = 1, month = jul, year = {1993}, address = {Washington, DC}, publisher = {AAAI Press/The MIT Press} } @proceedings{aaai:1994, key = {12th-AAAI}, organization = {American Association for Artificial Intelligence}, title = {Proceedings of the 12th National Conference on Artificial Intelligence}, booktitle = {Proceedings of the Twelfth National Conference on Artificial Intelligence}, crossrefonly = 1, month = jul, year = {1994}, address = {Cambridge}, publisher = {AAAI Press/The MIT Press}, ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{ijcai:1983, key = {8th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 8th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Eighth International Joint Conference on Artificial Intelligence}, crossrefonly = 1, year = {1983}, address = {Karlsruhe, FRG}, publisher = "Morgan Kaufmann", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{ijcai:1985, key = {9th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 9th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Ninth International Joint Conference on Artificial Intelligence}, crossrefonly = 1, year = {1985}, address = {Los Angeles, CA}, publisher = "Morgan Kaufmann", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{ijcai:1987, key = {10th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 10th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Tenth International Joint Conference on Artificial Intelligence}, crossrefonly = 1, year = {1987}, address = {Milan, Italy}, publisher = "Morgan Kaufmann", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{ijcai:1989, key = {11th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 11th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence}, crossrefonly = 1, address = {Detroit, MI}, year = {1989}, month = aug, publisher = "Morgan Kaufmann", ref = {http://www.cs.albany.edu/~amit/tutijcai.html} } @proceedings{ijcai:1993, key = {13th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 13th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence}, crossrefonly = 1, address = {Chamb\'ery, France}, year = {1993}, month = aug, publisher = "Morgan Kaufmann" } @proceedings{ijcai:1995, key = {14th-IJCAI}, organization = {International Joint Conferences on Artificial Intelligence, Inc.}, title = {Proceedings of the 14th International Joint Conference on Artificial Intelligence}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence}, crossrefonly = 1, address = {Montr{\`e}al, Canada}, year = {1995}, month = aug, publisher = "Morgan Kaufmann" } % TJ/211/A384/1991 ENGI % TITLE: Advances in robot kinematics : with emphasis on % symbolic computation / S. Sifter and J. Lenarcic % PUBLISHED: Wien : New York ; Springer-Verlag, c1991. % PAGING: xiv, 484 p. : ill. ; 24 cm. % NOTES: Includes bibliographical references.