Der Band der neunten IJCAR‑Konferenz aus Oxford präsentiert aktuelle Forschung zu automatischem Beweisführung, formaler Logik und KI‑Verifikation; er verbindet theoretische Modelle mit praxisnahen Fallstudien für Wissenschaftler und Entwickler.