References of "CEUR Workshop Proceedings"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailMining and Reasoning with Legal Texts – MIREL 2019
Casini, Giovanni UL; Di Caro, Luigi; Governatori, Guido et al

in CEUR Workshop Proceedings (2020)

Detailed reference viewed: 70 (2 UL)
Full Text
Peer Reviewed
See detailSecurity and Privacy in Resource-Constrained Devices
Chiara, Pier Giorgio UL

in CEUR Workshop Proceedings (2020), 2598

Recent adversarial attacks have been shown IoT devices weaknesses due to their limited computing power. Given also their ubiquitous presence, lower costs and limitations in keeping security measures up ... [more ▼]

Recent adversarial attacks have been shown IoT devices weaknesses due to their limited computing power. Given also their ubiquitous presence, lower costs and limitations in keeping security measures up-todate, resource-constrained devices represent a growing risk for the security of IT infrastructure. The scope of the research is to investigate the weaknesses of resource-constrained IoT devices. The methodology for the investigation is the legal analysis of existing legal frameworks regulating IoT cybersecurity and data security; afterwards it will be carried out a critical evaluation of the existing best practices. This critical analysis should face the twofold challenge of increasing transparency and trust in resource-constrained systems. Users and companies are two faces of the same coin: accountability of data collectors and user awareness are crucial in the security and data protection debate. Thus, a comprehensive overview of the relevant legal frameworks and guidelines would increase the understanding of risks of the users, whilst data controllers (especially of small and medium enterprises) may have an instrument to implement properly security measures. [less ▲]

Detailed reference viewed: 158 (5 UL)
Full Text
Peer Reviewed
See detailARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
Benzmüller, Christoph UL; Otten, Jens

in CEUR Workshop Proceedings (2018), 2095

Detailed reference viewed: 53 (0 UL)
Full Text
Peer Reviewed
See detailDirectionality of Attacks in Natural Language Argumentation
Cramer, Marcos UL; Guillaume, Mathieu UL

in CEUR Workshop Proceedings (2018)

In formal (abstract and structured) argumentation theory, a central notion is that of an attack between a counterargument and the argument that it is challenging. Unlike the notion of an inconsistency ... [more ▼]

In formal (abstract and structured) argumentation theory, a central notion is that of an attack between a counterargument and the argument that it is challenging. Unlike the notion of an inconsistency between two statements in classical logic, this notion of an attack between arguments can be asymmetric, i.e. an argument A can attack an argument B without B attacking A. While this property of the formal systems studied by argumentation theorist has been motivated by considerations about the human practice of argumentation in natural language, there have not been any systematic studies on the connection between the directionality of attacks in argumentation-theoretic formalisms and the way humans actually interpret conflicts between arguments in a non-symmetric way. In this paper, we report on the result of two empirical cognitive studies that aim at filling this gap, one study with ordinary adults (undergraduate students) and one study with adult experts in formal argumentation theory. We interpret the results in light of the notions and distinctions defined in the ASPIC+ framework for structured argumentation, and discuss the relevance of our findings to past and future empirical studies about the link between human argumentation and formal argumentation theory. [less ▲]

Detailed reference viewed: 89 (0 UL)
Full Text
Peer Reviewed
See detailSystem Demonstration: The Higher-Order Prover Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

in CEUR Workshop Proceedings (2018), 2095

Detailed reference viewed: 49 (15 UL)
Full Text
Peer Reviewed
See detailProceedings of the Third Conference on Digital Humanities in Luxembourg with a Special Focus on Reading Historical Sources in the Digital Age
Wieneke, Lars UL; Jones, Catherine UL; During, Marten UL et al

in CEUR workshop proceedings (2016)

DHLU 2013 was co-organised by the Centre Virtuel de la Connaissance sur l’Europe (CVCE), together with the Jean Monnet Chair in History of European Integration (University of Luxembourg, FLSHASE) and its ... [more ▼]

DHLU 2013 was co-organised by the Centre Virtuel de la Connaissance sur l’Europe (CVCE), together with the Jean Monnet Chair in History of European Integration (University of Luxembourg, FLSHASE) and its research programme ‘Digital Humanities Luxembourg’ — DIHULUX (research unit Identités-Politiques- Sociétés-Espaces (IPSE)) as well as the University of Luxembourg’s Master’s in Contemporary European History. Its aim was to bring together likeminded researchers with a vested interest in the topic of “Reading historical sources in the digital age”. [less ▲]

Detailed reference viewed: 351 (62 UL)
Full Text
Peer Reviewed
See detailBenchmarX
Anjorin, Anthony; Cunha, Alcino; Giese, Holger et al

in CEUR Workshop Proceedings (2014, March 28), 1133

Bidirectional transformation (BX) is a very active area of research interest. There is not only a growing body of theory, but also a rich set of tools supporting BX. The problem now arises that there is ... [more ▼]

Bidirectional transformation (BX) is a very active area of research interest. There is not only a growing body of theory, but also a rich set of tools supporting BX. The problem now arises that there is no commonly agreed-upon suite of tests or benchmarks that shows either the conformance of tools to theory, or the performance of tools in particular BX scenarios. This paper sets out to improve the state of affairs in this respect, by proposing a template and a set of required criteria for benchmark descriptions, as well as guide- lines for the artifacts that should be provided for each included test. As a proof of concept, the paper additionally provides a detailed description of one concrete benchmark. [less ▲]

Detailed reference viewed: 82 (6 UL)