Last 7 days
Bookmark and Share    
Peer Reviewed
See detailApproche psycho-sociale de l’évolution et de la portée de la médiation
Houssemand, Claude UL

Scientific Conference (2017, May)

Detailed reference viewed: 9 (0 UL)
Peer Reviewed
See detailLe processus de médiation et son issue à la croisée des dimensions psychologiques
Ben Mrad, Fathi; Pignault, Anne UL; Houssemand, Claude UL

Scientific Conference (2017, May)

Detailed reference viewed: 8 (1 UL)
Full Text
See detailHyperbolic ends with particles and grafting on singular surfaces
chen, qiyu; Schlenker, Jean-Marc UL

E-print/Working paper (2017)

We prove that any hyperbolic end with particles (cone singularities along infinite curves of angles less than π) admits a unique foliation by constant Gauss curvature surfaces. Using a form of duality ... [more ▼]

We prove that any hyperbolic end with particles (cone singularities along infinite curves of angles less than π) admits a unique foliation by constant Gauss curvature surfaces. Using a form of duality between hyperbolic ends with particles and convex globally hyperbolic maximal (GHM) de Sitter spacetime with particles, it follows that any convex GHM de Sitter spacetime with particles also admits a unique foliation by constant Gauss curvature surfaces. We prove that the grafting map from the product of Teichm\"uller space with the space of measured laminations to the space of complex projective structures is a homeomorphism for surfaces with cone singularities of angles less than π, as well as an analogue when grafting is replaced by "smooth grafting". [less ▲]

Detailed reference viewed: 5 (0 UL)
See detailUniversal Reasoning, Rational Argumentation and Human-Machine Interaction
Benzmüller, Christoph UL

E-print/Working paper (2017)

Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is well suited for realising a universal logic reasoning ... [more ▼]

Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is well suited for realising a universal logic reasoning approach. Universal logic reasoning in turn, as envisioned already by Leibniz, may support the rigorous formalisation and deep logical analysis of rational arguments within machines. A respective universal logic reasoning framework is described and a range of exemplary applications are discussed. In the future, universal logic reasoning in combination with appropriate, controlled forms of rational argumentation may serve as a communication layer between humans and intelligent machines. [less ▲]

Detailed reference viewed: 3 (0 UL)
Full Text
See detailLocal History: "Frauen: Denk mal"
Ganschow, Inna UL

Article for general public (2017)

Die Stadt Luxemburg scheint ihr Stadtbild durch den Wechsel von eng be- bauten Straßenzügen und offenen Plätzen, Wohnvierteln und Parks, Banken und Rasenflächen in ein harmonisches Gleichgewicht ... [more ▼]

Die Stadt Luxemburg scheint ihr Stadtbild durch den Wechsel von eng be- bauten Straßenzügen und offenen Plätzen, Wohnvierteln und Parks, Banken und Rasenflächen in ein harmonisches Gleichgewicht bringen zu wollen. Eine der Methoden, Übergänge zwischen bebautem und freiem Raum zu kreieren oder auch ein Zuviel an „Luft“ zu füllen, ist ein Denkmal, das die Leere des Raums geschickt ausbalanciert. Außerdem erfüllte es außer der dekorativen schon immer auch eine erzieherische Funktion: Es sichert Erinnerungswerte, schreibt bestimmte Beispiele ins Gedächtnis der Nachkommen ein. Die „Gëlle Fra“, Charlotte und Amalia sind nur einige der bekannteren Frauen- denkmäler der Stadt, die uns die Vorfahren – und Vorfahrinnen – hinterlassen haben. Betrachten wir die weiblichen Gestalten näher. [less ▲]

Full Text
Peer Reviewed
See detailThe Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph UL; Steen, Alexander et al

in The 2nd World Congress on Logic and Religion -- Book of Abstracts (2017)

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailArgumentation-based Methodology for Goal-oriented Requirements Language (GRL)
Ghanavati, Sepideh; Van Zee, Marc UL; Bex, Floris

in Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), Essen, Germany, June 12-13, 2017. (2017)

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the ... [more ▼]

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the rationale behind selecting certain goals or alternatives. However, it does not have any means to document and trace back all of the arguments that occur during the stakeholder’s discussion process. To address this, we have developed the RationalGRL framework. RationalGRL combines techniques for formal argumentation from artificial intelligence with goal modeling in GRL. However, we did not specify how practitioners can actually use this framework. In this paper we discuss the methodology for RationalGRL, which consists of two processes, goal modeling and argumentation, that can be done interchangeably. We motivate our approach with an example. [less ▲]

