Results 3121-3140 of 4369.
Bookmark and Share    
See detailFirst Experiments with a Flexible Infrastructure for Normative Reasoning
Benzmüller, Christoph UL; Parent, Xavier UL

E-print/Working paper (2018)

A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first ... [more ▼]

A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach based on shallow semantical embeddings in meta-logic HOL. The need for such a flexible reasoning infrastructure is motivated and illustrated with a contrary-to-duty example scenario selected from the General Data Protection Regulation. [less ▲]

Detailed reference viewed: 23 (1 UL)
See detailI/O Logic in HOL --- First Steps
Benzmüller, Christoph UL; Parent, Xavier UL

E-print/Working paper (2018)

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the ... [more ▼]

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assistants. The key idea for the solution presented here results from the analysis of an inaccurate previous embedding attempt, which we will discuss as well. [less ▲]

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Kirchner, Daniel; Benzmüller, Christoph UL; Zalta, Edward N.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailSome Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Benzmüller, Christoph UL; Scott, Dana S.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailAxiom Systems for Category Theory in Free Logic
Benzmüller, Christoph UL; Scott, Dana S.

in Archive of Formal Proofs (2018)

Detailed reference viewed: 28 (0 UL)
Full Text
Peer Reviewed
See detailLegal Ontology for Modelling GDPR Concepts and Norms
Palmirani, Monica; Bartolini, Cesare UL; Martoni, Michele et al

in JURIX 2018 proceedings (2018)

Detailed reference viewed: 125 (16 UL)
Full Text
Peer Reviewed
See detailLegal Design Patterns for Privacy
Haapio, Helena; Hagan, Margaret; Palmirani, Monica et al

in Data Protection / LegalTech Proceedings of the 21st International Legal Informatics Symposium IRIS 2018 (2018)

Fulfilling the legal requirements of mandated disclosure is a challenge in many contexts. Privacy communication is no exception, especially for those who seek to effectively inform individuals about the ... [more ▼]

Fulfilling the legal requirements of mandated disclosure is a challenge in many contexts. Privacy communication is no exception, especially for those who seek to effectively inform individuals about the use of their data. Lawyers across countries and industries are facing recurring problems when (re)writing privacy notices and terms. Visual and interactive design patterns have been suggested as the solution, yet our analysis shows that they are lacking on most privacy policies. This indicates the need for standardization and an actionable pattern library, which we propose in this paper. [less ▲]

Detailed reference viewed: 85 (5 UL)
Full Text
See detailCan Computers Help to Sharpen our Understanding of Ontological Arguments?
Benzmüller, Christoph UL; Fuenmayor, David

in Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (2018)

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

in Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (2018)

Detailed reference viewed: 47 (3 UL)
Full Text
Peer Reviewed
See detailWhat is an argument? Nature and necessity of generalized arguments.
Weydert, Emil UL

Scientific Conference (2018)

Detailed reference viewed: 28 (0 UL)
Full Text
Peer Reviewed
See detailConditional Inference Trees - Proxies for real-world arguments
Weydert, Emil UL

Scientific Conference (2018)

Detailed reference viewed: 29 (1 UL)
Full Text
Peer Reviewed
See detailA Deontic Logic Reasoning Infrastructure
Benzmüller, Christoph UL; Parent, Xavier UL; van der Torre, Leon UL

in Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (2018)

A flexible infrastructure for the automation of deontic and normative reasoning is presented. Our motivation is the development, study and provision of legal and moral reasoning competencies in future ... [more ▼]

A flexible infrastructure for the automation of deontic and normative reasoning is presented. Our motivation is the development, study and provision of legal and moral reasoning competencies in future intelligent machines. Since there is no consensus on the “best” deontic logic formalisms and since the answer may be application specific, a flexible infrastructure is proposed in which candidate logic formalisms can be varied, assessed and compared in experimental ethics application studies. Our work thus links the historically rich research areas of classical higher-order logic, deontic logics, normative reasoning and formal ethics. [less ▲]

Detailed reference viewed: 98 (3 UL)
Full Text
Peer Reviewed
See detailComputational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract)
Fuenmayor, David; Benzmüller, Christoph UL

in Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts (2018)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailA walk through a hidden zoo - Semantics for argument and attack strength
Weydert, Emil UL

Scientific Conference (2018)

Detailed reference viewed: 28 (3 UL)
Full Text
See detailABCDE Tutorial LuxLogAI 2018 - Default entailment course
Weydert, Emil UL

Scientific Conference (2018)

Detailed reference viewed: 24 (0 UL)
Full Text
Peer Reviewed
See detailPrOnto: Privacy Ontology for Legal Reasoning
palmirani, monica; Martoni, Michele; Rossi, Arianna UL et al

in International Conference on Electronic Government and the Information Systems Perspective (2018)

Detailed reference viewed: 158 (20 UL)
Full Text
Peer Reviewed
See detailDialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal
Dauphin, Jérémie UL; Satoh, Ken

in International Conference on Principles and Practice of Multi-Agent Systems (2018)

Argumentation is dynamic in nature and most commonly exists in dialogical form between different agents trying to convince each other. While abstract argumentation framework are mostly static, many ... [more ▼]

Argumentation is dynamic in nature and most commonly exists in dialogical form between different agents trying to convince each other. While abstract argumentation framework are mostly static, many studies have focused on dynamical aspects and changes to these static frameworks. An important problem is the one of argument enforcement, modifying an argumentation framework in order to ensure that a certain argument is accepted. In this paper, we use dialogue games to provide an exhaustive list of minimal sets of attacks such that when removed, a given argument is credulously accepted with respect to preferred semantics. We then extend the method to enforce other acceptability statuses and cope with sets of arguments. [less ▲]

Detailed reference viewed: 57 (8 UL)
Full Text
Peer Reviewed
See detailAnnotation of Argument Components in Political Debates Data
Haddadan, Shohreh UL; Cabrio, Elena; Villata, Serena

in Proceedings of the Workshop on Annotation in Digital Humanities (2018)

n this paper, we present the annotation guidelines we defined for annotating arguments in political debates. In our guidelines, we consider each argument as being composed of a claim and one or more ... [more ▼]

n this paper, we present the annotation guidelines we defined for annotating arguments in political debates. In our guidelines, we consider each argument as being composed of a claim and one or more premises. The annotation process has started with defining the guidelines for three annotators containing examples from the data, and continued as cyclic process of evaluation and revision on the annotation to resolve the ambiguities in the guidelines. In this paper, we briefly discuss the resulting annotated dataset and give some examples of the annotation scheme. The quality of the annotated dataset is assessed by computing inter-annotator agreement using Krippendorf’s α coefficient on a portion of the dataset. [less ▲]

Detailed reference viewed: 110 (16 UL)
See detailChallenges and Trends in Enforcing Economic and Financial Crime: Criminal Law and Alternatives in Europe and the US
Ligeti, Katalin UL; Tosza, Stanislaw

in Ligeti, Katalin; Tosza, Stanislaw (Eds.) White Collar Crime. A Comparative Perspective (2018)

This chapter by Katalin Ligeti and Stanislaw Tosza provides a synthesis of the main findings of the book edited by the two authors (White Collar Crime. A Comparative Perspective, Hart Publishing, 2018 ... [more ▼]

This chapter by Katalin Ligeti and Stanislaw Tosza provides a synthesis of the main findings of the book edited by the two authors (White Collar Crime. A Comparative Perspective, Hart Publishing, 2018). The chapter first presents the challenges in investigating and prosecuting economic and financial crime (section II). The analysis of four national systems (France, Poland, Sweden, and the US) complemented by the information provided in the transversal chapters led to the identification of four major tendencies in the field in response to these challenges (section III): the swinging of enforcement strategies between prosecuting individuals or/and corporations (section III.A); the extension of punitive sanctions and the use of compliance programmes as punishment (section III.B); the extensive use of alternatives to criminal proceedings (section III.C); and the increased role of private actors in controlling economic and financial crime (section III.D). In section 4, these responses are scrutinised from the perspective of the human rights regime. [less ▲]

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailQuelle place accorder aux modèles dans l'apprentissage des entiers?
Vlassis, Joëlle UL

Scientific Conference (2018)

Detailed reference viewed: 21 (2 UL)