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년