Ein kompakter Sammelband der neunten LPAR-Konferenz in Tbilisi, der fortgeschrittene logische Techniken für Programmierung und künstliche Intelligenz präsentiert; enthält theoretische Beiträge, Fallstudien und neue Ansätze zur automatisierten Beweisführung.