Modal Logics of Reactive Frames

in Studia Logica (2009)

A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics ... [more ▼]

A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One op- erator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques. [less ▲]

Loday infinity category and 'stem' differential for 2n-ary graded and homotopy algebras

Presentation (2009)

Strongly homotopy Leibniz algebras

Scientific Conference (2009)

White Manipulation in Judgment Aggregation

Scientific Conference (2009)

Distributive systems consisting of autonomous and intelligent components need to be able to reason and make decisions based on the information these components share. Judgment aggregation investigates how ... [more ▼]

Distributive systems consisting of autonomous and intelligent components need to be able to reason and make decisions based on the information these components share. Judgment aggregation investigates how individual judgments on logically connected propositions can be aggregated into a collective judgment on the same propositions. It is the case that seemingly reasonable aggregation procedures may force the group to hold an inconsistent judgment set. What happens when the agents realize that the group outcome will be inconsistent? We claim that, in order to avoid an untenable collective outcome, individuals may prefer to declare a non-truthful, less preferred judgment set. Thus, the prospect of an individual trying to manipulate the social outcome by submitting an insincere judgment set is turned from being an undesirable to a “virtuous” (or white) manipulation. We define white manipulation and present the initial study of it as a coordinated action of the whole group. [less ▲]

Jugendsprachliche Schriftlichkeit auf Luxemburgisch in den Neuen Medien

in Berg, Charles; Kerger, Lucien; Milmeister, Marianne (Eds.) Savoirs et engagements. Hommage à Georges Wirtgen (2009)

What is the public role of the university? A proposal for a public research agenda.

in European Educational Research Journal (2009), 8(2), 250-255

First steps in EL contraction

Scientific Conference (2009)

Mondialisation du travail et pluralité des marchés du travail : L’exemple du Luxembourg

in XIIièmes Journées Internationales de Sociologie du Travail (2009)

Professionalisierung sozialer Hilfeleistungen: Entwicklungslinien und Zukunftsperspektiven der Ausbildung Sozialer Arbeit

in Handbuch der sozialen und erzieherischen Arbeit in Luxemburg / Manuel de l'intervention sociale et éducative au Grand-Duché de Luxembourg (2009)

Analysis and Visualisation of Project Structure using Linkography: Focussing Project Risk Management

in Proceedings of the ASME 2009 International Design Engineering Technical Conferences & 21st International Conference on Design Theory and Methodology IDETC/DTM 2009 (2009)

Product development projects are difficult to plan due to complexity, dynamics, lack of transparency and polytely. Risk Management is often used to cope with this situation. Linkography is adapted with ... [more ▼]

Product development projects are difficult to plan due to complexity, dynamics, lack of transparency and polytely. Risk Management is often used to cope with this situation. Linkography is adapted with the aim to ease the effort of the Risk Management process. Linkography is used to focus all Risk Management activities on those work packages which might affect the project the most in the case of failing the expected outcome. The criticality of a work package is defined by the number of links to other work packages, its duration and its costs. By applying Linkography as a Risk Management method, a prioritized list of work packages can be generated which pass consecutively through the usual Risk Management process. Unlike other methods, Linkography supports the user in a visual manner. Hence, Linkography can easily be used for communication with unskilled stakeholders. [less ▲]