Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn Rational Entailment for Propositional Typicality Logic
Booth, Richard; Casini, Giovanni UL; Meyer, Thomas et al

in Artificial Intelligence (in press)

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or ... [more ▼]

Propositional Typicality Logic (PTL) is a recently proposed logic, ob- tained by enriching classical propositional logic with a typicality opera- tor capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferen- tial reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibil- ity theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we in- vestigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality. [less ▲]

Detailed reference viewed: 32 (0 UL)
Peer Reviewed
See detailPolitical Food Communication. Contrasting Food Governance Claims via Labelling Schemes and priorities of private and professional consumers
Reckinger, Rachel UL; Kapgen, Diane UL; Korjonen, Maria Helena UL

in Godeman, Jasmin; Bartelmeß (Eds.) Handbuch Ernährungskommunikation. Interdisziplinäre Perspektiven im Kontext von Nachhaltigkeit (in press)

Political food communication may take many forms, including direct recommendations to public institutions and private households (cf. Reckinger/Régnier 2017), or more indirect labelling schemes that ... [more ▼]

Political food communication may take many forms, including direct recommendations to public institutions and private households (cf. Reckinger/Régnier 2017), or more indirect labelling schemes that certify various types of quality – from sustainable via nutritious to ethical. The underlying governance claims differ in those cases: in the first one, priority is given to analytical, top-down information to procurement actors and to individuals of a given population; in the second one, action is rather taken in the direction of food production and transformation, be it top-down or participatory, with an associated effort to make the communicated guarantees transparent to consumers. In this article, we will analyse in a praxeological perspective the contrasting governance claims that structure a selection of labelling schemes in contemporary Luxembourg: official ones (such as organic produce, among others), voluntary and regional ones, international ones, as well as supermarket brands blurring boundaries and using overlaps of several labels. We will compare the guarantees and transparency that labels tend to offer in the socio-ecological, socioeconomic, sociocultural and socio-political dimensions of food certification, viewed as a potentially enabling or disabling form of food communication. At the same time, we will examine the potential of these aids for individual consumers’ priorities and public procurement actors’ legal framework in selecting foodstuffs with added sustainable or ethical value, asking the question if such certifications are efficient tools of food communication and ultimately of an enhanced food literacy in an arena of potentially conflicting and crowded messages. [less ▲]

Detailed reference viewed: 20 (1 UL)
Full Text
Peer Reviewed
See detailThe EU Administrative Institutions, Their Law and Legal Scholarship
Mendes, Joana UL

in Cane, Peter; Hoffman, Herwig; Lindseth, Peter (Eds.) Oxford Handbook on Comparative Administrative Law (in press)

The chapter approaches the EU administrative institutions as catalysts of the development of administrative law of the European Union. As a chapter of the Oxford Handbook on Comparative Administrative Law ... [more ▼]

The chapter approaches the EU administrative institutions as catalysts of the development of administrative law of the European Union. As a chapter of the Oxford Handbook on Comparative Administrative Law, it explains the main traits of those institutions, how legal scholarship has portrayed them and how it has addressed the core aspects of their legal regimes. Furthermore, it traces the emergence and current state of EU administrative law, characterising the different roles comparative administrative law has had at different stages. It highlights the initial dissonance between the specificities of the EU administrative institutions and the state-matrix of general principles that were developed on the basis of functional comparison; the role of legal scholarship in shaping EU administrative law, in its efforts to give effect to an “utopia” (Chiti, 2007) of an integrated administration constitutionally framed by general principles and fundamental rights; the limits of resorting to comparative administrative law in the context of EU integration and, briefly, the crossroads at which EU administrative law currently stands. [less ▲]

Detailed reference viewed: 71 (0 UL)
Full Text
See detailReinforcing citizens’ participation by reforming European commission public consultations
Kies, Raphaël UL

in Alemanno, Alberto; Oregan, James (Eds.) Democratic Participation in a Citizen's Europe: What next for the EU? (in press)

In this chapter, I would like to draw some lessons from the failed attempts of democratization of the EU by proposing some guidelines that should be followed in order to envision a realistic deliberative ... [more ▼]

In this chapter, I would like to draw some lessons from the failed attempts of democratization of the EU by proposing some guidelines that should be followed in order to envision a realistic deliberative and inclusive transformation of the EU-decision making process. By following their spirits, I will propose an ambitious renovation of the public consultation regime of the EU Commission, the only institutionalized system of public consultation enshrined in the EU Treaties that however most of the citizens are not aware of. This is an idea that I first presented in at the conference at the World Bank (Kies 2016) and that has since then been discussed and presented in the report commissioned by the European Economic and Social Committee (Lironi and Peta 2017), the European Parliament (Korthagen et al. 2018) and is presently discussed within the European Court of Auditors. [less ▲]

