- The Composition of Heterogeneous Control Laws \Lambda Benjamin Kuipers y and Karl Astrom z
- A Robot Exploration and Mapping Strategy Based on a Semantic Hierarchy of Spatial Representations
- Towards a formalization of the Spatial Semantic Hierarchy Emilio Remolina and Benjamin Kuipers
- Bootstrap Learning of Foundational Representations Benjamin Kuipers, Patrick Beeson, Joseph Modayil and Jefferson Provost
- Qualitative Heterogeneous Control of Higher Order Systems
- List of Figures xvii List of Tables xxiii
- In The 14th National Conference on Artificial Intelligence (AAAI97) AAAI Press, Providence, Rhode Island, August 1997.
- In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI89)
- In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR89)
- In Proceedings of the 1992 IEEE International Conference on Intelligent Robots and Systems (IROS'92)
- ModelBased, MultipleFault Diagnosis of Dynamic, Continuous Physical Devices
- ROBUST IDENTIFICATION USING SEMIQUANTITATIVE METHODS
- In Working Papers of the Tenth International Workshop on Qualitative Reasoning about Physical Systems (QR96)
- In Working Papers of the Tenth International Workshop on Qualitative Reasoning about Physical Systems (QR96)
- Comparative Analysis and Qualitative Integral Representations \Lambda
- AUTOMATIC CONTROL UNDERSTANDING FOR NATURAL PROGRAMS
- SIGART Bulletin 2(3): 3544, June 1991. Algernon ---A Tractable System for KnowledgeRepresentation
- In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89)
- MODELBASED DIAGNOSIS OF COMPLEX, CONTINUOUS MECHANISMS
- The Skeleton in the Cognitive Map: A Computational Hypothesis
- Artificial Intelligence 119 (2000) 191233 The Spatial Semantic Hierarchy 6
- Toward Bootstrap Learning for Place Recognition Benjamin Kuipers and Patrick Beeson
- Estimating Monotonic Functions and Their Herbert Kay \Lambda
- Learning Qualitative Models for Systems with Multiple Operating Regions \Lambda
- In From Animals to Animats: Proceedings of The First International Conference on Simulation of Adaptive Behavior
- QualitativeNumeric Simulation with Q3 Daniel Berleant and Benjamin Kuipers
- Law Enforcement Executive Forum 2006 6(5) 189 Essays on Terrorism
- QPC: A Compiler from Physical Models into Qualitative Di erential Equations
- Qualitative Simulation Benjamin Kuipers y
- In The Eleventh International Workshop on Qualitative Reasoning (QR97) Cortona, Italy, June 1997.
- Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation \Lambda
- A Qualitative Physics Compiler Adam Farquhar \Lambda
- Qualitative Simulation: Then and Now Benjamin Kuipers
- IROS 2004. http://www.cs.utexas.edu/users/qr/papers/Savelli-iros-04.html Loop-Closing and Planarity
- Sneaking Up On the Hard Problem of Consciousness Benjamin Kuipers
- Local Metrical and Global Topological Maps in the Hybrid Spatial Semantic Hierarchy
- Learning Distinctions and Rules in a Continuous World through Active Exploration
- Trajectory Generation for Dynamic Bipedal Walking through Qualitative Model Based Manifold Learning
- A C-Language Implementation of Q Daniel L. Dvorak
- Qualitative Modeling and Heterogeneous Control of Global System Behavior ?
- A Guide to Programming Spot, a Mobile Robot The University of Texas at Austin
- [Zukowski, 1986] Charles A. Zukowski. The Bounding Approach to VLSI Circuit Simulation. Kluwer Academic Publishers, Boston, 1986.
- On Representing Commonsense Knowledge \Lambda Benjamin Kuipers
- Papers on Qualitative Simulation \Lambda Benjamin Kuipers and the Qualitative Reasoning Group
- In Proceedings of the Eighth International Workshop on Qualitative Physics about Physical Systems (QR94)
- Reasoning with Qualitative Models Benjamin Kuipers
- Qualitative Reasoning by Benjamin Kuipers
- in corresponding state ((0,inf),dec) cannot transition to (0,dec). If a variable transitions from a landmark to an
- A SemiQuantitative Physics Compiler Adam Farquhar
- Consciousness: Drinking from the Firehose of Experience (revised and expanded)
- Artificial Intelligence 119 (2000) 103140 Semi-quantitative system identification
- QSIM: The Program and its Use 1 Adam Farquhar
- Qualitative Heterogeneous Control of Higher Order Systems ?
- Qualitative Simulation Benjamin Kuipers
- Detecting Obstacles and Drop-offs using Stereo and Motion Cues for Safe Local Motion
- ACQUIRING EFFECTIVE KNOWLEDGE OF ENVIRONMENT GEOMETRY FOR MINIMUMTIME CONTROL OF A MOBILE ROBOT
- Qualitative Simulation Using TimeScale Abstraction \Lambda Benjamin Kuipers
- Herbert ``Bert'' Kay, the son of Jack and Olga Veronica Kay, was born on May 1, 1959, in Boston, Massachusetts. He graduated from Belmont
- In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91)
- In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91)
- The Spatial Semantic Hierarchy \Lambda Benjamin Kuipers y
- In The Eleventh International Workshop on Qualitative Reasoning (QR97) Cortona, Italy, June 1997.
- In Working Notes of the AAAI Workshop on Integration of Natural Language and Vision Processing
- QSIM: Installation Instructions Daniel J. Clancy
- Component Connection Models of Reaction Control System
- Automated Modeling of Physical Systems in the Presence of
- GEOMETRICAL MOTION PLANNING FOR HIGHLY REDUNDANT MANIPULATORS
- Expert Systems for Monitoring and Control
- In Working Notes of the AAAI Workshop on Spatial and Temporal Reasoning
- The MapLearning Critter \Lambda Benjamin Kuipers
- In J. Doyle, E. Sandewall, and P. Torasso, editors, Principles of Knowledge Representation and Reasoning
- Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
- High Performance Control for Graceful Motion of an Intelligent Wheelchair
- In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI94)
- Qualitative Spatial Reasoning about Objects in Motion: Application to Physics Problem Solving
- Daniel Joseph Clancy Solving Complexity and Ambiguity Problems within Qualitative
- Matthew Tierney MacMahon The Dissertation Committee for Matthew Tierney MacMahon
- Towards a general theory of topological maps Emilio Remolina Benjamin Kuipers
- AccessLimited Logic ---A Language for Knowledge Representation 1
- In The 14th National Conference on Artificial Intelligence (AAAI97) AAAI Press, Providence, Rhode Island, August 1997.
- [10] Benjamin Kuipers and YungTai Byun. A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations. Robotics and Autonomous Systems, 8:47--63,
- In Proceedings: Twelfth National Conference on Artificial Intelligence (AAAI94)
- Representing Knowledge of LargeScale Space 1 Benjamin Jack Kuipers
- The Composition and Validation of Heterogeneous Control Laws \Lambda Benjamin Kuipers y
- AccessLimited Logic ---A Language for Knowledge Representation 1
- Map Learning with Uninterpreted Sensors and Effectors \Lambda David Pierce and Benjamin Kuipers
- A Qualitative Model of the Space Shuttle Reaction Control System \Lambda
- Consciousness: Drinking from the Firehose of Experience Benjamin Kuipers
- Joseph Varughese Modayil The Dissertation Committee for Joseph Varughese Modayil
- In Cognitive Robotics 1998 AAAI Fall Symposium
- Walk the Talk: Connecting Language, Knowledge, Action in Route Instructions Matt MacMahon
- Critical Decisions under Uncertainty: Representation and Structure
- Proving properties of continuous systems: qualitative simulation and temporal logic \Lambda
- Critical Decisions under Uncertainty: Representation and Structure
- Artificial Intelligence 59 (1993) 133-140 133 Qualitative simulation
- Building Local Safety Maps for a Wheelchair Robot using Vision and Lasers Aniket Murarka, Joseph Modayil, and Benjamin Kuipers
- In Working Papers from the Seventh International Workshop on Qualitative Reasoning about Physical Systems
- Towards a formalization of the Spatial Semantic Hierarchy Emilio Remolina and Benjamin Kuipers
- Knowledge Acquisition by Analysis of Verbatim Protocols Benjamin Kuipers
- Reasoning with Qualitative Models \Lambda Benjamin Kuipers y
- Commonsense Knowledge of Space: Learning from Experience \Lambda
- Artificial Intelligence 59 (1993) 125-132 125 Reasoning with qualitative
- Developing navigation behavior through self-organizing distinctive state abstraction
- A Model of Spatial Position Based on Extremal Points Raman Rajagopalan
- Results of an Experiment in Domain Knowledge Base Construction: A Comparison of the Classic and Algernon Knowledge Representation
- Qualitative Simulation: Then and Now \Lambda Benjamin Kuipers y
- Programming Spot in Lisp with SpotLisp Package Wan Yik Lee 1
- ALL: Formalizing Access Limited Reasoning \Lambda J. M. Crawford y
- In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI93)
- In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)
- Copyright 2000, American Association for Artificial (www.aaai.org). All rights reserved.
- GEOMETRICAL MOTION PLANNING FOR HIGHLY REDUNDANT MANIPULATORS
- Short Algernon Reference Manual For Algernon Version 1.3.0
- Daniel Joseph Clancy Solving Complexity and Ambiguity Problems within Qualitative
- In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98)
- SQsim: A Simulator for Imprecise ODE Models Herbert Kayy
- Daniel Dvorak and Benjamin Kuipers Process monitoring and diagnosis: a model-based approach.
- Representing Knowledge of Large-Scale Space Benjamin Jack Kuipers
- Proving properties of continuous systems: qualitative simulation and temporal logic
- Subramanian Ramamoorthy The Dissertation Committee for Subramanian Ramamoorthy
- Drinking from the firehose of experience Benjamin Kuipers *
- Ray-based Color Image Segmentation Changhai Xu, Yong Jae Lee, and Benjamin Kuipers
- Map Learning with Uninterpreted Sensors and Effectors David Pierce and Benjamin Kuipers
- An Intellectual History of the Spatial Semantic Benjamin Kuipers
- Universit`a degli Studi di Roma "La Sapienza" Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
- Towards Autonomous Topological Place Detection Using the Extended Voronoi Graph
- Using the Topological Skeleton for Scalable Global Metrical Map-Building
- Towards a general theory of topological maps Emilio Remolina Benjamin Kuipers
- Exploiting Local Perceptual Models for Topological Map-Building Patrick Beeson Matt MacMahon
- COGNITIVE SCIENCE,2, 129-153 (1978) ModelingSpatialKnowledge*
- The Composition and Validation of Heterogeneous Control Laws Benjamin Kuipersy
- ELSEVIER Artificial Intelligence 92 ( 1997) 91-129 Intelligence
- ARTIFICIAL INTELLIGENCE 289 Qualitative Simulation*
- COGNITIVE SCIENCE 8, 363-385 (1984) Causal Reasoningin Medicine
- Knowledge Acquisition by Analysis of Verbatim Protocols Benjamin Kuipers
- In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89)
- ARTIFICIAL INTELLIGENCE 169 Commonsense Reasoning about
- ALL: Formalizing Access Limited Reasoning J. M. Crawfordy
- Artificial Intelligence 152 (2004) 47104 www.elsevier.com/locate/artint
- The ``Map in the Head'' Metaphor \Lambda Benjamin Kuipers
- HigherOrder Derivative Constraints in Qualitative Simulation \Lambda
- Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
- Map Learning with Uninterpreted Sensors and Effectors David Pierce and Benjamin Kuipers
- Algernon for Expert Systems Benjamin Kuipers
- Learning to Predict the Effects of Actions: Synergy between Rules and Landmarks
- In Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE94)
- Herbert Kay Refining Imprecise Models and Their Behaviors
- Automatic Abduction of Qualitative Models Bradley L. R ichards
- In The Eleventh International Workshop on Qualitative Reasoning (QR97) Cortona, Italy, June 1997.
- Behavior Abstraction for Tractable Simulation Daniel J. Clancy and Benjamin Kuipers
- In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI88)
- In Proceedings of the 1992 IEEE International Conference on Intelligent Robots and Systems (IROS'92)
- The Spatial Semantic Hierarchy Benjamin Kuipersy
- Modeling Spatial Knowledge Benjamin Kuipers
- In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI98)
- Daniel Dvorak and Benjamin Kuipers Process monitoring and diagnosis: a modelbased approach.
- Semi-Quantitative System Identi cation Herbert Kay Bernhard Rinner
- SQsim: A Simulator for Imprecise ODE Models \Lambda Herbert Kay y
- Qualitative Simulation \Lambda Benjamin Kuipers y
- Modeling Spatial Knowledge \Lambda Benjamin Kuipers
- Towards the Application of Reinforcement Learning to Undirected Developmental Learning
- Controller Synthesis using Qualitative Models and Constraints Subramanian Ramamoorthy (s.ramamoorthy@ni.com)
- Learning from Uninterpreted Experience in the SSH Benjamin Kuipers, Patrick Beeson, Joseph Modayil and Jefferson Provost
- A' = c -f(A) A(0) = 0.0 ODEf(A) = 3A+sqrt(A)
- The Constructivist Learning Architecture: A Model of Cognitive Development for
- Adapting Proposal Distributions for Accurate, Efficient Mobile Robot Localization
- To appear in Proceedings of AAAI94 Automated Modeling for Answering Prediction Questions
- The Semantic Hierarchy in Robot Learning \Lambda Benjamin Kuipers
- In Cognitive Robotics 1998 AAAI Fall Symposium
- Qualitative Simulation and Temporal Logic: Proving Properties of Continuous Systems \Lambda
- Toward Bootstrap Learning for Place Recognition Benjamin Kuipers and Patrick Beeson
- Jeffrey Walter Rickel Automated Modeling of Complex Systems
- A Review of Qualitative Reasoning Elisha Sacks
- The Skeleton in the Cognitive Map: A Computational Hypothesis
- MAP LEARNING WITH UNINTERPRETED SENSORS AND EFFECTORS
- 10.1177/0013916502238866ARTICLEENVIRONMENT AND BEHAVIOR / January 2003Kuipers et al. / SKELETON IN THE COGNITIVE MAP THE SKELETON IN
- Jefferson Provost The Dissertation Committee for Jefferson Provost
- Self-Organizing Distinctive State Abstraction Using Options
- In the Third International Workshop on Temporal Representation and Reasoning (TIME96)
- QSIM Extensions Daniel J. Clancy and Herbert Kay
- Spatial Semantic Hierarchy for a Physical Mobile Robot Wan Yik Lee, B.S., M.S.C.S.
- Raman M. Rajagopalan Qualitative Reasoning about Dynamic Change in the
- A THEORY OF TELEOLOGY APPROVED BY
- In Proceedings IEEE International Conference on Robotics and Automation Los Alamitos, CA: IEEE Computer Society Press, 1991.
- In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI99).
- A Robot Exploration and Mapping Strategy Based on a Semantic Hierarchy of Spatial Representations
- MAP LEARNING WITH UNINTERPRETED SENSORS AND EFFECTORS
- Autonomous Shape Model Learning for Object Localization and Recognition
- From Pixels to Policies: A Bootstrapping Agent Jeremy Stober and Benjamin Kuipers
- Bootstrap Learning for Object Discovery Joseph Modayil and Benjamin Kuipers
- A Logical Account of Causal and Topological Maps Emilio Remolina, M.S.
- Toward a Reformalization of QSIM Benjamin Shults
- To appear in: AI Review Journal, Vol. 10, No. 34, 1995
- To appear in The Annals of Mathematics in Artificial Intelligence (AMAI),1997. Baltzer Journals April 30, 1997
- Micheal Scott Hewett Computational Perceptual Attention
- In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)
- Qualitative Modeling and Heterogeneous Control of Global System Behavior
- SIGART Bulletin 2(3): 35-44, June 1991. Algernon | A Tractable System for Knowledge-Representation
- QPC: A Compiler from Physical Models into Qualitative Differential Equations \Lambda
- HIGHSPEED NAVIGATION WITH APPROXIMATE MAPS
- In V. Mittal, H. Yanco, J. Aronis and R. Simpson (Eds.), Assistive Technology and Artificial Intelligence.
- Slow visual search in a fastchanging world William S. Gribble
- MONITORING AND DIAGNOSIS OF CONTINUOUS DYNAMIC SYSTEMS
- The Cognitive Map: Could It Have Been Any Other Way? \Lambda
- Forbus, Kenneth D. and Falkenhainer, Brian 1990. Selfexplanatory simulations: An integration of qual
