22. KI 1998: Bremen

@proceedings{DBLP:conf/ki/1998,
  editor    = {Otthein Herzog and
               Andreas G{\"u}nter},
  title     = {KI-98: Advances in Artificial Intelligence, 22nd Annual German
               Conference on Artificial Intelligence, Bremen, Germany, September
               15-17, 1998, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1504},
  year      = {1998},
  isbn      = {3-540-65080-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Ernst Pöppel: Information Processing and Knowledge Generation in the Nervous System. 1-2 BibTeX
• Rudolf Kruse, Christian Borgelt: Data Mining with Graphical Models. 3-16 BibTeX
• Peter Struss: Artifical Intelligence for Nature - Why Knowledge Representation and Problem Solving Should Play a Key Role in Environmental Decision Support. 17-30 BibTeX
• John F. Sowa: The Infinite Variety of Logics. 31-53 BibTeX
• Heinz Jürgen Müller: Thinking in Agents. 55 BibTeX

Technical Papers - Section 1

• Harald Meyer auf'm Hofe: Finding Regions for Local Repair in Partial Constraint Satisfaction. 57-68 BibTeX
• Fritz Mädler, Karsten Knorr: Needle's Eyes - A General Decomposition Principle for Practical Uses. 69-80 BibTeX
• Stefan Edelkamp, Frank Reffel: OBDDs in Heuristic Search. 81-92 BibTeX

Technical Papers - Section 2

• Wolfgang Pohl: Handling Negative Assumptions in a Generic User Modeling Framework. 93-104 BibTeX
• Sascha Ossowski, Ana García-Serrano, José Cuena: From Theory to Practice in Multiagent System Design: The Case of Structural Co-operation. 105-116 BibTeX
• Gerd Stumme: Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis. 117-128 BibTeX

Technical Papers - Section 3

• Franz Baader, Ralf Küsters: Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. 129-140 BibTeX
• Serge Autexier, Heiko Mantel, Werner Stephan: Simultaneous Quantifier Elimination. 141-152 BibTeX
• Dieter Hutter: Deductive Verification of Invariants of State-Transition Systems. 153-164 BibTeX

Technical Papers - Section 4

• Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer: GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. 165-176 BibTeX
• Michael Beetz, Hanno Peters: Structured Reactive Communication Plans - Integrating Conversational Actions into High-Level Robot Control Systems. 177-188 BibTeX
• Helmut Horacek, Stephan Busemann: Towards a Methodology for Developing Application-Oriented Report Generation. 189-200 BibTeX

Technical Papers - Section 5

• Ulrike Rhein-Desel, Frank Puppe: Concepts for a Diagnostic Critiquing System in Vague Domains. 201-212 BibTeX
• Alexander Seitz, Adelinde Uhrmacher: The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies. 213-223 BibTeX
• Cord Spreckelsen, Klaus Spitzer: Formal Representation of Temporal Items of the Diagnostic and Statistic Manual of Mental Disorders. 225-235 BibTeX
• Stefan Schulz, Martin Romacker, Udo Hahn: Part-Whole Reasoning in Medical Knowledge Bases Using Description Logics. 237-248 BibTeX

Selected German AI Research Projects