Universit?t Bamberg
Suche ?ffnen
Sie befinden sich hier:

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)

  1.  Otto-Friedrich-Universit?t Bamberg
  2. Fakult?ten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Angewandte Informatik
  6. Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
  7. News
  8. Neue Open Access Buch: “Automated Reasoning (IJCAR 2024)”

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.