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/conf/comma/DillerWW14.rdf
Martin Diller et al.: Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. (2014) conf/comma/DillerWW14 10.3233/978-1-61499-436-7-241 Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. 3 Martin Diller 1 Johannes Peter Wallner 2 Stefan Woltran 3 241-252 COMMA COMMA 2014 2014 provenance information for RDF data of dblp record 'conf/comma/DillerWW14' 2017-05-23T01:12:16+0200