German Conference on
Artificial Intelligence
(KI2003)

15. - 18. September 2003
Universität Hamburg


Poster Presentations

There have been 90 submissions from 22 countries. 24 papers have been accepted for poster presentation. Authors will introduce their posters in 3 min spotlight presentations during a special session, which will be followed by a 1 hour traditional poster session.

As in previous years, the proceedings of the conference will be published in the LNAI Series of Springer-Verlag. The contributions reflect the diversity of artificial intelligence research: Besides papers on the foundations of AI we also have several reports on innovative applications. A special focus of the conference is on multi modality.


Posters 1 (Wednesday 17.9.03; 13:00 - 14:30)

Satisfiability and Completeness of Converse-PDL Replayed
Martin Lange

A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom
Jochen Müller, Peter Poller, Valentin Tschernomas

Optimality Theory through Default Logic
Besnard, Mercer, Schaub

Instance-Based Learning of Credible Label Sets
Eyke Hüllermeier

Who Can Connect in RCC?
Mehmet Giritli

Towards a Systematic Account of Different Logic Programming Semantics
Pascal Hitzler

Monitoring Agents using Declarative Planning
Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang

A flexible Meta-Solver Framework for Constraint Solver Collaboration
Stephan Frank, Petra Hofstedt, Pierre R. Mai

Self Learning or How to Make a Knowledge Base Curious About Itself
Wilhelm Roedder, Gabriele Kern-Isberner

Presenting Sets of Problem Solutions Concisely
Helmut Horacek

Automatic Document Categorization: Interpreting the Performance of Clustering Algorithms
Benno Stein, Sven Meyer zu Eissen

Sequential Learning Algorithm of Neural Networks Systems for Time Series
Royas, H. Pomares, J. Gonzalez, O. Valenzuela, F. Rojas


Posters 2 (Thursday 18.9.03; 13:00 - 14:30)

Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
Pascal Hitzler, Anthony K. Seda

Bayesian Metanetworks for Modelling User Preferences in Mobile Environment Vagan Terziyan, Oleksandra Vitko


Tolerance Spaces and Approximative Representational Structures
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas

The Process Semantics based Reasoning about Continuous Change
Chunpin Li

On Identifying Tree-Structured Perfect Maps
Christian Borgelt

Bayesian Treatment of Incomplete Discrete Data applied to Mutual Information and Feature Selection
Marcus Hutter, Marco Zaffalon

Spatial Inference - Combining Learning and Constraint Solving
Carsten Gips, Fritz Wysotzki

The Universal Medical Language System and the Gene Ontology: Some Critical Reflections
Anand Kumar, Barry Smith

An Arrangement Calculus, his Complexity and Algorithmic Properties
Marco Ragni

Planning in Answer Set Programming using Ordered Task Decomposition
Juergen Dix, Ugur Kuter, Dana Nau

Hybrid Approaches for Cases Retrieval and Adaptation
Claudio A. Policastro, Andre C. P. L. F. de Carvalho, Alexandre C. B. Delbem

A Logical Approach to Data-Driven Classification
Rainer Osswald, Wiebke Petersen