Neben der Mathematik entwickelte sich die Logik in letzter Zeit zu einem grundlegenden Hilfsmittel der Optimierung. Dieser Band erl utert Spezialisten und fortgeschrittenen Studenten die hnlichkeiten zwischen logischen und Optimierungsproblemen und zeigt, wie sich Folgerungsprobleme einfacher l sen lassen als mit den traditionellen Methoden der k nstlichen Intelligenz. (05/99)