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

Last update Fri May 25 08:24:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page