Symbolic Computation and Automated Reasoning
٢٠٠١
Robust Argumentation Machines
٢٠٢٤
Artificial Intelligence. ECAI 2023 International Workshops
٢٠٢٤
Artificial Intelligence. ECAI 2023 International Workshops
٢٠٢٤
Intelligent Computer Mathematics
٢٠١٦
KI 2006: Advances in Artificial Intelligence
٢٠٠٧