KI 2003: Advances in Artificial Intelligence Book

	Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression	1
	Leveraging Metadata Creation for the Semantic Web with CREAM	19
	Negotiation Technologies	34
	Pushing the Limit in Visual Data Exploration: Techniques and Applications	37
	Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle	52
	The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics	64
	Satisfiability and Completeness of Converse-PDL Replayed	79
	Optimality Theory through Default Logic	93
	Towards a Systematic Account of Different Logic Programming Semantics	105
	How to Build a Foundational Ontology	120
	The Universal Medical Language System and the Gene Ontology: Some Critical Reflections	135
	Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences	149
	Designing Agents with MicroPsi Node Nets	164
	Conscious Behavior through Reflexive Dialogs	179
	What Observations Really Tell Us	194
	A Formal Assessment Result for Fluent Calculus Using the Action Description Language A[subscript k]	209
	Computing Minimum-Cardinality Diagnoses Using OBDDs	224
	Presenting Sets of Problem Solutions Concisely	239
	Automatic Document Categorization (Interpreting the Performance of Clustering Algorithms)	254
	A Logical Approach to Data-Driven Classification	267
	Spatial Inference - Combining Learning and Constraint Solving	282
	Hybrid Approaches for Case Retrieval and Adaptation	297
	Applied Connectionistic Methods in Computer Vision to Compare Segmented Images	312
	Sequential Learning Algorithm of Neural Networks Systems for Time Series	327
	A k-Winner-Takes-All Classifier for Structured Data	342
	Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks	355
	Bayesian Metanetworks for Modelling User Preferences in Mobile Environment	370
	On Identifying Tree-Structured Perfect Maps	385
	Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection	396
	Fusing Probabilistic Information on Maximum Entropy	407
	A Probabilistic Approach for Dynamic State Estimation Using Visual Information	421
	Approaches to Semi-supervised Learning of Fuzzy Classifiers	436
	Instance-Based Learning of Credible Label Sets	450
	Self Learning or How to Make a Knowledge Base Curious about Itself	465
	Tolerance Spaces and Approximative Representational Structures	475
	Planning in Answer Set Programming Using Ordered Task Decomposition	490
	The Process Semantics Based Reasoning about Continuous Change	505
	A Flexible Meta-solver Framework for Constraint Solver Collaboration	520
	Tripartite Line Tracks - Bipartite Line Tracks	535
	Consistent 3D Model Construction with Autonomous Mobile Robots	550
	Who Can Connect in RCC?	565
	An Arrangement Calculus, Its Complexity and Algorithmic Properties	580
	Multimodal User State Recognition in a Modern Dialogue System	591
	Tailoring the Presentation of Plans to Users' Knowledge and Capabilities	606
	An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies	618
	A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom	633
	Monitoring Agents Using Declarative Planning	646
	Author Index	661