B04BB3E2-80AF-41B8-841D-C98B54E7E1B1Scrutable Autonomous SystemsResearch GrantEP/J012084/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL853797653D6F92-28D9-47CB-B817-B7EA00FD6F04A QBF-based formalization of abstract argumentation semanticsJournal of Applied Logicd62bfc623f16d4ca7d8777f814942ce6Arieli O2013-01-01http://dx.doi.org/10.1016/j.jal.2013.03.009http://dx.doi.org/10.1016/j.jal.2013.03.0092Journal Article/Reviewdoi_53cff7ff7d25260d