Detailed reference viewed: 24 (1 UL)
Full Text
See detailThe Principle of Transparency and Access to Documents in the EU: for what, for whom, and of what?
Mendes, Joana UL

in Auby, Jean-Bernard; Jacqueline, Dutheil de la Rochère (Eds.) Traité de Droit Administratif (in press)

Written as a chapter for the third edition of the Traité de Droit Administratif Européen, directed by Jacqueline Dutheil de la Rochère and Jean Bernard Auby (Bryulant, forthcoming), this paper ... [more ▼]

Written as a chapter for the third edition of the Traité de Droit Administratif Européen, directed by Jacqueline Dutheil de la Rochère and Jean Bernard Auby (Bryulant, forthcoming), this paper characterizes transparency as an ambivalent principle of EU law and governance, serving both a functional and a democratic rationale. The analysis focuses on the right of access to documents, a right whose scope and democratic function very much depend on who requests and on the interpretation of the exceptions to access. While the former is a matter of practice, the latter is essentially the result of the main approaches that the Court of Justice of the European Union (CJEU) has followed hitherto: strict interpretation and application of the exceptions, on the one hand, and general presumptions of non-disclosure, on the other. The paper presents both. It argues that, while much criticized in the literature as contrary to the democratic function of the regulation on access to documents, general presumptions of non-disclosure merit a more nuanced analysis. They can be, under restricted circumstances, a way to protect the democratic function of the citizen’s right to access. Yet, the uncertain and evolving criteria for the establishment of a general presumption of non-disclosure have effectively carved out whole categories of documents from the possibility of access, insulating significant sections of EU public action from the pressure of democratic claims. Overall, the right of access to documents, as ancillary to a principle of democracy, has a limited capacity to change the nature of the polity and of the system of governance in which it is embedded. [less ▲]

Detailed reference viewed: 57 (0 UL)
Full Text
Peer Reviewed
See detailThe Foundations of the Duty to Give Reasons and a Normative Reconstruction
Mendes, Joana UL

in Fisher, Elizabeth; King, Jeff; Young, Alison (Eds.) The Foundations and Future of Public Law (in press)

Despite operating in highly constrained legal environments, executive actors may act in a constitutive capacity. This observation prompts a critical assessment of the role of procedural principles in EU ... [more ▼]

Despite operating in highly constrained legal environments, executive actors may act in a constitutive capacity. This observation prompts a critical assessment of the role of procedural principles in EU administrative law. As norms of conduct deployed by executive bodies during the process of norm concretization, procedural principles may have legal dimensions that, while constitutionally relevant, may not come to the fore in judicial review. The chapter develops this argument with regard to the multifaceted character of the duty to give reasons. It argues that, as a norm of conduct, the duty to give reasons ought to ensure the constitutional embeddedness of the constitutive action of EU executive bodies. Such role is consistent both with the original relevance of the duty to give reasons to the law of integration (in the context of the European Coal and Steel Community) and with the current EU constitutional framework. The latter justifies reinstituting the original constitutional function of the duty to give reasons, irrespective of its current scope in the context of judicial review. [less ▲]

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailModel Checking MITL formulae on Timed Automata: a Logic-Based Approach
Menghi, Claudio UL; Bersani, Marcello; Rossi, Matteo et al

in ACM Transactions on Computational Logic (in press)

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for ... [more ▼]

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for checking whether the behaviours of a system satisfy a set of properties of interest. Even if efficient model-checkers for Timed Automata exist, these tools are not easily configurable. First, they are not designed to easily allow adding new Timed Automata constructs, such as new synchronization mechanisms or communication procedures, but they assume a fixed set of Timed Automata constructs. Second, they usually do not support the Metric Interval Temporal Logic (MITL) and rely on a precise semantics for the logic in which the property of interest is specified which cannot be easily modified and customized. Finally, they do not easily allow using different solvers that may speed up verification in different contexts. This paper presents a novel technique to perform model checking of Metric Interval Temporal Logic (MITL) properties on TA. The technique relies on the translation of both the TA and the MITL formula into an intermediate Constraint LTL over clocks (CLTLoc) formula which is verified through an available decision procedure. The technique is flexible since the intermediate logic allows the encoding of new semantics as well as new TA constructs, by just adding new CLTLoc formulae. Furthermore, our technique is not bound to a specific solver as the intermediate CLTLoc formula can be verified using different procedures. [less ▲]

