Wyniki wyszukiwania:

This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in Asia, more...

Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB...

Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der natiirlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegeniiber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur Losung eines Problems programmiert werden miissen, besteht Programmieren in PROLOG im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich natiirlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Prograrnms. Dieses Buch ist aus Vorlesungen an der Universitiit Karlsruhe...

This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.

Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der naturlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegenuber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur Losung eines Problems programmiert werden mussen, besteht Programmieren in PROLOG im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich naturlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Programms. Dieses Buch ist aus Vorlesungen an der Universitat Karlsruhe entstanden....