• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 51 matches

• 1989
• 
  Thomas Christaller, Rainer Mantz, Manfred Scheer:
  Einführung in LISP. KIFS 1989: 122-166
• 
  Hans-Jürgen Eikmeyer:
  Prolog. KIFS 1989: 100-121
• 
  Günther Görz:
  Werarbeitung natürlicher Sprache. KIFS 1989: 22-51
• 
  Christopher Habel:
  KI: Woher kommt sie, wo steht sie, wohin geht sie? KIFS 1989: 1-21
• 
  Siegfried Kanngießer:
  Korrespondenzen zwischen KI und Linguistik. KIFS 1989: 270-282
• 
  Egbert Lehmann:
  Wissensrepräsentation. KIFS 1989: 52-77
• 
  Paul Levi:
  Verteilte Aktionsplanung für autonome mobile Agenten. KIFS 1989: 188-201
• 
  Godehard Link:
  Semantik und sprachliche Information. KIFS 1989: 260-269
• 
  Günther Palm:
  Informationsverarbeitung in neuronalen Netzen. KIFS 1989: 299-302
• 
  Manfred Pinkal:
  Neuere Semantikmodelle für die Verarbeitung natürlicher Sprache. KIFS 1989: 202-223
• 
  Frank Puppe:
  Wissensrepräsentationen und Problemlösungstrategien in Expertensystemen. KIFS 1989: 167-187
• 
  Herbert Stoyan:
  KI-Programmierung. KIFS 1989: 78-99
• 
  Peter Struss:
  Qualitative Reasoning. KIFS 1989: 224-259
• 
  Manfred Wettler:
  Eine psychologische Kritik des Intuitionismus in der Kognitionsforschung. KIFS 1989: 283-298
• 
  Thomas Christaller:
  Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, Deutschland, 28. März - 5. April 1987, Proceedings. Informatik-Fachberichte 202, Springer 1989, ISBN 3-540-50884-8 [contents]
• 
  Kai von Luck:
  Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings. Informatik-Fachberichte 203, Springer 1989, ISBN 3-540-50878-3 [contents]
• 1988
• 
  Thomas Christaller, Hans-Werner Hein, Michael M. Richter:
  Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, Deutschland, 8.-16. März 1985 und 8.-16. März 1986. Informatik-Fachberichte 159, Springer 1988, ISBN 3-540-18903-3 [contents]
• 1987
• 
  Gerhard Brewka:
  Nichtmonotone Logiken. Ein einführender Überblick. KIFS 1987: 188-217
• 
  Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven:
  Methodik des Programmierens in Prolog. KIFS 1987: 1-28
• 
  Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven:
  Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. KIFS 1987: 29-41
• 
  Joachim Diederich:
  Techniken des Wissenserwerbs. KIFS 1987: 295-335
• 
  Kai von Luck, Bernd Owsnicki-Klewe:
  Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie. KIFS 1987: 157-187
• 
  Claus Möbus, Heinz-Jürgen Thole:
  Tutors, Instructions and Helps. KIFS 1987: 336-385
• 
  Udo Pletat:
  Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. KIFS 1987: 42-64
• 
  Cosima Schmauch:
  Wissensrepräsentation. Grundkurs. KIFS 1987: 103-156
• 
  Frank H. Schmitt:
  Knowledge Engineering mit einer Expertensystem-Shell. KIFS 1987: 261-294
• 
  Angi Voß, Hans Voß:
  Formalizing Local Constraint Propagation Methods. KIFS 1987: 218-260
• 
  Christoph Walther:
  Many-Sorted Resolution. KIFS 1987: 65-102
• 
  Yorick Wilks, Afzal Ballim:
  Belief Systems: Ascribing Belief. KIFS 1987: 386-403
• 1986
• 
  Thomas Christaller:
  Einführung in LISP. KIFS 1986: 1-35

skipping 21 more matches