Symbolic Computation and Automated Reasoning
2001
Robust Argumentation Machines
2024
Artificial Intelligence. ECAI 2023 International Workshops
2024
Artificial Intelligence. ECAI 2023 International Workshops
2024
Intelligent Computer Mathematics
2016
KI 2006: Advances in Artificial Intelligence
2007