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)

VIJAY CHANDRU is a professor in the Computer Science and Automation Department at the Indian Institute of Science in Bangalore, India.

JOHN N. HOOKER is a professor in the Graduate School of Industrial Administration at Carnegie Mellon University.