Ein kompakter Sammelband aus der neunten LPAR-Konferenz in Tbilisi, der sich auf logikbasierte Programmierung, KI‑Entwicklung und formale Argumentation fokussiert; bietet theoretische Modelle, praktische Anwendungen und neue Ideen zur automatisierten Beweisführung.