Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field.  Meer

Das Gefiige unserer Welt wird immer engmaschiger mit technischen Systemen zu einem uniiberschaubar komplexen Gesamtsystem verflochten. Von ihrer Konzeption her sind solehe techDischen Systeme (und damit auch das Gesamtsystem) jedoch so angelegt, daB sie nur dann beherrseht werden kl>nnen, wenn men schlicher Geist sie durehschaut und begreift.  Meer

The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures.  Meer

Die Infonnatik ist ein fester, nicht mehr wegzudenkender Bestandteil un serer heuti­ gen Welt In alien Bereichen von Technik, Wirtschaft und Wissenschaft erledigen Rechenprogramme Routineaufgaben dauerhaft, meist zuverllissig und schnell.  Meer

Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati­ onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden.  Meer

In this paper, a comparison is made of several proof calculi in terms of the lengths of shortest proofs for some given formula of first order predicate logic with function symbols.  Meer

Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur Erstellung regelbasierter Systeme dient.  Meer

In unüberschaubarer Fülle werden derzeit in der Künstlichen Intelligenz Formalismen vorgeschlagen, die den sogenannten gesunden Menschenverstand in Betracht ziehen und damit den unvollständigen Charakter verfügbarer Informationen verschleiern können.  Meer

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularitat. Dies zeigt sich auch an der zunehmenden Zahl von industriellen Implementierungen und kommerziellen Entwicklungsum­ gebungen.  Meer

Eine Programmiersprache wird eingesetzt, um Verfahren zur Lösung von Anwen­ dungsproblemen auf dem Computer zu formulieren. Daher sollte das Erlernen einer Programmiersprache immer in Bezug auf ein Anwendungsgebiet erfolgen.  Meer

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularitat. 1m universitaren Kreis besitzt diese Spra­ che besonders im Bereich der wissensbasierten Systeme seit geraumer Zeit einen hohen Stellenwert.  Meer

Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei­ sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei­ chend flir die Terminierung eines Algorithmus ist.  Meer

Neuronale Netze erfreuen sich einer wachsenden Popularitat, die sich in einer Viel­ zahl von Veroffentlichungen und industriellen Anwendungen ausdriickt.  Meer

Erkenntnis bildet sich nur ikonisch, durch konkrete An­ schauung, und die Anschaulichkeit (Ikonizitiit) mufl ab­ solut sein. Umberto Eco Mit "Rechnersehen" wird heute ein umfangreiches Forschungs- und Anwen­ dungsgebiet bezeichnet.  Meer

Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissen­ schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig.  Meer