Advanced SAT Techniques for Abstract Argumentation (bibtex)
by Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
Reference:
Advanced SAT Techniques for Abstract ArgumentationJohannes Peter Wallner, Georg Weissenbacher, Stefan WoltranChapter in Computational Logic in Multi-Agent Systems (Joao Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran, eds.), volume 8143 of Lecture Notes in Computer Science, pages 138-154, 2013, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{WWW13,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-40624-9_9},
keyword = {Abstract Argumentation; Propositional Satisfiability; Argumentation
Systems},
title = {Advanced SAT Techniques for Abstract Argumentation},
url = {/pubpdf/Advanced_SAT_Techniques_for_Abstract_Argumentation.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Computational Logic in Multi-Agent Systems},
author = {Wallner, Johannes Peter and Weissenbacher, Georg and Woltran, Stefan},
volume = {8143},
editor = {Leite, Joao and Son, Tran Cao and Torroni, Paolo and Torre, Leon
and Woltran, Stefan},
year = {2013},
pages = {138-154},
}
Powered by bibtexbrowser