Let F be a totally real field, and v a place of F dividing an odd prime p. We study the weight part of Serre’s conjecture for continuous totally odd representations ρ : GF → GL2(Fp) that are reducible locally at v. Let W be the set of predicted Serre weights for the semisimplification of ρ|GFv . We prove that when ρ|GFv is generic, the Serre weights inW for which ρ is modular are exactly the on...

This paper describes an approach to user configuration of activity awareness. This approach offers users increased flexibility by allowing the use of multiple methods of configuration to be used within a unified framework; these configuration methods can include context, policy rules and automatic techniques of configuring behaviour. In this paper we describe the benefits of this flexibility an...

However, the implication from (1) to (2) is equivalent to the principle of dependent choices (as the reader can show for himself) and cannot be proved in ZF. A relation < on X is called well-founded if any of these statements holds. Intuitionistically, the three statements are far from equivalent (hence, in formalizing an intuitionistic notion of well-foundedness, care is needed). Notion (1) is...

In dialogical argumentation, it is often assumed that the involved parties will always correctly identify the intended statements posited by each other and realize all of the associated relations, conform to the three acceptability states (accepted, rejected, undecided), adjust their views whenever new and correct information comes in, and that a framework handling only attack relations is suff...

This position paper describes our work in application frameworks. Some questions for discussion are also stated and we try to answer them based on either our theoretical studies or our previous experience. Our major research topics are also presented as relevant points to be discussed in the workshop.

Methods of argument representation can be exploited in systems for edemocracy. In this paper we discuss a particular method of argument representation, known as an argumentation scheme, and some issues concerning the relations between arguments represented using such schemes. We show how this method of argument representation has been implemented in a practical system designed for the public to...