default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20. KI 1996: Dresden
- Günther Görz, Steffen Hölldobler:
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings. Lecture Notes in Computer Science 1137, Springer 1996, ISBN 3-540-61708-6 - 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
