| Invited Paper |
| Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression / W. Wahlster |
| Leveraging Metadata Creation for the Semantic Web with CREAM / S. Handschuh ; S. Staab ; R. Studer |
| Negotiation Technologies / N.R. Jennings |
| Pushing the Limit in Visual Data Exploration: Techniques and Applications / D.A. Keim ; C. Panse ; J. Schneidewind ; M. Sips ; M.C. Hao ; U. Dayal |
| Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle / E. Sandewall ; P. Doherty ; O. Lemon ; S. Peters |
| Logics and Ontologies |
| The Instance Problem and the Most Specific Concept in the Description Logic <$>{\cal E}{\cal L}<$> w.r.t. Terminological Cycles with Descriptive Semantics / F. Baader |
| Satisfiability and Completeness of Converse-PDL Replayed / M. Lange |
| Optimality Theory through Default Logic / P. Besnard ; R.E. Mercer ; T. Schaub |
| Towards a Systematic Account of Different Logic Programming Semantics / P. Hitzler |
| How to Build a Foundational Ontology / L. Schneider |
| The Universal Medical Language System and the Gene Ontology: Some Critical Reflections / A. Kumar ; B. Smith |
| Cognitive Modeling |
| Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences / M. Arens ; H.-H. Nagel |
| Designing Agents with MicroPsi Node Nets / J. Bach ; R. Vuine |
| Conscious Behavior through Reflexive Dialogs / P. Bonzon |
| Reasoning Methods |
| What Observations Really Tell Us / G. Iwan ; G. Lakemeyer |
| A Formal Assessment Result for Fluent Calculus Using the Action Description Language <$>{\cal A}_k<$> / O. Kahramanoğullari ; M. Thielscher |
| Computing Minimum-Cardinality Diagnoses Using OBDDs / P. Torasso ; G. Torta |
| Presenting Sets of Problem Solutions Concisely / H. Horacek |
| Machine Learning |
| Automatic Document Categorization (Interpreting the Perfomance of Clustering Algorithms) / B. Stein ; S. Meyer zu Eissen |
| A Logical Approach to Data-Driven Classification / R. Osswald ; W. Petersen |
| Spatial Inference - Combining Learning and Constraint Solving / C. Gips ; F. Wysotzki |
| Hybrid Approaches for Case Retrieval and Adaptation / C.A. Policastro ; A.C.P.L.F. Carvalho ; A.C.B. Delbem |
| Neural Networks |
| Applied Connectionistic Methods in Computer Vision to Compare Segmented Images / S. Bischoff ; D. Reuss |
| Sequential Learning Algorithm of Neural Networks Systems for Time Series / O. Valenzuela ; I. Rojas ; F. Rojas |
| A k-Winner-Takes-All Classifier for Structured Data / B.J. Jain |
| Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks / A.K. Seda |
| Reasoning under Uncertainty |
| Bayesian Metanetworks for Modelling User Preferences in Mobile Environment / V. Terziyan ; O. Vitko |
| On Identifying Tree-Structured Perfect Maps / C. Borgelt |
| Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection / M. Hutter ; M. Zaffalon |
| Fusing Probabilistic Information on Maximum Entropy / G. Kern-Isberner ; W. Rödder |
| A Probabilistic Approach for Dynamic State Estimation Using Visual Information / A. Soto ; P. Khosla |
| Approaches to Semi-supervised Learning of Fuzzy Classifiers / A. Klose |
| Instance-Based Learning of Credible Label Sets / E. Hüllermeier |
| Self Learning or How to Make a Knowledge Base Curious about Itself |
| Tolerance Spaces and Approximative Representational Structures / W. Łukaszewicz ; A. Szałas |
| Planning and Constraints |
| Planning in Answer Set Programming Using Ordered Task Decomposition / J. Dix ; U. Kuter ; D. Nau |
| The Process Semantics Based Reasoning about Continuous Change / C. Li |
| A Flexible Meta-solver Framework for Constraint Solver Collaboration / S. Frank ; P. Hofstedt ; P.R. Mai |
| Spatial Modeling |
| Tripartite Line Tracks - Bipartite Line Tracks / B. Gottfried |
| Consistent 3D Model Construction with Autonomous Mobile Robots / A. Nüchter ; H. Surmann ; K. Lingemann ; J. Hertzberg |
| Who Can Connect in RCC? / M. Giritli |
| An Arrangement Calculus, Its Complexity and Algorithmic Properties / M. Ragni |
| User Modeling |
| Multimodal User State Recognition in a Modern Dialogue System / J. Adelhardt ; R. Shi ; C. Frank ; V. Zeißler ; A. Batliner ; E. Nöth ; H. Niemann |
| Tailoring the Presentation of Plans to Users' Knowledge and Capabilites / D. Küpper ; A. Kobsa |
| Agent Technology |
| An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies / S. Höppner |
| A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom / J. Müller ; P. Poller ; V. Tschernomas |
| Monitoring Agents Using Declarative Planning / T. Eiter ; M. Fink ; A. Polleres ; Y. Zhang |
| Author Index |
| Invited Paper |
| Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression / W. Wahlster |
| Leveraging Metadata Creation for the Semantic Web with CREAM / S. Handschuh ; S. Staab ; R. Studer |
| Negotiation Technologies / N.R. Jennings |
| Pushing the Limit in Visual Data Exploration: Techniques and Applications / D.A. Keim ; C. Panse ; J. Schneidewind ; M. Sips ; M.C. Hao ; U. Dayal |
| Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle / E. Sandewall ; P. Doherty ; O. Lemon ; S. Peters |
