Author:
Cerutti Federico,Dunne Paul E.,Giacomin Massimiliano,Vallati Mauro
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Amgoud, L., Devred, C.: Argumentation frameworks as constraint satisfaction problems. Annals of Mathematics and Artificial Intelligence, 1–18 (2013)
2. Ansótegui, C., Bonet, M.L., Levy, J.: SAT-based MaxSAT. Artificial Intelligence 196, 77–105 (2013)
3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI 2009, pp. 399–404 (2009)
4. Audemard, G., Simon, L.: Glucose 2.1 (2012),
http://www.lri.fr/~simon/?page=glucose
5. Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Engineering Review 26(4), 365–410 (2011)
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献