Publisher
Springer International Publishing
Reference32 articles.
1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 5–40 (2001). https://doi.org/10.1023/A:1013882326814
2. Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168, 162–210 (2005)
3. Beirlaen, M., Heyninck, J., Straßer, C.: Reasoning by cases in structured argumentation. In: Proceedings of the Symposium on Applied Computing, pp. 989–994. SAC 2017 (2017)
4. Besnard, P., Hunter, A.: Practical first-order argumentation. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI), pp. 590–595 (2005)
5. Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Simari, G., Rahwan, I. (eds) Argumentation in Artificial Intelligence, pp. 133–152. Springer, Boston (2009). https://doi.org/10.1007/978-0-387-98197-0_7
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献