Skip to content
cs-conference-ranking.org

German Conference on Artificial Intelligence

KI

National

CORE rank

CORE rank (raw)

National/Regional

Fields of research

Information and Computing Sciences (legacy)

Papers indexed

1,778

1981–2026

Best General Computing conferences

Papers per year

1981105 peak2026

Most published authors

KI papers

1,778 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1982Natrlichsprachliche Systeme - Eine Einfhrung in die sprachorientierte KI-Forschung.Wolfgang Wahlster
1982Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.Gert Smolka
1982Universal Unification.Jrg H. Siekmann, Peter Szab
1982Einfhrung in die Knstliche Intelligenz.Jrg H. Siekmann
1982Natural Language Access to PROLOG Database Systems.Camilla Schwind
1982Some Fundamental Issues in Knowledge Representation.Peter Schefe
1982Expertensysteme.Peter Raulefs
1982Symbolic Description and Matching of Image Sequences.Bernd Radig
1982On the Selection of Verbs for Natural Language Description of Traffic Scenes.Hans-Joachim Novak
1982Knowledge Sources for Understanding and Describing Image Sequences.Bernd Neumann
1982Bildverstehen.Bernd Neumann
1982N.N.: A View of Planning in Chess.Kai von Luck, Bernd Owsnicki-Klewe
1982Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.Michael Humann
1982ATN-Steuerung durch Kasusrahmen.Wolfgang Hoeppner
1982Universal Unification and a Class of Equational Theories.Alexander Herold
1982Inductive Inference in Finite Algebraic Structures.Mordechai Halpern
1982Zur Reprsentation indefinit deskribierter Objekte in KI-Systemen.Christopher Habel
1982Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs.Manfred Gehrke
1982Robotertechnologie.Jrgen P. Foith
1982Automatische Akquisition von inferentiellem Wissen.Werner Emde, Christopher Habel, Claus-Rainer Rollinger
1982Konsistenzberprfung bei sich verndernden Wissensbasen.Thomas Christaller
1982Computer-untersttzter Algorithmenentwurf.Bruno Buchberger
1982Proofs by Induction in "Fairly" Specified Equational Theories.Michel Bidoit
1982Deduktionsverfahren.Wolfgang Bibel
1982Der META-Beweiser fr die Zahlentheorie.W. Benda, Gnter Hornung, Peter Raulefs, F. Vollmann
1,726–1,750 of 1,778← PreviousNext →