Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jochen Burghardt |
Axiomatization of Finite Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 222-234, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller |
DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 323, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pierre E. Bonzon |
Compiling Dynamic Agent Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 33-50, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Heiner Stuckenschmidt |
Approximate Information Filtering on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 114-128, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Borth |
Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 82-98, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth André |
From Simulated Dialogues to Interactive Performances with Virtual Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 317, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Anni-Yasmin Turhan |
On the Problem of Computing Small Representations of Least Common Subsumers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 99-113, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zens, Franz Josef Och, Hermann Ney |
Phrase-Based Statistical Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 18-32, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ute Schmid, Marina Müller, Fritz Wysotzki |
Integrating Function Application in State-Based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 144-162, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss |
Axiom - A Modular Visual Object Retrieval System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 253-267, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Malsch |
DFG Priority Program (SPP-1077) Socionics - Investigating and Modelling Artificial Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 325-326, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Liviu-Virgil Ciortuz |
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 3-17, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Hitzler, Matthias Wendt |
The Well-Founded Semantics Is a Stratified Fitting Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 205-221, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Brijnesh J. Jain, Fritz Wysotzki |
Fast Winner-Takes-All Networks for the Maximum Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 163-173, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (eds.) |
KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-44185-9 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Gips, Petra Hofstedt, Fritz Wysotzki |
Spatial Inference - Learning vs. Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 299-316, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kirn |
DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 324, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marina Guetova, Steffen Hölldobler, Hans-Peter Störr |
Incremental Fuzzy Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 67-81, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
classification, fuzzy logic, decision trees, incremental learning |
1 | Peter Geibel, Kristina Schädler, Fritz Wysotzki |
Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 186-204, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frieder Stolzenburg, Oliver Obst, Jan Murray |
Qualitative Velocity and Ball Interception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 283-298, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiagent systems, spatial reasoning, cognitive robotics |
1 | Andrew Skabar |
Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 174-185, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Klabunde |
Logic-Based Choice of Projective Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 149-158, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Werner Nutt |
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 113-124, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beetz, Maren Bennewitz, Henrik Grosskreutz |
Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 243-254, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Pfeifer |
Dynamics, Morpholgy, and Materials in the Emergence of Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 27-44, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Imhoff, Ursula Gather, Katharina Morik |
Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 219-230, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haustein |
Information Environments for Software Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 295-298, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebastian Thrun |
Collaborative Multi-robot Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 255-266, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel |
Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 299-302, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel |
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 183-194, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
Following Conditional Structures of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 125-136, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals |
1 | Takashi Matsuyama |
Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 75-88, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Holger H. Hoos, Thomas Stützle |
Systematic vs. Local Search for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 289-293, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hans A. Kestler, Steffen Simon, Axel Baune, Friedhelm Schwenker, Günther Palm |
Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network for Neuro-symbolic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 267-279, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Willke |
From AI to Systemic Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 1-13, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thielscher |
A Theory of First-Order Counterfactual Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 137-148, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hoffhenke, Ipke Wachsmuth |
Object Recognition with Shape Prototypes in a 3D Construction Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 231-242, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hähnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz 0001 |
MINERVA: A Tour-Guide Robot that Learns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 14-26, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Camilla Schwind |
A Theory for Causal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 285-288, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ester, Hans-Peter Kriegel, Jörg Sander 0001 |
Knowledge Discovery in Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 61-74, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Mantay, Ralf Möller 0001, Alissa Kaplunova |
Computing Probabilistic Least Common Subsumers in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 89-100, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
Revising Nonmonotonic Theories: The Case of Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 101-112, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ana L. C. Bazzan, Joachim Wahle, Franziska Klügl |
Agents in Traffic Modelling - From Reactive to Social Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 303-306, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schrödl, Stefan Edelkamp |
Inferring Flow of Control in Program Synthesis by Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 171-182, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Handmann, Iris Leefken, Christos Tzomakas |
A Flexible Architecture for Driver Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 281-284, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Bergmann, Ivo Vollrath |
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 195-206, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mathis Löthe |
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 159-170, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Hellmut Nagel |
Natural Language Description of Image Sequences as a Form of Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 45-60, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Image Sequence Evaluation, Fuzzy Metric-Temporal Logic, Natural Language Text Understanding, Road Traffic, Vehicle Behavior, Knowledge Representation, Machine Vision, Situation |
1 | Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.) |
KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-66495-5 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Fritzke |
Be Busy and Unique ... or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 207-218, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael Imhoff, Marcus Bauer 0001, Ursula Gather |
Time-Effect Relations of Medical Interventions in a Clinical Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 307-310, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Harald Meyer auf'm Hofe |
Finding Regions for Local Repair in Partial Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 57-68, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Hutter |
Deductive Verification of Invariants of State-Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 153-164, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Ossowski, Ana García-Serrano, José Cuena |
From Theory to Practice in Multiagent System Design: The Case of Structural Co-operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 105-116, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Struss |
Artifical Intelligence for Nature - Why Knowledge Representation and Problem Solving Should Play a Key Role in Environmental Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 17-30, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beetz, Hanno Peters |
Structured Reactive Communication Plans - Integrating Conversational Actions into High-Level Robot Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 177-188, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Otthein Herzog, Andreas Günter (eds.) |
KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-65080-6 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Kruse, Christian Borgelt |
Data Mining with Graphical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 3-16, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Pohl |
Handling Negative Assumptions in a Generic User Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 93-104, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Rhein-Desel, Frank Puppe |
Concepts for a Diagnostic Critiquing System in Vague Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 201-212, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Frank Reffel |
OBDDs in Heuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 81-92, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Stumme |
Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 117-128, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Ralf Küsters |
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 129-140, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer |
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 165-176, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Pöppel |
Information Processing and Knowledge Generation in the Nervous System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 1-2, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John F. Sowa |
The Infinite Variety of Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 31-53, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek, Stephan Busemann |
Towards a Methodology for Developing Application-Oriented Report Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 189-200, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schulz 0001, Martin Romacker, Udo Hahn |
Part-Whole Reasoning in Medical Knowledge Bases Using Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 237-248, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Jürgen Müller |
Thinking in Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 55, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Seitz, Adelinde M. Uhrmacher |
The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 213-223, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Mädler, Karsten Knorr |
Needle's Eyes - A General Decomposition Principle for Practical Uses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 69-80, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Heiko Mantel, Werner Stephan 0001 |
Simultaneous Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 141-152, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Cord Spreckelsen, Klaus Spitzer 0001 |
Formal Representation of Temporal Items of the Diagnostic and Statistic Manual of Mental Disorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 225-235, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Grünwald |
Causation and Nonmonotonic Temporal 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. 159-170, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Nilson, Gabriella Kókai |
A Graphical User Interface for an ECG Classifier System. ![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. 397-400, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer |
Connection Cutting for Contraction Free Logic. ![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. 385-388, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel |
Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming. ![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. 301-312, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Messing |
Defining Decision Rules in Signed Horn Clauses. ![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. 183-194, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kolbe, Sabine Glesner |
Many-Sorted Logic in a Learning Theorem Prover. ![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. 75-86, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Konolige |
COLBERT: A Language for Reactive Control in Sapphira. ![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. 31-52, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erica Melis, Jon Whittle 0001 |
External Analogy in Inductive Theorem Proving. ![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. 111-122, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann |
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. ![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. 313-324, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Burgard, Dieter Fox, Daniel Hennig |
Fast Grid-Based Position TRacking for Mobile Robots. ![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. 289-300, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hans Weber 0001, Jörg Spilker, Günther Görz |
Parsing N Best Trees from a Word Lattice. ![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. 279-288, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Berendt |
Modelling Subjective Distances. ![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. 195-206, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Steinmann, Antje Strohmaier, Thomas Stützle |
Tabu Search vs. Random Walk. ![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. 337-348, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Weis |
Resource-Adaptive Action Planning in a Dialogue System for Repair Support. ![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. 361-372, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Ludwig |
A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging. ![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. 231-242, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony G. Cohn 0001 |
Qualitative Spatial Representation and Reasoning Techniques. ![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. 1-30, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Leendert W. N. van der Torre, Yao-Hua Tan |
Reasoning About Exceptions (Extended Abstract). ![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. 405-408, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kühn |
Rigid Hypertableaux. ![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. 87-98, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Schacht, Udo Hahn |
Making Objects More Knowledgeable. ![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. 243-254, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.) |
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![Springer, 3-540-63493-2 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Staab |
Conceptualizing Adjectives. ![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. 267-278, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nenad Stojanovic, Ljiljana Stoiljkovic, Dejan Milenovic, V. Stoiljkovic |
Expert System in Additional Finishing. ![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. 401-404, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp |
Suffix Tree Automata in State Space Search. ![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. 381-384, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gerberding, Brigitte Pientka |
Structured Incremental Proof Planning. ![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. 63-74, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Bamberger |
Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. ![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. 325-336, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Röhrig |
Representation and Processing of Qualitative Orientation 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. 219-230, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin Strecker, Maria Sorea |
Integrating an Equality Prover into a Software Development System Based on Type Theory. ![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. 147-158, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|