KI 2003: Advances in artificial intelligence. 26th annual German conference on AI, KI 2003, Hamburg, Germany, September 15--18, 2003. Proceedings (Q1413088)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1001.00040). Indexed articles: \textit{Baader, Franz}, The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics, 64-78 [Zbl 1274.68450] \textit{Lange, Martin}, Satisfiability and completeness of converse-PDL replayed, 79-92 [Zbl 1274.03055] \textit{Besnard, P.; Mercer, R. E.; Schaub, T.}, Optimality theory through default logic, 93-104 [Zbl 1274.68602] \textit{Hitzler, Pascal}, Towards a systematic account of different logic programming semantics, 105-119 [Zbl 1274.68042] \textit{Iwan, Gero; Lakemeyer, Gerhard}, What observations really tell us, 194-208 [Zbl 1274.68581] \textit{Kahramanoğulları, Ozan; Thielscher, Michael}, A formal assessment result for fluent calculus using the action description language \(\mathcal{A}_k\), 209-223 [Zbl 1274.68460] \textit{Osswald, Rainer; Petersen, Wiebke}, A logical approach to data-driven classification, 267-281 [Zbl 1274.68343] \textit{Bischoff, S.; Reuss, D.; Wysotzki, F.}, Applied connectionistic methods in computer vision to compare segmented images, 312-326 [Zbl 1274.68596] \textit{Valenzuela, O.; Rojas, I.; Rojas, F.}, Sequential learning algorithm of neural networks systems for time series, 327-341 [Zbl 1274.68356] \textit{Jain, Brijnesh J.; Wysotzki, Fritz}, A \(k\)-winner-takes-all classifier for structured data, 342-354 [Zbl 1274.68320] \textit{Hitzler, Pascal; Seda, Anthony K.}, Continuity of semantic operators in logic programming and their approximation by artificial neural networks, 355-369 [Zbl 1274.68043] \textit{Borgelt, Christian}, On identifying tree-structured perfect maps, 385-395 [Zbl 1274.68294] \textit{Hutter, Marcus; Zaffalon, Marco}, Bayesian treatment of incomplete discrete data applied to mutual information and feature selection, 396-406 [Zbl 1274.68318] \textit{Kern-Isberner, Gabriele; Rödder, Wilhelm}, Fusing probabilistic information on maximum entropy, 407-420 [Zbl 1274.68509] \textit{Rödder, Wilhelm; Kern-Isberner, Gabriele}, Self learning or how to make a knowledge base curious about itself, 465-474 [Zbl 1274.68512] \textit{Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej}, Tolerance spaces and approximative representational structures, 475-489 [Zbl 1274.68482] \textit{Dix, Jürgen; Kuter, Ugur; Nau, Dana}, Planning in answer set programming using ordered task decomposition, 490-504 [Zbl 1274.68420] \textit{Li, Chunping}, The process semantics based reasoning about continuous change, 505-519 [Zbl 1274.68462] \textit{Gottfried, Björn}, Tripartite line tracks -- bipartite line tracks, 535-549 [Zbl 1274.68486] \textit{Giritli, Mehmet}, Who can connect in RCC?, 565-579 [Zbl 1274.68457] \textit{Ragni, Marco}, An arrangement calculus, its complexity and algorithmic properties, 580-590 [Zbl 1274.68469] \textit{Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian}, Monitoring agents using declarative planning, 646-660 [Zbl 1274.68578]