KI-99: Advances in Artificial Intelligence

23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 Proceedings

AvWolfram Burgard,Thomas Christaller

Häftad, Engelska, 1999

Del i serien Lecture Notes in Computer Science

545 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 23rd Annual German Conference on Artificial Intelligence, KI-99, held in Bonn, Germany, in September 1999.The volume opens with six full invited survey papers by internationally leading authorities on the subject. The 15 revised full papers and the six short papers presented were carefully reviewed and selected from 32 submissions received. Besides the established traditional topics addressed, special emphasis is placed on pattern recognition and robotics from an AI point of view.

Produktinformation

Utgivningsdatum:1999-09-01
Mått:155 x 235 x 19 mm
Vikt:505 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:316
Upplaga:1999
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540664956

Utforska kategorier

Innehållsförteckning

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