Prolog Programming for Artificial Intelligence

Author: Ivan Bratko
Publisher: Addison-Wesley Professional
ISBN: 9780321417466
Format: PDF, Kindle
Download Now
The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. New and extended topics include Constraint Logic Programming, abductive reasoning and partial order planning. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. This textbook is meant to teach Prolog as a practical programming tool and so it concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The fourth edition has been fully revised and extended to provide an even greater range of applications, making it a self-contained guide to Prolog, AI or AI Programming for students and professional programmers.

Programmieren in Prolog

Author: William F. Clocksin
Publisher: Springer-Verlag
ISBN: 3642711219
Format: PDF, ePub, Docs
Download Now
Prolog, die wohl bedeutendste Programmiersprache der Künstlichen Intelligenz, hat eine einzigartige Verbreitung und Beliebtheit erreicht und gilt als Basis für eine ganze neue Generation von Programmiersprachen und -systemen. Der vorliegenden deutschen Übersetzung des Standardwerks Programming in Prolog liegt die dritte Auflage der englischen Fassung zugrunde. Das Buch ist sowohl Lehrbuch als auch Nachschlagewerk und für alle geeignet, die Prolog als Programmiersprache für die Praxis erlernen und benutzen wollen. Zahlreiche Beispiele zeigen, wie nützliche Programme mit heutigen Prolog-Systemen geschrieben werden können. Die Autoren konzentrieren sich auf den "Kern" von Prolog; alle Beispiele entsprechen diesem Standard und laufen auf den verbreitetsten Prolog-Implementierungen. Zu einigen Implementierungen sind im Anhang Hinweise auf Besonderheiten enthalten.

Logic Programming and Automated Reasoning

Author: Andrei Voronkov
Publisher: Springer Science & Business Media
ISBN: 9783540569442
Format: PDF, ePub
Download Now
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

Design and Implementation of Symbolic Computation Systems

Author: Alfonso Miola
Publisher: Springer Science & Business Media
ISBN: 9783540525318
Format: PDF, ePub, Docs
Download Now
DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments, and Automatic Programming.

Artificial Intelligence and Symbolic Computation

Author: Bruno Buchberger
Publisher: Springer Science & Business Media
ISBN: 3540232125
Format: PDF, ePub, Docs
Download Now
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004. The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.