20. KI 1996: Dresden
Günther Görz, Steffen Hölldobler (Eds.): KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61708-6- Sven-Erik Bornscheuer: Rational Models of Normal Logic Programs. 1-4
- Chandrabose Aravindan: DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. 19-23
- 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
- Andreas Küchler, Christoph Goller: Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. 183-197
- Harald Lange, Ralf Möller, Bernd Neumann: Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. 213-226
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team