20. KI 1996: Dresden

@proceedings{DBLP:conf/ki/1996,
  editor    = {G{\"u}nther G{\"o}rz and
               Steffen H{\"o}lldobler},
  title     = {KI-96: Advances in Artificial Intelligence, 20th Annual German
               Conference on Artificial Intelligence, Dresden, Germany, September
               17-19, 1996, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1137},
  year      = {1996},
  isbn      = {3-540-61708-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Sven-Erik Bornscheuer: Rational Models of Normal Logic Programs. 1-4 BibTeX
• Sven-Erik Bornscheuer, Torsten Seiler: Massively Parallel Reasoning about Actions. 5-17 BibTeX
• Chandrabose Aravindan: DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. 19-23 BibTeX
• Michael Contzen, Knut Möller: Abstraction as a Heuristic to Guide Planning. 25-28 BibTeX
• Jörg Denzinger: Equational Theorem Proving Using Taxonomic Constraints. 29-42 BibTeX
• Jörg Denzinger, Martin Kronenburg: Planning for Distributed Theorem Proving: The Teamwork Approach. 43-56 BibTeX
• Truong Quoc Dung: A Revision of Dependency-Directed Backtracking for JTMS. 57-60 BibTeX
• Michael Ebersberger, Johannes Müller, Holger Stahl: A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application. 61-65 BibTeX
• Bertram Fronhöfer: Cyclic Rules in Linear Connection Proofs. 67-70 BibTeX
• Matthias Fuchs, Andreas Abecker: Optimized Nearest-Neighbor Classifiers Using Generated Instances. 71-83 BibTeX
• Leonardo Garrido-Luna, Katia P. Sycara: Towards a Totally Distributed Meeting Scheduling System. 85-97 BibTeX
• Christopher Habel: Representations as Basis of Cognitive Processes. 99-101 BibTeX
• Diane Hirschfeld, Heinz Dieter Maas: Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge. 103-106 BibTeX
• Holger H. Hoos: Solving Hard Combinatorial Problems with GSAT - A Case Study. 107-119 BibTeX
• Dieter Hutter: Using Rippling for Equational Reasoning. 121-133 BibTeX
• Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. 135-147 BibTeX
• Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard: FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices. 149-161 BibTeX
• Walter Kasper, Hans-Ulrich Krieger: Integration of Prosodic and Grammatical Information in the Analysis of Dialogs. 163-174 BibTeX
• Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz: Application of a Genetic Algorithm for Plausible Justification of Observations. 175-178 BibTeX
• Gerhard K. Kraetzschmar, Josef Schneeberger: Managing Multiple Contexts Efficiently. 179-182 BibTeX
• Andreas Küchler, Christoph Goller: Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. 183-197 BibTeX
• Gerhard Lakemeyer, Wilfried Lang: Belief Revision in a Nonclassical Logic. 199-211 BibTeX
• Harald Lange, Ralf Möller, Bernd Neumann: Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. 213-226 BibTeX
• Mario Lenz, Hans-Dieter Burkhard: Case Retrieval Nets: Basic Ideas and Extensions. 227-239 BibTeX
• Thomas Linke, Torsten Schaub: Putting Default Logics in Perspective. 241-252 BibTeX
• Andreas Margelisch, Bernd Novotny, Ulrich Reimer: EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks. 253-257 BibTeX
• Erica Melis: When to Prove Theorems by Analogy? 259-271 BibTeX
• Carl-Heinz Meyer, Wilhelm Rödder: Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT. 273-285 BibTeX
• Heinrich Niemann, Volker Fischer, Dietrich Paulus, Julia Fischer: Knowledge Based Image Understanding by Iterative Optimization. 287-301 BibTeX
• Wolfgang Oertel: Knowledge Organization Using the Development System FAENSY. 303-306 BibTeX
• Jens Otten, Christoph Kreitz: A Uniform Proof Procedure for Classical and Non-Classical Logics. 307-319 BibTeX
• Daniel Pacholczyk, Gilles Hunault: Qualitative Reasoning under Uncertainty with Symbolic Probabilities. 321-325 BibTeX
• Anna Radzikowska: Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract). 327-330 BibTeX
• Stuart J. Russell: Tools for Autonomous Agents (Abstract). 331 BibTeX
• Ulrike Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. 333-345 BibTeX
• Henning Scheich: Representation in Auditory Cortex (Abstract). 347 BibTeX
• Klemens Schnattinger, Udo Hahn: A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty. 349-362 BibTeX
• Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi: Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework. 363-375 BibTeX
• Jörg Würtz, Tobias Müller: Constructive Disjunction Revisited. 377-386 BibTeX