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 (João 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,
 year={2013},
 booktitle={Computational Logic in Multi-Agent Systems},
 volume={8143},
 series={Lecture Notes in Computer Science},
 editor={Leite, João and Son, Tran Cao and Torroni, Paolo and Torre, Leon and Woltran, Stefan},
 doi={10.1007/978-3-642-40624-9_9},
 title={Advanced SAT Techniques for Abstract Argumentation},
 publisher={Springer Berlin Heidelberg},
 keywords={Abstract Argumentation; Propositional Satisfiability; Argumentation Systems},
 author={Wallner, Johannes Peter and Weissenbacher, Georg and Woltran, Stefan},
 pages={138-154}
}
Powered by bibtexbrowser