OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I