% 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.