KI 2003: Advances in Artificial Intelligence

The German Conference on Arti?cial Intelligence is a traditional and unique yearly event which brings together the German AI community and an increasing numberofinternationalguests.WhilenotasoldasIJCAI(which?rsttookplace in 1969), KI2003 marks a tradition which o?cially began in 1975 with a wor- hop of the working group Kunstlic he Intelligenz of GI. Actually, there was one important AI conference in Germany before this, the Fachtagung Cognitive Verfahren und Systeme (Cognitive Methods and Systems) held in Hamburg in April 1973. Thisvolumecontainstheproceedingsofthe26thAnnualGermanConference on Arti?cial Intelligence. For the technical program we had 90 submissions from 22 countries. Out of these contributions 18 papers were accepted for oral pres- tation and 24 papers for poster presentation. The acceptance criteria were set to meet high international standards. Poster presenters were given the additional opportunity to summarize their papers in three minute spotlight presentations. Oral, spotlight as well as the poster presentations were then scheduled in an interesting conference program, summarized in the book you have before you.

Includes supplementary material: sn.pub/extras

Autorentext
Prof. Dr. Rudolf Kruse ist Leiter des Lehrstuhls für Neuro-Fuzzy-Systeme an der Universität Magdeburg.

Inhalt
Invited Paper.- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression.- Leveraging Metadata Creation for the Semantic Web with CREAM.- Negotiation Technologies.- Pushing the Limit in Visual Data Exploration: Techniques and Applications.- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle.- Logics and Ontologies.- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics.- Satisfiability and Completeness of Converse-PDL Replayed.- Optimality Theory through Default Logic.- Towards a Systematic Account of Different Logic Programming Semantics.- How to Build a Foundational Ontology.- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections.- Cognitive Modeling.- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences.- Designing Agents with MicroPsi Node Nets.- Conscious Behavior through Reflexive Dialogs.- Reasoning Methods.- What Observations Really Tell Us.- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k .- Computing Minimum-Cardinality Diagnoses Using OBDDs.- Presenting Sets of Problem Solutions Concisely.- Machine Learning.- Automatic Document Categorization.- A Logical Approach to Data-Driven Classification.- Spatial Inference Combining Learning and Constraint Solving.- Hybrid Approaches for Case Retrieval and Adaptation.- Neural Networks.- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images.- Sequential Learning Algorithm of Neural Networks Systems for Time Series.- A k-Winner-Takes-All Classifier for Structured Data.- Continuity of Semantic Operators in Logic Programming and TheirApproximation by Artificial Neural Networks.- Reasoning under Uncertainty.- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment.- On Identifying Tree-Structured Perfect Maps.- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection.- Fusing Probabilistic Information on Maximum Entropy.- A Probabilistic Approach for Dynamic State Estimation Using Visual Information.- Approaches to Semi-supervised Learning of Fuzzy Classifiers.- Instance-Based Learning of Credible Label Sets.- Self Learning or How to Make a Knowledge Base Curious about Itself.- Tolerance Spaces and Approximative Representational Structures.- Planning and Constraints.- Planning in Answer Set Programming Using Ordered Task Decomposition.- The Process Semantics Based Reasoning about Continuous Change.- A Flexible Meta-solver Framework for Constraint Solver Collaboration.- Spatial Modeling.- Tripartite Line Tracks Bipartite Line Tracks.- Consistent 3D Model Construction with Autonomous Mobile Robots.- Who Can Connect in RCC?.- An Arrangement Calculus, Its Complexity and Algorithmic Properties.- User Modeling.- Multimodal User State Recognition in a Modern Dialogue System.- Tailoring the Presentation of Plans to Users' Knowledge and Capabilites.- Agent Technology.- An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies.- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom.- Monitoring Agents Using Declarative Planning.