Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA. In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning. In particular, we develop non-trivial counterexample-guided abstraction refinement procedures based on incremental ASP solving for these tasks. We also show empirically that the procedures are significantly more effective than previously proposed algorithms for the tasks.

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.

Treatment-resistant depression (TRD) represents a significant challenge for physicians. About one third of patients with major depressive disorder fail to experience sufficient symptom improvement despite adequate treatment. Despite this high occurrence of TRD there was no general consensus on diagnosis criteria for TRD until 1997 when researchers proposed a model of defining and staging TRD. In 1999, others defined operational criteria for the definition of TRD. Treatment of TRD is commonly separated into pharmacologic and nonpharmacologic methods. This review gives a short overview of these two methods. The nonpharmacologic methods include psychotherapy, electroconvulsive therapy, and vagus nerve stimulation. Pharmacologic methods include switching to another antidepressant monotherapy, and augmentation or combination with two or more antidepressants or other agents. This review especially focuses on the augmentation of the antidepressant therapy with atypical antipsychotics.

Lands in south-central Chile, long thought to have been marginal until the Spanish conquest, are here shown to have been developing complex societies between at least AD 1000 and 1500. Part of the motor was provided by coastland cultivation on raised platforms, here identified and surveyed for the first time. The authors date the field systems and suggest that they were introduced by farmers from the north seeking wetlands in the face of increasing aridity in the central Andes and southern Amazon.