Front matter
1-18
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression
Wolfgang Wahlster
19-33
Leveraging Metadata Creation for the Semantic Web with CREAM
Siegfried Handschuh, Steffen Staab and Rudi Studer
34-36
Negotiation Technologies
Nicholas R. Jennings
37-51
Pushing the Limit in Visual Data Exploration: Techniques and Applications
Daniel A. Keim, Christian Panse, Jörn Schneidewind, Mike Sips and Ming C. Hao, et al.
52-63
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle
Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters
64-78
The Instance Problem and the Most Specific Concept in the Description Logic EL\mathcal{EL} w.r.t. Terminological Cycles with Descriptive Semantics
Franz Baader
79-92
Satisfiability and Completeness of Converse-PDL Replayed
Martin Lange
93-104
Optimality Theory through Default Logic
P. Besnard, R. E. Mercer and T. Schaub
105-119
Towards a Systematic Account of Different Logic Programming Semantics
P. Hitzler
120-134
How to Build a Foundational Ontology
The Object-Centered High-Level Reference Ontology OCHRE
Luc Schneider
135-148
The Universal Medical Language System and the Gene Ontology: Some Critical Reflections
Anand Kumar and Barry Smith
149-163
Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences
Michael Arens and Hans-Hellmut Nagel
164-178
Designing Agents with MicroPsi Node Nets
Joscha Bach and Ronnie Vuine
179-193
Conscious Behavior through Reflexive Dialogs
Pierre Bonzon
194-208
What Observations Really Tell Us
Gero Iwan and Gerhard Lakemeyer
209-223
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
Ozan Kahramanoğulları and Michael Thielscher
224-238
Computing Minimum-Cardinality Diagnoses Using OBDDs
Pietro Torasso and Gianluca Torta
239-253
Presenting Sets of Problem Solutions Concisely
Helmut Horacek
254-266
Automatic Document Categorization
Interpreting the Perfomance of Clustering Algorithms
Benno Stein and Sven Meyer zu Eissen
267-281
A Logical Approach to Data-Driven Classification
Rainer Osswald and Wiebke Petersen
282-296
Spatial Inference – Combining Learning and Constraint Solving
Carsten Gips and Fritz Wysotzki
297-311
Hybrid Approaches for Case Retrieval and Adaptation
Claudio A. Policastro, Andre C. P. L. F. Carvalho and Alexandre C. B. Delbem
312-326
Applied Connectionistic Methods in Computer Vision to Compare Segmented Images
S. Bischoff, D. Reuss and F. Wysotzki
327-341
Sequential Learning Algorithm of Neural Networks Systems for Time Series
O. Valenzuela, I. Rojas and F. Rojas
342-354
A k-Winner-Takes-All Classifier for Structured Data
Brijnesh J. Jain and Fritz Wysotzki
355-369
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
Pascal Hitzler and Anthony K. Seda
370-384
Bayesian Metanetworks for Modelling User Preferences in Mobile Environment
Vagan Terziyan and Oleksandra Vitko
385-395
On Identifying Tree-Structured Perfect Maps
Christian Borgelt
396-406
Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection
Marcus Hutter and Marco Zaffalon
407-420
Fusing Probabilistic Information on Maximum Entropy
Gabriele Kern-Isberner and Wilhelm Rödder
421-435
A Probabilistic Approach for Dynamic State Estimation Using Visual Information
Alvaro Soto and Pradeep Khosla
436-449
Approaches to Semi-supervised Learning of Fuzzy Classifiers
Aljoscha Klose
450-464
Instance-Based Learning of Credible Label Sets
Eyke Hüllermeier
465-474
Self Learning or How to Make a Knowledge Base Curious about Itself
Wilhelm Rödder and Gabriele Kern-Isberner
475-489
Tolerance Spaces and Approximative Representational Structures
Patrick Doherty, Witold Łukaszewicz and Andrzej Szałas
490-504
Planning in Answer Set Programming Using Ordered Task Decomposition
Jürgen Dix, Ugur Kuter and Dana Nau
505-519
The Process Semantics Based Reasoning about Continuous Change
Chunping Li
520-534
A Flexible Meta-solver Framework for Constraint Solver Collaboration
Stephan Frank, Petra Hofstedt and Pierre R. Mai
535-549
Tripartite Line Tracks – Bipartite Line Tracks
Björn Gottfried
550-564
Consistent 3D Model Construction with Autonomous Mobile Robots
Andreas Nüchter, Hartmut Surmann, Kai Lingemann and Joachim Hertzberg
565-579
Who Can Connect in RCC?
Mehmet Giritli
580-590
An Arrangement Calculus, Its Complexity and Algorithmic Properties
Marco Ragni
591-605
Multimodal User State Recognition in a Modern Dialogue System
J. Adelhardt, R. Shi, C. Frank, V. Zeißler and A. Batliner, et al.
606-617
Tailoring the Presentation of Plans to Users’ Knowledge and Capabilites
Detlef Küpper and Alfred Kobsa
618-632
An Agents’ Definition Framework and a Methodology for Deriving Agents’ Taxonomies
Silke Höppner
633-645
A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom
Jochen Müller, Peter Poller and Valentin Tschernomas
646-660
Monitoring Agents Using Declarative Planning
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres and Yingqian Zhang
Back matter