Conferences in DBLP
Robert Trappl AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek , Hermann Kaindl , Marcus Wagner Decision Making in Unclear Situations. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Reinefeld State Space Algorithms for Searching Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Zadrozny Explicit and Implicit Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hertzberg Facetten-Logik: eine untypische Logik zum prototypischen Schließen. [Citation Graph (0, 0)][DBLP ] Conf ] Kai von Luck Semantic Networks with Number Restricted Roles or Another Story about Clyde. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Edelmann , Bernd Owsnicki-Klewe Data Models in Knowledge Representation System: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel , Norman K. Sondheimer NIGEL Gets To Know Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Uszkoreit Syntaktische und semantische Generalisierungen im strukturierten Lexikon. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek The Choice of Words in the Generation Process of a Natural Language Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Justus Meier , Jörg Kindermann Generierung mit Lexical - Functional Grammar (LFG). [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Allgayer , Carola Reddig Processing Description containing Words and Gestures -A System Architecture-. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Eimermacher Wortorientiertes Parsing mit erweiterter Chart-Repräsentation. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Kindermann , Justus Meier An Efficient Parser for Lexical Functional grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Opwis , Hans Spada Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Schmalhofer The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff Learning Expert Knowledge and Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Francopoulo Machine Learning as a Tool for Building a Deterministic Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hoppe Generierung struktureller Konzepte im Version-Space. [Citation Graph (0, 0)][DBLP ] Conf ] H. Siegfried Stiehl , H. Scharnweber Über die Repräsentation von dreidimensionalen natürlichen Objekten. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Sielaff Hierarchien über Relationengebilden. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Pinz Architektur und Anwendung des bildverstehenden Expertensystems VES. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach The Semantic Clause Graph Procedure - A First Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Hans Bläsius Against the ``Anti Waltz Effect'' in Equality Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Müller , Elvira Wagner Effiziente Reduktionsstrategien in Termersetzunssystemen. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Müller , Joachim Steinbach Topologische Multisetordnungen. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter Using Resolution and Paramodulation for Induction Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jürgen Bürckert Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram Fronhöfer , Ulrich Furbach Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Rose , Hans-Jürgen Appelrath , Hermann Bense Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Beckstein , Günther Görz , M. Tielemann FORK: Ein System zur objeckt- und regelorientierten Programmierung. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Struss A Framework for the Multiple Representation of Structure and Function in Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Puppe Hybride Diagnosenbewertung. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich , Mark May , Ingo Ruhmann Hybrid Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Kippe COMODEL - ein Repräsentationsformalismus für technische Expertensysteme. [Citation Graph (0, 0)][DBLP ] Conf ] 