Logic for Programming Artificial Intelligence and Reasoning

Der Band aus der LPAR‑16-Konferenz in Dakar fasst aktuelle Forschung zu logischer Programmierung, KI und Argumentation zusammen; er beleuchtet theoretische Grundlagen, neue Algorithmen und praktische Anwendungen in einem klaren, akademischen Stil.

Teilen: