Steffen Hölldobler - Böcker

"Intellectics" seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science. The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains previously unpublished, reviewed results. The collection is an account of the current capabilities and limitations of a computational-logic-based approach to intellectics in the year 2000.

This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015.

Die Gesellschaft fur Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stutzt sich auf die von den Universitaten und Hochschulen fur diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preistrager" ihrer Hochschule ausgezeichnet.

Das Gebiet der Wissensprasentation und Inferenz umfasst einen zentralen Bereich der Intellektik, d.h. des Gebietes der Kunstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. Andererseits versucht es, das Alltagsschliessen des Menschen so zu formalisieren, dass logische Schlusse auch von Maschinen ausgefuhrt werden konnten. Das Buch gibt eine ausfuhrliche Einfuhrung in dieses umfangreiche Gebiet. Dem Studenten dient es im Rahmen einer solchen Vorlesung oder zum Selbststudium als umfassende Unterlage, und der Praktiker zieht einen grossen Gewinn aus der Lekture dieses modernen Stoffes, der in dieser Breite bisher nicht verfugbar war. Daruber hinaus leistet das Buch einen wichtigen Beitrag zur Forschung dadurch, dass viele Ansatze auf diesem Gebiet in ihren inneren Bezugen in ihrer Bedeutung klarer erkennbar werden und so eine solide Basis fur die zukunftige Forschungsarbeit geschaffen ist.Der Leser ist nach der Lekture dieses Werkes in der Lage, sich mit Details der Wissensprasentation und Inferenz auseinanderzusetzen.

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.