26. KI 2003: Hamburg, Germany

@proceedings{DBLP:conf/ki/2003,
  editor    = {Andreas G{\"u}nter and
               Rudolf Kruse and
               Bernd Neumann},
  title     = {KI 2003: Advances in Artificial Intelligence, 26th Annual German
               Conference on AI, KI 2003, Hamburg, Germany, September 15-18,
               2003, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2821},
  year      = {2003},
  isbn      = {3-540-20059-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Wolfgang Wahlster:
  Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression. 1-18
  
• Siegfried Handschuh, Steffen Staab, Rudi Studer:
  Leveraging Metadata Creation for the Semantic Web with CREAM. 19-33
  
• Nicholas R. Jennings:
  Negotiation Technologies. 34-36
  
• Daniel A. Keim, Christian Panse, Jörn Schneidewind, Mike Sips, Ming C. Hao, Umeshwar Dayal:
  Pushing the Limit in Visual Data Exploration: Techniques and Applications. 37-51
  
• Erik Sandewall, Patrick Doherty, Oliver Lemon, S. Peters:
  Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. 52-63
  

Logics and Ontologies

• Franz Baader:
  The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. 64-78
  
• M. Lange:
  Satisfiability and Completeness of Converse-PDL Replayed. 79-92
  
• Philippe Besnard, Robert E. Mercer, Torsten Schaub:
  Optimality Theory through Default Logic. 93-104
  
• Pascal Hitzler:
  Towards a Systematic Account of Different Logic Programming Semantics. 105-119
  
• Luc Schneider:
  How to Build a Foundational Ontology: The Object-Centered High-level Reference Ontology OCHRE. 120-134
  
• Anand Kumar, Barry Smith:
  The Universal Medical Language System and the Gene Ontology: Some Critical Reflections. 135-148
  

Cognitive Modeling

• Michael Arens, Hans-Hellmut Nagel:
  Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences. 149-163
  
• Joscha Bach, Ronnie Vuine:
  Designing Agents with MicroPsi Node Nets. 164-178
  
• Pierre E. Bonzon:
  Conscious Behavior through Reflexive Dialogs. 179-193
  

Reasoning Methods

• Gero Iwan, Gerhard Lakemeyer:
  What Observations Really Tell Us. 194-208
  
• Ozan Kahramanogullari, Michael Thielscher:
  A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k. 209-223
  
• Pietro Torasso, Gianluca Torta:
  Computing Minimum-Cardinality Diagnoses Using OBDDs. 224-238
  
• Helmut Horacek:
  Presenting Sets of Problem Solutions Concisely. 239-253
  

Machine Learning

• Benno Stein, Sven Meyer zu Eissen:
  Automatic Document Categorization: Interpreting the Perfomance of Clustering Algorithms. 254-266
  
• R. Osswald, W. Petersen:
  A Logical Approach to Data-Driven Classification. 267-281
  
• Carsten Gips, Fritz Wysotzki:
  Spatial Inference - Combining Learning and Constraint Solving. 282-296
  
• Claudio A. Policastro, André Carlos Ponce Leon Ferreira de Carvalho, Alexandre C. B. Delbem:
  Hybrid Approaches for Case Retrieval and Adaptation. 297-311
  

Neural Networks

• Stefan Bischoff, D. Reuss, Fritz Wysotzki:
  Applied Connectionistic Methods in Computer Vision to Compare Segmented Images. 312-326
  
• Olga Valenzuela, Ignacio Rojas, Fernando Rojas:
  Sequential Learning Algorithm of Neural Networks Systems for Time Series. 327-341
  
• Brijnesh J. Jain, Fritz Wysotzki:
  A k-Winner-Takes-All Classifier for Structured Data. 342-354
  
• Pascal Hitzler, Anthony Karel Seda:
  Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. 355-369
  

Reasoning under Uncertainty

• Vagan Y. Terziyan, Oleksandra Vitko:
  Bayesian Metanetworks for Modelling User Preferences in Mobile Environment. 370-384
  
• Christian Borgelt:
  On Identifying Tree-Structured Perfect Maps. 385-395
  
• Marcus Hutter, Marco Zaffalon:
  Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection. 396-406
  
• Gabriele Kern-Isberner, Wilhelm Rödder:
  Fusing Probabilistic Information on Maximum Entropy. 407-420
  
• Alvaro Soto, Pradeep K. Khosla:
  A Probabilistic Approach for Dynamic State Estimation Using Visual Information. 421-435
  
• Aljoscha Klose:
  Approaches to Semi-supervised Learning of Fuzzy Classifiers. 436-449
  
• Eyke Hüllermeier:
  Instance-Based Learning of Credible Label Sets. 450-464
  
• Wilhelm Rödder, Gabriele Kern-Isberner:
  Self Learning or How to Make a Knowledge Base Curious about Itself. 465-474
  
• Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
  Tolerance Spaces and Approximative Representational Structures. 475-489
  

Planning And Constraints

• Jürgen Dix, Ugur Kuter, Dana S. Nau:
  Planning in Answer Set Programming Using Ordered Task Decomposition. 490-504
  
• C. Li:
  The Process Semantics Based Reasoning about Continuous Change. 505-519
  
• Stephan Frank, Petra Hofstedt, Pierre R. Mai:
  A Flexible Meta-solver Framework for Constraint Solver Collaboration. 520-534
  

Spatial Modeling

• Björn Gottfried:
  Tripartite Line Tracks - Bipartite Line Tracks. 535-549
  
• Andreas Nüchter, Hartmut Surmann, Kai Lingemann, Joachim Hertzberg:
  Consistent 3D Model Construction with Autonomous Mobile Robots. 550-564
  
• Mehmet Giritli:
  Who Can Connect in RCC? 565-579
  
• M. Ragni:
  An Arrangement Calculus, Its Complexity and Algorithmic Properties. 580-590
  

User Modeling

• J. Adelhardt, R. Shi, Carmen Frank, Viktor Zeißler, Anton Batliner, Elmar Nöth, Heinrich Niemann:
  Multimodal User State Recognition in a Modern Dialogue System. 591-605
  
• Detlef Küpper, Alfred Kobsa:
  Tailoring the Presentation of Plans to Users' Knowledge and Capabilites. 606-617
  

Agent Technology

• Silke Höppner:
  An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies. 618-632
  
• Jochen Müller, Peter Poller, Valentin Tschernomas:
  A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom. 633-645
  
• Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
  Monitoring Agents Using Declarative Planning. 646-660