KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, ProceedingsUlrich Furbach Springer Science & Business Media, 30 de ago. de 2005 - 418 páginas ThisvolumecontainstheresearchpaperspresentedatKI2005, the28thGerman Conference on Arti'cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each paperwasreviewedbythreereferees;afteranintensivediscussionabouttheb- derline papers during the online meeting of the Program Committee, 29 papers were accepted for publication in this proceedings volume. The program included three outstanding keynote talks: Ian Horrocks (U- versityofManchester, UK), LucSteels(UniversityofBrusselsandSony)and- bastian Thrun (Stanford University), who covered topics like logical foundation, cognitive abilities of multi-agent systems and the DARPA Grand Challenge. KI 2005 also included two excellent tutorials: Techniques in Evolutionary Robotics and Neurodynamics (Frank Pasemann, Martin Hulse, ] Ste'en Wis- mann and Keyan Zahedi) and Connectionist Knowledge Representation and Reasoning (Barbara Hammer and Pascal Hitzler). Many thanks to the tu- rial presenters and the tutorial chair Joachim Hertzberg. Peter Baumgartner, in hisroleasaworkshopchair, collected11workshopsfromallareasofAIresearch, whichalsoincludes ameeting ofthe GermanPriorityProgramonKooperierende Teams mobiler Roboter in dynamischen Umgebungen. I want to sincerely thank all the authors who submitted their work for c- sideration and the Program Committee members and the additional referees for theirgreate'ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages. |
Conteúdo
Invited Talks | 1 |
Description Logics in Ontology Applications | 16 |
Robotics | 17 |
Subsumption in EL w r t Hybrid TBoxes | 34 |
Reasoning in a General Point Relation Algebra | 49 |
Diagnosis | 62 |
On Generalized Neighborhood Graphs | 64 |
Machine Learning | 79 |
Neural Networks | 191 |
New Stability Results for Delayed Neural Networks | 216 |
An Optimal Algorithm for Disassembly Scheduling with Assembly | 235 |
Hybrid Planning Using Flexible Strategies | 249 |
Theory and Practice | 264 |
Distributed Multirobot Localization Based on Mutual Path Detection | 279 |
HeuristicBased Laser Scan Matching for Outdoor 6D SLAM | 304 |
A Probabilistic Multimodal Sensor Aggregation Scheme Applied for | 320 |
Applying Constrained Linear Regression Models to Predict | 92 |
On Utilizing Stochastic Learning Weak Estimators for Training | 107 |
Noise Robustness by Using Inverse Mutations | 121 |
Development of Flexible and Adaptable Fault Detection and Diagnosis | 134 |
Computing the Optimal Action Sequence by Niche Genetic Algorithm | 148 |
Diagnosis of Plan Execution and the Executing Agent | 161 |
Automatic Abstraction of TimeVarying System Models for Model | 176 |
Behavior Recognition and Opponent Modeling for Adaptive Table | 335 |
Cognitive Modelling Philosopy Natural Language | 351 |
Selfsustained Thought Processes in a Dense Associative Network | 366 |
Why Is the LucasPenrose Argument Invalid? | 380 |
On the Road to HighQuality POSTagging | 394 |
409 | |
Outras edições - Ver todos
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference ... Ulrich Furbach Visualização parcial - 2005 |
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference ... Ulrich Furbach Visualização parcial - 2005 |
Termos e frases comuns
abstract according action adaptive algebra algorithm analysis application approach assume ball calculated called classification compared complexity components computed concept considered consists constraints construction contains continuous corresponding cost defined Definition denoted dependent described detection determined diagnosis different distribution domain estimate example exists experiments expressed fails fault Figure first function given graph holds hybrid images instances interval introduce layer learning linear means measure method names neighborhood nodes normal Note objects observations obtained operator optimal outcrops parameters partial performance position possible predicted presented problem properties proposed range reasoning References relations represented respectively restricted robot rule schedule selected shown shows similarity SLWE solution solve spatial step strategy structure Table task temporal transformation values variables vector