iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/argcom/DillerWW15.xml
Martin Diller Johannes Peter Wallner Stefan Woltran Reasoning in abstract dialectical frameworks using quantified Boolean formulas. 149-177 2015 6 Argument Comput. 2 https://doi.org/10.1080/19462166.2015.1036922 db/journals/argcom/argcom6.html#DillerWW15