Neue Open Access Buch: “Automated Reasoning (IJCAR 2024)”

Benzmüller ist Mitherausgeber eines 2-bändigen Werkes zum Thema “Automated Reasoning” in der renommierten Serie “Lecture Notes in Artificial Intelligence” von Springer. 

Diese beiden Open-Access Bände enthalten die Proceedings der “12th International Joint Conference on Automated Reasoning (IJCAR)”, die vom 3. bis 6. Juli 2024 in Nancy, Frankreich, stattfindet. Die IJCAR ist die führende internationale Konferenz zu allen Aspekten des automatischen Schließens, einschließlich Grundlagen, Implementierungen und Anwendungen, und umfasst mehrere führende Konferenzen und Workshops. Die IJCAR 2024 brachte die “Conference on Automated Deduction (CADE)”, das “International Symposium on Frontiers of Combining Systems (FroCoS)” und die “International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)” zusammen.