Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hanno Walischewski |
Learning and Interpretation of the Layout of Structured Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 409-412, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Klemens Schnattinger, Udo Hahn |
Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 255-266, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sven Hartrumpf, Marion Schulz |
Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 393-396, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Artosi, Paola Cattabriga, Guido Governatori |
A Modal Computational Framework for Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 373-376, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wenjin Lu |
Minimal Model Generation Based on E-hyper Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 99-110, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Enno Sandner |
From Linear Proofs to Direct Logic with Exponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 135-146, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Seán Matthews, Luca Viganò 0001 |
Labelled Quantified Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 171-182, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Antje Strohmaier |
Multi-flip Networks: Parallelizing GenSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 349-360, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lassaad Cheikhrouhou |
Planning Diagonalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 377-380, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pat Langley |
Machine Learning for Adaptive User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 53-62, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Carola Eschenbach, Lars Kulik |
An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 207-218, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
Agents in Proactive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 389-392, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kerber, Michael Kohlhase |
Mechanising Partiality With Re-implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 123-134, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anna Radzikowska |
Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 327-330, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Denzinger, Martin Kronenburg |
Planning for Distributed Theorem Proving: The Teamwork Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 43-56, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mario Lenz, Hans-Dieter Burkhard |
Case Retrieval Nets: Basic Ideas and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 227-239, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Denzinger |
Equational Theorem Proving Using Taxonomic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 29-42, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Fuchs, Andreas Abecker |
Optimized Nearest-Neighbor Classifiers Using Generated Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 71-83, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pacholczyk, Gilles Hunault |
Qualitative Reasoning under Uncertainty with Symbolic Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 321-325, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carl-Heinz Meyer, Wilhelm Rödder |
Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 273-285, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard K. Kraetzschmar, Josef Schneeberger |
Managing Multiple Contexts Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 179-182, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Oertel |
Knowledge Organization Using the Development System FAENSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 303-306, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz |
Application of a Genetic Algorithm for Plausible Justification of Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 175-178, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Niemann, Volker Fischer 0001, Dietrich Paulus, Julia Fischer |
Knowledge Based Image Understanding by Iterative Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 287-301, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chandrabose Aravindan |
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 19-23, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Klemens Schnattinger, Udo Hahn |
A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 349-362, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard |
FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 149-161, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi |
Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 363-375, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Russell 0001 |
Tools for Autonomous Agents (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 331, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Margelisch, Bernd Novotny, Ulrich Reimer |
EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 253-257, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Garrido-Luna, Katia P. Sycara |
Towards a Totally Distributed Meeting Scheduling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 85-97, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Linke, Torsten Schaub |
Putting Default Logics in Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 241-252, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Sattler |
A Concept Language Extended with Different Kinds of Transitive Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 333-345, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-61708-6 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Walter Kasper, Hans-Ulrich Krieger |
Integration of Prosodic and Grammatical Information in the Analysis of Dialogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 163-174, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ebersberger, Johannes Müller 0004, Holger Stahl |
A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 61-65, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel |
Representations as Basis of Cognitive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 99-101, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Holger H. Hoos |
Solving Hard Combinatorial Problems with GSAT - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 107-119, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Truong Quoc Dung |
A Revision of Dependency-Directed Backtracking for JTMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 57-60, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Contzen, Knut Möller |
Abstraction as a Heuristic to Guide Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 25-28, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sven-Erik Bornscheuer |
Rational Models of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 1-4, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer |
Cyclic Rules in Linear Connection Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 67-70, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 135-147, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Diane Hirschfeld, Heinz Dieter Maas |
Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 103-106, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Erica Melis |
When to Prove Theorems by Analogy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 259-271, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Küchler, Christoph Goller |
Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 183-197, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Hutter |
Using Rippling for Equational Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 121-133, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Lakemeyer, Wilfried Lang |
Belief Revision in a Nonclassical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 199-211, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten, Christoph Kreitz |
A Uniform Proof Procedure for Classical and Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 307-319, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Henning Scheich |
Representation in Auditory Cortex (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 347, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Harald Lange, Ralf Möller 0001, Bernd Neumann |
Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 213-226, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sven-Erik Bornscheuer, Torsten Seiler |
Massively Parallel Reasoning about Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 5-17, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Würtz, Tobias Müller 0002 |
Constructive Disjunction Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings, pp. 377-386, 1996, Springer, 3-540-61708-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Eckerle, Sven Schuierer |
Efficient Memory-Limited Graph Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 101-112, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maroua Bouzid, Antoni Ligeza |
Temporal Logic Based on Characteristic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 221-232, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Hötker |
Dynamic Structuring of Lexical Knowledge in a Reusability Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 89-100, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ruzena Bajcsy, Jana Kosecká |
The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 49-64, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William M. Bricken |
Distinction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 35-48, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frank W. Bergmann, J. Joachim Quantz |
Parallelizing Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 137-148, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra |
Partially Observable Markov Decision Processes for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 1-17, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.) |
KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-60343-3 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Peter Gapp |
An Empirically Validated Model for Computing Spatial Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 245-256, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klemens Schnattinger, Udo Hahn, Manfred Klenner |
Quality-Based Terminological Reasoning for Concept Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 113-124, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl |
Automated Termination Proofs with Measure Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 149-160, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Menzel |
Robust Processing of Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 19-34, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schrödl |
An Extension of Explanation-Based Generalization to Negation as Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 65-76, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anna Radzikowska |
Reasoning about Action with Typical and Atypical Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 197-208, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel |
Computational Properties of Qualitative Spatial Reasoning: First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 233-244, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
Default Entailment: A Preferential Construction Semantics for Defeasible Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 173-184, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik |
Task Acquisition with a Description Logic Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 125-136, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
Actions That Make You Change Your Mind (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 185-196, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roman Englert |
Inducing Integrity Constraints from Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 77-88, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Herzog, Karl Rohr |
Integrating Vision and Language: Towards Automatic Description of Human Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 257-268, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
Reasoning about Action and Change: Actions with Abnormal Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 209-220, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thielscher |
What Is a Skeptical Proof? ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings, pp. 161-172, 1995, Springer, 3-540-60343-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Becker, Gerhard Lakemeyer |
Epistemic Queries in Classic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 190-201, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Quantz, Sven Suska |
Weighted Defaults in Description Logics: Formal Properties and Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 178-189, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Eugenia Ternovskaia |
Interval Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 400, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Denzinger, Matthias Fuchs |
Goal Oriented Equational Theorem Proving Using Team Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 343-354, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Jameson, Bernhard Kipper, Alassane Ndiaye, Ralph Schäfer, Thomas Weis, Detlev Zimmermann |
Cooperating to Be Noncooperative: The Dialog System PRACMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 106-117, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. S. J. H. Penders |
Conflicts in the Spatial Interaction of Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 397, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Odile Cordier, Pierre Siegel |
Prioritized Transitions for Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 393, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Hellmut Nagel |
AI Approaches Towards Sensor-Based Driver Support in Road Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 1-15, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Fuhr 0002, Franz Kummert, Gerhard Sagerer |
Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 130-141, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marc Pomplun, Boris M. Velichkovsky, Helge J. Ritter |
An Artificial Neural Network for High Precision Eye Movement Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 63-69, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schurz |
Probabilistic Justification of Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 248-259, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Josef Meyer-Fujara, Barbara Heller, Sonja Schlegelmilch, Ipke Wachsmuth |
Knowledge-Level Modularization of a Complex Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 214-225, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dix, Martin Müller 0001 |
The Stable Semantics and its Variants: A Comparison of Recent Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 82-93, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Zuoquan Lin, Wei Li 0022 |
A Note on Tableaux of Logic of Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 296-307, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Eva Stopp, Klaus-Peter Gapp, Gerd Herzog, Thomas Laengle, Tim C. Lüth |
Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 39-50, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
Program Verification Techniques as a Tool for Reasoning about Action and Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 226-236, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerson Zaverucha |
A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 260-271, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Rapp, Michael Jessen, Grzegorz Dogil |
Using Rough Sets Theory to Predict German Word Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 398, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ian P. Gent, Toby Walsh |
The Hardest Random SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 355-366, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Erich Schikuta |
The NeuDB-System: Towards the Integration of Neural Networks and Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 166-177, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Pfahringer |
Robust Constructive Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 118-129, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Ingrid Neumann |
Strategies for Semantical Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 396, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans Rott |
Coherent Choice and Epistemic Entrechment (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 284-295, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Madden |
Formal Methods for Automated Program Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 367-378, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Eckerle |
An Optimal Bidirectional Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings, pp. 394, 1994, Springer, 3-540-58467-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|