|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Wolfram Burgard , Thomas Christaller , Armin B. CremersPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1999 ed. Volume: 1701 Dimensions: Width: 15.50cm , Height: 1.70cm , Length: 23.50cm Weight: 1.030kg ISBN: 9783540664956ISBN 10: 3540664955 Pages: 316 Publication Date: 01 September 1999 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsInvited Papers.- From AI to Systemic Knowledge Management.- MINERVA: A Tour-Guide Robot that Learns.- Dynamics, Morphology, and Materials in the Emergence of Cognition.- Natural Language Description of Image Sequences as a Form of Knowledge Representation.- Knowledge Discovery in Spatial Databases.- Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication.- Technical Papers-Section 1.- Computing Probabilistic Least Common Subsumers in Description Logics.- Revising Nonmonotonic Theories: The Case of Defeasible Logic.- On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics.- Following Conditional Structures of Knowledge.- Section 2.- A Theory of First-Order Counterfactual Reasoning.- Logic—Based Choice of Projective Terms.- Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style.- Inferring Flow of Control in Program Synthesis by Example.- Section 3.- Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.- Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment.- Be Busy and Unique — or Be History—The Utility Criterion for Removing Units in Self-Organizing Networks.- Section 4.- Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities.- Object Recognition with Shape Prototypes in a 3D Construction Scenario.- Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers.- Section 5.- Collaborative Multi-robot Localization.- Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network forNeuro-symbolic Integration.- A Flexible Architecture for Driver Assistance Systems.- Short Papers.- A Theory for Causal Reasoning.- Systematic vs. Local Search for SAT.- Information Environments for Software Agents.- Improving Reasoning Efficiency for Subclasses of Allen’s Algebra with Instantiation Intervals.- Agents in Traffic Modelling — From Reactive to Social Behaviour.- Time-Effect Relations of Medical Interventions in a Clinical Information System.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |