Preprocessing Argumentation Frameworks via Replacement Patterns

A fast-growing research direction in the study of formal argumentation is the development of practical systems for central reasoning problems underlying argumentation. In particular, numerous systems for abstract argumentation frameworks (AF solvers) are available today, covering several argumentation semantics and reasoning tasks. Instead of proposing another algorithmic approach for AF solving, we introduce in this paper distinct AF preprocessing techniques as a solver-independent approach to obtaining performance improvements of AF solvers. We establish a formal framework of replacement patterns to perform local simplifications that are faithful with respect to standard semantics for AFs. Moreover, we provide a collection of concrete replacement patterns. Towards potential applicability, we employ the patterns in a preliminary empirical evaluation of their influence on AF solver performance.Peer reviewe

Kahn Process Networks and a Reactive Extension

Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-continuous functions on data streams together with an implementation model of independent asynchronous sequential programs communicating through FIFO buffers with blocking read and non-blocking write operations. The two are related by the Kahn Principle which states that a realization according to the implementation model behaves as predicted by the mathematical function. Additional steps are required to arrive at an actual implementation of a KPN to take care of scheduling of independent processes on a single processor and to manage communication buffers. Because of the expressiveness of the KPN model, buffer sizes and schedules cannot be determined at design time in general and require dynamic run-time system support. Constraints are discussed that need to be placed on such system support so as to maintain the Kahn Principle.We then discuss a possible extension of the KPN model to include the possibility for sporadic, reactive behavior which is not possible in the standard model. The extended model is called Reactive Process Networks. We introduce its semantics, look at analyzability and at more constrained data-flow models combined with reactive behavior

Effectiveness of behavioural graded activity compared with physiotherapy treatment in chronic neck pain: design of a randomised clinical trial [ISRCTN88733332]

BACKGROUND: Chronic neck pain is a common complaint in the Netherlands with a point prevalence of 14.3%. Patients with chronic neck pain are often referred to a physiotherapist and, although many treatments are available, it remains unclear which type of treatment is to be preferred. The objective of this article is to present the design of a randomised clinical trial, Ephysion, which examines the clinical and cost effectiveness of behavioural graded activity compared with a physiotherapy treatment for patients with chronic non-specific neck pain. METHODS: Eligible patients with non-specific neck pain persisting longer than 3 months will be randomly allocated to either the behavioural graded activity programme or to the physiotherapy treatment. The graded activity programme is based on an operant approach, which uses a time-contingent method to increase the patient's activity level. This treatment is compared with physiotherapy treatment using a pain-contingent method. Primary treatment outcome is the patient's global perceived effect concerning recovery from the complaint. Global perceived effect on daily functioning is also explored as primary outcome to establish the impact of treatment on daily activity. Direct and indirect costs will also be assessed. Secondary outcomes include the patient's main complaints, pain intensity, medical consumption, functional status, quality of life, and psychological variables. Recruitment of patients will take place up to the end of the year 2004 and follow-up measurement will continue until end 2005

Interactions between waves, bank erosion and emergent vegetation: An experimental study in a wave tank

Contains fulltext : 29063.pdf (publisher's version ) (Open Access