|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Siegfried Kanngießer |
Korrespondenzen zwischen KI und Linguistik. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller, Rainer Mantz, Manfred Scheer |
Einführung in LISP. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Stoyan |
KI-Programmierung. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Günther Görz |
Werarbeitung natürlicher Sprache. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel |
KI: Woher kommt sie, wo steht sie, wohin geht sie? |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Egbert Lehmann |
Wissensrepräsentation. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Godehard Link |
Semantik und sprachliche Information. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jürgen Eikmeyer |
Prolog. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Paul Levi |
Verteilte Aktionsplanung für autonome mobile Agenten. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Peter Struss |
Qualitative Reasoning. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Pinkal |
Neuere Semantikmodelle für die Verarbeitung natürlicher Sprache. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe |
Wissensrepräsentationen und Problemlösungstrategien in Expertensystemen. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck (eds.) |
Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Wettler |
Eine psychologische Kritik des Intuitionismus in der Kognitionsforschung. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller (eds.) |
Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, Deutschland, 28. März - 5. April 1987, Proceedings |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Günther Palm |
Informationsverarbeitung in neuronalen Netzen. |
KIFS |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller, Hans-Werner Hein, Michael M. Richter (eds.) |
Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, Deutschland, 8.-16. März 1985 und 8.-16. März 1986 |
KIFS |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Cosima Schmauch |
Wissensrepräsentation. Grundkurs. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Nichtmonotone Logiken. Ein einführender Überblick. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Claus Möbus, Heinz-Jürgen Thole |
Tutors, Instructions and Helps. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Walther |
Many-Sorted Resolution. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven |
Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck, Bernd Owsnicki-Klewe |
Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Angi Voß, Hans Voß |
Formalizing Local Constraint Propagation Methods. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven |
Methodik des Programmierens in Prolog. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Udo Pletat |
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Frank H. Schmitt |
Knowledge Engineering mit einer Expertensystem-Shell. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yorick Wilks, Afzal Ballim |
Belief Systems: Ascribing Belief. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Diederich |
Techniken des Wissenserwerbs. |
KIFS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Volker Penner |
Programmverifikation. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Helmar Gust, Michael König |
PROLOG: PROgrammieren mit LOGik - Eine Einführung. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Walther |
Automatisches Beweisen. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller |
Einführung in LISP. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe, Hans Voß |
Qualitative Modelle in wissensbasierten Systemen. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Franz Schmalhofer, Thomas Wetter |
Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paul Levi, Jürgen Foldenauer, Th. Löffler |
Robotik und Künstliche Intelligenz. |
KIFS |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel (eds.) |
Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984 |
KIFS |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel |
Inferenzmethoden. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Joachim H. Laubsch |
Techniken der Wissensdarstellung. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Camilla Schwind |
Semantikkonzepte in der Künstlichen Intelligenz. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller |
Parser als integraler Bestandteil von Sprachverarbeitungssystemen. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel, Claus-Rainer Rollinger |
Lernen und Wissensakquisitation. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Uta M. Quasthoff |
Textverstehen und Textproduktion. |
KIFS |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel |
Deduktionsverfahren. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel, Jörg H. Siekmann (eds.) |
Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982 |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Jörg H. Siekmann |
Einführung in die Künstliche Intelligenz. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Neumann |
Bildverstehen. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen P. Foith |
Robotertechnologie. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Wahlster |
Natürlichsprachliche Systeme - Eine Einführung in die sprachorientierte KI-Forschung. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Peter Raulefs |
Expertensysteme. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Computer-unterstützter Algorithmenentwurf. |
KIFS |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|