Results 3141-3160 of 4397.
Bookmark and Share    
Full Text
Peer Reviewed
See detailFormalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph UL

in Archive of Formal Proofs (2018)

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has ... [more ▼]

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence. [less ▲]

Detailed reference viewed: 55 (0 UL)
See detailAmsterdam Healthy Weight Programme (AHWP) part of the Health Equity Pilot Project
Brookes, Chris; Korjonen, Maria Helena UL

Report (2018)

The Amsterdam Healthy Weight Programme was established in 2013 by the Amsterdam Municipality in order to give every child ‘a healthy childhood and future, regardless of their start in life'1 . The overall ... [more ▼]

The Amsterdam Healthy Weight Programme was established in 2013 by the Amsterdam Municipality in order to give every child ‘a healthy childhood and future, regardless of their start in life'1 . The overall objective is to achieve a healthy weight for all children in Amsterdam by 2033. The programme is a universal programme aiming to impact on children across Amsterdam by changing some of the environmental drivers of obesity, but targeted to those neighbourhoods with the highest proportion of overweight and obese children, and those schools with the highest proportion of overweight or obese pupils. The programme is also targeted at those children with the risk factor for obesity of lower income or education parents, and parents of non-Dutch origin. It has both preventative aspects as well as offering support and advice for those children and their parents/carers who are already overweight and obese. From the point of view of addressing health inequalities is interesting both because it has a particular focus on more [less ▲]

Detailed reference viewed: 35 (0 UL)
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: 15 (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: 48 (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: 29 (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: 99 (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)