Detailed reference viewed: 80 (7 UL)
Full Text
See detailLearning in transition: Erasmus+ as an opportunity for internationalization
Samuk, Sahizer UL; Nienaber, Birte UL; Kmiotek, Emilia Alicja UL et al

in Cairns, David (Ed.) The Palgrave Handbook of Youth Mobility (in press)

Erasmus+ has diversified its benefits for young people to learn and thrive via mobility in the last 30 years. How does Erasmus+ serve young people? We conducted 10 semi-structured interviews with young ... [more ▼]

Erasmus+ has diversified its benefits for young people to learn and thrive via mobility in the last 30 years. How does Erasmus+ serve young people? We conducted 10 semi-structured interviews with young people (aged between 18-29) in Luxembourg, Norway and Romania. Firstly, these young people feel that their identity changes as they internationalise and they travel more after the Erasmus+ experience. Hence, Erasmus+ is an eye opener. Secondly, employment, volunteering or training activities under Erasmus+ become a door-opener increasing young people’s chances of finding jobs. Thirdly, Erasmus+ does not end when the mobility ends: a new life style is adopted and nostalgia with the Erasmus+ leads to feeling at “home” in international environments. All these three aspects can be defined as Erasmus-isation encapsulated within a life-long perspective. [less ▲]

Detailed reference viewed: 54 (3 UL)
Full Text
Peer Reviewed
See detailEpistemological, critical and reflexive gymnastics: constructing research in "former Yugoslavia" in the face of the coloniality of knowledge
Blondel, Cyril UL

