Automated Reasoning with Analytic Tableaux and Related Methods

In dieser Konferenzbandausgabe werden neue Entwicklungen in der automatisierten Logikprüfung vorgestellt, wobei analytische Tafeln und verwandte Verfahren im Mittelpunkt stehen; die Beiträge beleuchten sowohl theoretische Fortschritte als auch praktische Anwendungen in der KI-Forschung.

Teilen: