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 |