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