Publisher
Springer International Publishing
Reference24 articles.
1. Al-Abdulkarim, L., Atkinson, K., Bench-Capon, T.J.M.: A methodology for designing systems to reason with legal cases using abstract dialectical frameworks. Artif. Intell. Law 24(1), 1–49 (2016)
2. Atkinson, K., et al.: Towards artificial argumentation. AI Mag. 38(3), 25–36 (2017)
3. Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L. (eds.) Handbook of Formal Argumentation. College Publications (2018)
4. Lecture Notes in Computer Science;N Beneš,2020
5. Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. Comput. 45(9), 993–1002 (1996)