CEGARTIX: A SAT-Based Argumentation System
作者： Wolfgang Dvorák , Matti Järvisalo , Johannes Wallner , Stefan Woltran
DOI:
关键词: Argumentation theory 、 Epistemology 、 Computer science
摘要:
参考文章(8)
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran, Answer-set programming encodings for argumentation frameworks Argument & Computation. ,vol. 1, pp. 147- 177 ,(2010) , 10.1080/19462166.2010.486479
Wolfgang Dvořák, Stefan Woltran, Complexity of semi-stable and stage semantics in argumentation frameworks Information Processing Letters. ,vol. 110, pp. 425- 430 ,(2010) , 10.1016/J.IPL.2010.04.005
Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games Artificial Intelligence. ,vol. 77, pp. 321- 357 ,(1995) , 10.1016/0004-3702(94)00041-X
E. Clarke, A. Gupta, O. Strichman, SAT-based counterexample-guided abstraction refinement IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 23, pp. 1113- 1123 ,(2004) , 10.1109/TCAD.2004.829807
Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith, Counterexample-guided abstraction refinement for symbolic model checking Journal of the ACM. ,vol. 50, pp. 752- 794 ,(2003) , 10.1145/876638.876643
Paul E. Dunne, T.J.M. Bench-Capon, Coherence in finite argument systems Artificial Intelligence. ,vol. 141, pp. 187- 203 ,(2002) , 10.1016/S0004-3702(02)00261-8
Stefan Woltran, Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Complexity-sensitive decision procedures for abstract argumentation international conference on artificial intelligence. pp. 4173- 4177 ,(2015)
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran, Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems arXiv: Artificial Intelligence. ,(2011) , 10.1007/978-3-642-41524-1_7