Search results for "KIFS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "KIFS"( http://dblp.L3S.de/Venues/KIFS )