Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Computational Models of Argument
PublisherIOS Press, Amsterdam [u. a.]
Pages241-252
Number of pages12
Publication statusPublished - 2014
Peer-reviewedYes

External IDs

Scopus 84940479994