KI-99 : advances in artificial intelligence : 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings
For many years, Arti?cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explic...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science. Lecture notes in artificial intelligence
1701 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • KI-99, advances in artificial intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, proceedings, Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.), 1999, Berlin, Springer, 1 vol. (XI-310 p.), Lecture notes in computer science, 3-540-66495-5 • KI-99: Advances in Artificial Intelligence, Texte imprimé, 9783662210178 |
Obsah:
- 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.