Hans Kleine Büning Bücher

Die Programmiersprache PROLOG hat in den letzten Jahren durch zahlreiche Anwendungen in Expertensystemen und der natürlichen Sprachverarbeitung an Bedeutung gewonnen. Im Gegensatz zu prozeduralen Programmiersprachen, in denen Verfahren zur Lösung eines Problems programmiert werden, besteht das Programmieren in PROLOG aus einer Beschreibung des Problems. Dies führt zu unterschiedlichen Methoden und Herausforderungen beim Programm-Design. Das Buch basiert auf Vorlesungen an der Universität Karlsruhe und reflektiert die dabei gewonnenen Erfahrungen. Zunächst werden einfache Programme und Konstrukte in PROLOG vorgestellt, um den Leser mit der Programmierweise vertraut zu machen. Nach einem Exkurs zu den Grundlagen der Logik folgt ein Kapitel zur Syntax, orientiert an C-Prolog. Anschließend wird der Ablauf der Lösungssuche in PROLOG behandelt, gefolgt von einer ausführlichen Darstellung der wichtigsten Built-in-Prädikate mit Beispielen. Die Anwendungen sind in zwei Bereiche gegliedert: kurze Beispiele zu Mengen, Parsern, Spielen, Logik und Mathematik sowie ein ganzes Kapitel über Expertensysteme. Dabei liegt der Fokus auf der Entwicklung einer Shell zur Implementierung von Expertensystemen. Im Anhang befindet sich das vollständige Programm für diese Entwicklungsumgebung, abgesehen von einem Modul zur Wissenserfassung.

This volume features papers from the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), which has evolved from a workshop in 1996 to an annual international conference. It serves as a platform for researchers exploring various aspects of the propositional satisfiability problem and its applications. For the first time, the conference took place in Asia, specifically at the Zhudao Guest House near Sun Yat-Sen University in Guangzhou, P. R. China. Many complex combinatorial problems can be represented as SAT problems, leading to advancements in both practical heuristics and theoretical insights applicable to a wide array of real-world challenges. Notably, significant verification issues in hardware and software can be reformulated as SAT problems, making SAT a crucial technology for ensuring secure and reliable systems. The conference topics encompass both practical and theoretical research on SAT and its applications, including proof systems, proof complexity, search algorithms, heuristics, algorithm analysis, hard instances, randomized formulas, problem encodings, industrial applications, solvers, tools, case studies, and empirical results. SAT is broadly defined, encompassing not only propositional satisfiability but also quantified Boolean formulas (QBF) and satisfiability modulo theories (SMT).