Detailed reference viewed: 2 (0 UL)
Peer Reviewed
See detailPRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017 Proceedings
An, Bo; Bazzan, Ana L. C.; Leite, João et al

Scientific Conference (2017)

Detailed reference viewed: 2 (0 UL)
Full Text
Peer Reviewed
See detailPrioritized Norms in Formal Argumentation
Liao, Beishui UL; Oren, Nir; van der Torre, Leon UL et al

in CoRR (2017), abs/1709.08034

To resolve conflicts among norms,various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In ... [more ▼]

To resolve conflicts among norms,various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical abstract normative system, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles respectively, and Optimization can be represented by introducing additional defeats capturing implicit conflicts between arguments. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailA partial taxonomy of judgment aggregation rules and their properties
Lang, Jér Ome; Pigozzi, Gabriella; Slavkovik, Marija et al

in Social Choice and Welfare (2017), 48(2), 327--356

The literature on judgment aggregation is moving from studying impossibility results regarding aggregation rules towards studying specific judgment aggregation rules. Here we give a structured list of ... [more ▼]

The literature on judgment aggregation is moving from studying impossibility results regarding aggregation rules towards studying specific judgment aggregation rules. Here we give a structured list of most rules that have been proposed and studied recently in the literature, together with various properties of such rules. We first focus on the majority-preservation property, which generalizes Condorcet-consistency, and identify which of the rules satisfy it. We study the inclusion relationships that hold between the rules. Finally, we consider two forms of unanimity, monotonicity, homogeneity, and reinforcement, and we identify which of the rules satisfy these properties. [less ▲]

Detailed reference viewed: 2 (0 UL)
Full Text
Peer Reviewed
See detailThe Principle-Based Approach to Abstract Argumentation Semantics
van der Torre, Leon UL; Vesic, Srdjan

in IfCoLog Journal of Logics and their Applications (2017)

The principle-based or axiomatic approach is a methodology to choose an argumentation semantics for a particular application, and to guide the search for new argumentation semantics. This article gives a ... [more ▼]

The principle-based or axiomatic approach is a methodology to choose an argumentation semantics for a particular application, and to guide the search for new argumentation semantics. This article gives a complete classification of the fifteen main alternatives for argumentation semantics using the twenty-seven main principles discussed in the literature on abstract argumentation, extending Baroni and Giacomin’s original classification with other semantics and principles proposed in the literature. It also lays the foundations for a study of representation and (im)possibility results for abstract argumentation, and for a principle-based approach for extended argumentation such as bipolar frameworks, preference-based frameworks, abstract dialectical frameworks, weighted frameworks, and input/output frameworks. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailRational Enterprise Architecture
van der Torre, Leon UL; Van Zee, Marc UL

in Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I (2017)

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates ... [more ▼]

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates strategic goals into an IT strategy. Typically there are a large number of stakeholders with conflicting views, communicating plans of action, and explaining decisions instead of making them. An enterprise architecture considers qualitative before quantitative data, has stronger business focus than other disciplines, and politics, emotions, and soft skills play a bigger role than in other areas. We view a plan abstractly as a sequence of commitments in time, and each commitment in the plan may come with a number of underlying assumptions. If these underlying assumptions change, then parts of the plan may require revision, which in turn may invalidate other parts of the plan, and so on. Therefore, assumptions have an inherently non-monotonic character: they are assumed to be true, unless it becomes clear they are false. This is related to the resource-boundedness of enterprise architecture: an enterprise architect cannot always know all of the assumptions, especially for long term plans. [less ▲]

Detailed reference viewed: 2 (0 UL)
Full Text
Peer Reviewed
See detailDefense semantics of argumentation: encoding reasons for accepting arguments
Liao, Beishui UL; van der Torre, Leon UL

in CoRR (2017), abs/1705.00303

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we ... [more ▼]

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with a new notion of defense equivalence of argument graphs, and compare defense equivalence with standard equivalence and strong equivalence, respectively. Then, based on defense semantics, we define two kinds of reasons for accepting arguments, i.e., direct reasons and root reasons, and a notion of root equivalence of argument graphs. Finally, we show how the notion of root equivalence can be used in argumentation summarization. [less ▲]

