Steffen Hölldobler - Böcker
Visar alla böcker från författaren Steffen Hölldobler. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Del 19 - Applied Logic Series
Intellectics and Computational Logic
Papers in Honor of Wolfgang Bibel
Inbunden, Engelska, 2000
1 590 kr
Skickas inom 10-15 vardagar
"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.
Del 9324 - Lecture Notes in Computer Science
KI 2015: Advances in Artificial Intelligence
38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
Häftad, Engelska, 2015
553 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015.
385 kr
Skickas inom 10-15 vardagar
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.
605 kr
Skickas inom 10-15 vardagar
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.
391 kr
Skickas inom 10-15 vardagar
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.
KI-96: Advances in Artificial Intelligence
20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings
Häftad, Engelska, 1996
556 kr
Skickas inom 10-15 vardagar
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.
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Häftad, Engelska, 2008
556 kr
Skickas inom 10-15 vardagar
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.
Del 19 - Applied Logic Series
Intellectics and Computational Logic
Papers in Honor of Wolfgang Bibel
Häftad, Engelska, 2010
1 590 kr
Skickas inom 10-15 vardagar
'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 new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics. Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.