This book constitutes the refereed proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, held in Hamburg, Germany in September 2003.
The 42 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 90 submissions from 22 countries. The papers are organized in topical sections on logics and ontologies, cognitive modeling, reasoning methods, machine learning, neural networks, reasoning under uncertainty, planning and constraints, spatial modeling, user modeling, and agent technology.
Author(s): Wolfgang Wahlster (auth.), Andreas Günter, Rudolf Kruse, Bernd Neumann (eds.)
Series: Lecture Notes in Computer Science 2821 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 668
Tags: Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression....Pages 1-18
Leveraging Metadata Creation for the Semantic Web with CREAM....Pages 19-33
Negotiation Technologies....Pages 34-36
Pushing the Limit in Visual Data Exploration: Techniques and Applications....Pages 37-51
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle....Pages 52-63
The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics....Pages 64-78
Satisfiability and Completeness of Converse-PDL Replayed....Pages 79-92
Optimality Theory through Default Logic....Pages 93-104
Towards a Systematic Account of Different Logic Programming Semantics....Pages 105-119
How to Build a Foundational Ontology....Pages 120-134
The Universal Medical Language System and the Gene Ontology: Some Critical Reflections....Pages 135-148
Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences....Pages 149-163
Designing Agents with MicroPsi Node Nets....Pages 164-178
Conscious Behavior through Reflexive Dialogs....Pages 179-193
What Observations Really Tell Us....Pages 194-208
A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k ....Pages 209-223
Computing Minimum-Cardinality Diagnoses Using OBDDs....Pages 224-238
Presenting Sets of Problem Solutions Concisely....Pages 239-253
Automatic Document Categorization....Pages 254-266
A Logical Approach to Data-Driven Classification....Pages 267-281
Spatial Inference – Combining Learning and Constraint Solving....Pages 282-296
Hybrid Approaches for Case Retrieval and Adaptation....Pages 297-311
Applied Connectionistic Methods in Computer Vision to Compare Segmented Images....Pages 312-326
Sequential Learning Algorithm of Neural Networks Systems for Time Series....Pages 327-341
A k -Winner-Takes-All Classifier for Structured Data....Pages 342-354
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks....Pages 355-369
Bayesian Metanetworks for Modelling User Preferences in Mobile Environment....Pages 370-384
On Identifying Tree-Structured Perfect Maps....Pages 385-395
Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection....Pages 396-406
Fusing Probabilistic Information on Maximum Entropy....Pages 407-420
A Probabilistic Approach for Dynamic State Estimation Using Visual Information....Pages 421-435
Approaches to Semi-supervised Learning of Fuzzy Classifiers....Pages 436-449
Instance-Based Learning of Credible Label Sets....Pages 450-464
Self Learning or How to Make a Knowledge Base Curious about Itself....Pages 465-474
Tolerance Spaces and Approximative Representational Structures....Pages 475-489
Planning in Answer Set Programming Using Ordered Task Decomposition....Pages 490-504
The Process Semantics Based Reasoning about Continuous Change....Pages 505-519
A Flexible Meta-solver Framework for Constraint Solver Collaboration....Pages 520-534
Tripartite Line Tracks – Bipartite Line Tracks....Pages 535-549
Consistent 3D Model Construction with Autonomous Mobile Robots....Pages 550-564
Who Can Connect in RCC?....Pages 565-579
An Arrangement Calculus, Its Complexity and Algorithmic Properties....Pages 580-590
Multimodal User State Recognition in a Modern Dialogue System....Pages 591-605
Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites....Pages 606-617
An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies....Pages 618-632
A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom....Pages 633-645
Monitoring Agents Using Declarative Planning....Pages 646-660
Back Matter....Pages -