Detailed reference viewed: 2 (0 UL)
Full Text
Peer Reviewed
See detailModel-driven situational awareness for moving target defense
Jhawar, Ravi UL; Mauw, Sjouke UL

in Scanlon, Marc; Le-Khac, Nhien-An (Eds.) Proc. 16th European Conference on Cyber Warfare and Security (2017)

Moving Target Defense (MTD) presents dynamically changing attack surfaces and system configurations to attackers. This approach decreases the success probabilities of attacks and increases attacker's ... [more ▼]

Moving Target Defense (MTD) presents dynamically changing attack surfaces and system configurations to attackers. This approach decreases the success probabilities of attacks and increases attacker's workload since she must continually re-assess, re-engineer and re-launch her attacks. Existing research has provided a number of MTD techniques but approaches for gaining situational awareness and deciding when/how to apply these techniques are not well studied. In this paper, we present a conceptual framework that closely integrates a set of models with the system and obtains up-to-date situational awareness following the OODA loop methodology. To realize the framework, as the first step, we propose a modelling approach that provides insights about the dynamics between potential attacks and defenses, impact of attacks and adaptations on the system, and the state of the system. Based on these models, we demonstrate techniques to quantitatively assess the effectiveness of MTD and show how to formulate decision-making problems. [less ▲]

Detailed reference viewed: 9 (0 UL)
Peer Reviewed
See detail"Weisst Du auch, wie das auf Deutsch heisst?" Ethnographie der Mehrsprachigkeit in bilingualen Kindertagesstätten der Westschweiz
Brandenberg, Kathrin; Kuhn, Melanie; Neumann, Sascha UL et al

in Stenger, Ursula; Edelmann, Doris; Nolte, David (Eds.) et al Diversität in der Pädagogik der frühen Kindheit. Im Spannungsfeld zwischen Konstruktion und Normativität (2017)

Detailed reference viewed: 11 (2 UL)
Full Text
Peer Reviewed
See detailUsing Ontologies to Model Data Protection Requirements in Workflows
Bartolini, Cesare UL; Muthuri, Robert; Cristiana, Santos

in Otake, Mihoko; Kurahashi, Setsuya; Ota, Yuiko (Eds.) et al New Frontiers in Artificial Intelligence (2017)

Data protection, currently under the limelight at the European level, is undergoing a long and complex reform that is finally approaching its completion. Consequently, there is an urgent need to customize ... [more ▼]

Data protection, currently under the limelight at the European level, is undergoing a long and complex reform that is finally approaching its completion. Consequently, there is an urgent need to customize semantic standards towards the prospective legal framework. The aim of this paper is to provide a bottom-up ontology describing the constituents of data protection domain and its relationships. Our contribution envisions a methodology to highlight the (new) duties of data controllers and foster the transition of IT-based systems, services, tools and businesses to comply with the new General Data Protection Regulation. This structure may serve as the foundation for the design of data protection compliant information systems. [less ▲]

Detailed reference viewed: 7 (1 UL)
Full Text
Peer Reviewed
See detailThe Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study
Razo-Zapata, Iván S.; Ma, Qin UL; Kaczmarek-Heß, Monika et al

in 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 2: Workshop Papers (2017)

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailCritical features of autonomous road transport from the perspective of technological regulation and law
Bartolini, Cesare UL; Tettamanti, Tamás; István, Varga

in Transportation Research Procedia (2017), 27

Autonomous vehicular technology significantly stresses the issue of safety. Although the use of driverless cars raises considerable expectations of a general improvement in safety, new challenges ... [more ▼]

Autonomous vehicular technology significantly stresses the issue of safety. Although the use of driverless cars raises considerable expectations of a general improvement in safety, new challenges concerning the safety aspects stem from the changing context. On the one and, the paper addresses regulatory issues raised by the impact of technological changes, particularly standardization problems. On the other hand, the issue of liability questions is investigated as it might cause today’s main legal obstacle for the wide spreading of autonomous cars, especially as autonomous cars might jeopardize the existing approaches to vehicular liability. The aim of this paper is to scrutinize the basic problems in both fields. We provide what, at the current state-of-the-art, appear to be reasonable recommendations from the perspective of technological regulation and law, in order to deal with the main problems that might hamper the development of autonomous transport technology. [less ▲]

Detailed reference viewed: 14 (2 UL)