in Aiken, Gerald Taylor; Button, Cat (Eds.) Over-researched places (in press)

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and ... [more ▼]

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and Reconciliation Injunctions” (Ph.D. thesis, Tours, Université François-Rabelais, 2016). Using auto-ethnographic methods, this article demonstrates a conviction, the necessity to engage with a reflexive and critical approach, before, during, and after the production of research. I show first how I built the thesis’ epistemological approach, by progressively deconstructing classical theoretical frameworks (nationalist, postsocialist, post-Yugoslav). I expose and discuss then the outcomes of such a reflexivity, in particular how I gradually became conscious of the coloniality of (my) knowledge. These mental gymnastics allowed me to occasionally overcome – but regularly report on – the limits of my research, but also to recognize the unsurpassibility of certain aspects of my work connected to the situation in which I stated and conducted it. Reflecting on epistemological reflexivity contributes to clarifying scientific (in)validity of research, and better situates researcher’s arguments, their position and positionality. [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailOn the Spectral and Energy Efficiencies of Full-Duplex Cell-Free Massive MIMO
Nguyen, Hieu V.; Nguyen, van Dinh UL; Dobre, Octavia A. et al

in IEEE Journal on Selected Areas in Communications (in press)

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference ... [more ▼]

In-band full-duplex (FD) operation is practically more suited for short-range communications such as WiFi and small-cell networks, due to its current practical limitations on the self-interference cancellation. In addition, cell-free massivemultiple-input multiple-output (CF-mMIMO) is a new and scalable version of MIMO networks, which is designed to bring service antennas closer to end user equipments (UEs). To achieve higher spectral and energy efficiencies (SE-EE) of a wireless network, it is of practical interest to incorporate FD capability into CF-mMIMO systems to utilize their combined benefits. We formulate a novel and comprehensive optimization problem for the maximization of SE and EE in which power control, access point-UE (AP-UE) association and AP selection are jointly optimized under a realistic power consumption model, resulting in a difficult class of mixed-integer nonconvex programming. To tackle the binary nature of the formulated problem, we propose an efficient approach by exploiting a strong coupling between binary and continuous variables, leading to a more tractable problem. In this regard, two low-complexity transmission designs based on zero-forcing (ZF) are proposed. Combining tools from inner approximation framework and Dinkelbach method, we develop simple iterative algorithms with polynomial computational complexity in each iteration and strong theoretical performance guaranteed. Furthermore, towards a robust design for FD CFmMIMO, a novel heap-based pilot assignment algorithm is proposed to mitigate effects of pilot contamination. Numerical results show that our proposed designs with realistic parameters significantly outperform the well-known approaches (i.e., smallcell and collocated mMIMO) in terms of the SE and EE. Notably, the proposed ZF designs require much less execution time than the simple maximum ratio transmission/combining. [less ▲]

Detailed reference viewed: 74 (9 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander UL; Benzmüller, Christoph UL

in Proceedings of the 24th European Conference on Artificial Intelligence (in press)

Detailed reference viewed: 22 (0 UL)
Full Text
Peer Reviewed
See detailBlockchain Governance: An Overview and Prediction of Optimal Strategies Using Nash Equilibrium
Khan, Nida UL; Ahmad, Tabrez; Patel, Anass et al

in 3rd AUE International Research Conference (in press)

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this ... [more ▼]

Blockchain governance is a subject of ongoing research and an interdisciplinary view of blockchain governance is vital to aid in further research for establishing a formal governance framework for this nascent technology. In this paper, the position of blockchain governance within the hierarchy of Institutional governance is discussed. Blockchain governance is analyzed from the perspective of IT governance using Nash equilibrium to predict the outcome of different governance decisions. A payoff matrix for blockchain governance is created and simulation of different strategy profiles is accomplished for computation of all Nash equilibria. We also create payoff matrices for different kinds of blockchain governance, which were used to propose novel mathematical formulae usable to predict the best governance strategy that minimizes the occurrence of a hard fork as well as predicts the behavior of the majority during protocol updates. [less ▲]

Detailed reference viewed: 154 (10 UL)
Peer Reviewed
See detailWüllner, Adolf
Krebs, Stefan UL; Tschacher, Werner UL

in Neue Deutsche Biographie, Bd. 28 (in press)

Detailed reference viewed: 14 (0 UL)
See detailTranskultureller Theaterschauplatz: Grenzen und die Odyssee Fliehender – Interdisziplinäre Überlegungen
Nonoa, Koku Gnatuloma UL; Heinicke, Julius

Book published by Walter de Gruyter (in press)

Detailed reference viewed: 52 (0 UL)
See detailGegenkulturelle Tendenzen im postdramatischen Theater
Nonoa, Koku Gnatuloma UL

Doctoral thesis (in press)

Detailed reference viewed: 21 (1 UL)
See detailEléonora Miano et son concept de l´identité frontière au théâtre
Nonoa, Koku Gnatuloma UL

in Borst, Julia; Neu-Wendel, Stephanie; Tauchnitz, Juliane (Eds.) et al Unerhörte Stimmen aus der Afro-Romania Genderdiskurse im Kontext von Selbst- und Fremdwahrnehmung „nach“ der Migration (in press)

Detailed reference viewed: 48 (1 UL)
Peer Reviewed
See detailReconceptualizing the Multilingual Child: Curriculum Construction in Luxembourg
Sattler, Sabrina UL

in Curriculum Studies Worldwide (in press)

Detailed reference viewed: 38 (9 UL)
Full Text
Peer Reviewed
See detailExtending maps to profinite completions in finitely generated quasivarieties
Teheux, Bruno UL; Hansoul, Georges

in Beiträge zur Algebra und Geometrie (in press)

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of ... [more ▼]

We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map. [less ▲]

Detailed reference viewed: 38 (3 UL)
Full Text
Peer Reviewed
See detailLocal Verlet buffer approach for broad-phase interaction detection in Discrete Element Method
Mainassara Chekaraou, Abdoul Wahid UL; Besseron, Xavier UL; Rousset, Alban UL et al

in Computer Physics Communications (in press)

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical ... [more ▼]

The Extended Discrete Element Method (XDEM) is a novel and innovative numerical simulation technique that extends the dynamics of granular materials or particles as described through the classical discrete element method (DEM) by additional properties such as the thermodynamic state, stress/strain for each particle. Such DEM simulations used by industries to set up their experimental processes are complexes and heavy in computation time. Those simulations perform at each time step a collision detection to generate a list of interacting particles that is one of the most expensive computation parts of a DEM simulation. The Verlet buffer method, which was first introduced in Molecular Dynamic (MD) (and is also used in DEM) allows to keep the interaction list for many time step by extending each particle neighborhood by a certain extension range, and thus broadening the interaction list. The method relies mainly on the stability of the DEM, which ensures that no particles move erratically or unpredictably from one time step to the next: this is called temporal coherency. In the classical and current approach, all the particles have their neighborhood extended by the same value which leads to suboptimal performances in simulations where different flow regimes coexist. Additionally, and unlike in MD (which remains very different from DEM on several aspects), there is no comprehensive study analyzing the different parameters that affect the performance of the Verlet buffer method in DEM. In this work, we apply a dynamic neighbor list update method that depends on the particles' individual displacement, and an extension range specific to each particle and based on their local flow regime for the generation of the neighbor list. The update of the interaction list is analyzed throughout the simulation based on the displacement of the particle allowing a flexible update according to the flow regime conditions. We evaluate the influence of the Verlet extension range on the performance of the execution time through different test cases and we empirically analyze and define the extension range value giving the minimum of the global simulation time. [less ▲]

Detailed reference viewed: 69 (30 UL)