Search
Search Results
-
Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver
Existing proof-generating quantified Boolean formula (QBF) solvers must construct a different type of proof depending on whether the formula is false...
-
Safeguarding human values: rethinking US law for generative AI’s societal impacts
Our interdisciplinary study examines the effectiveness of US law in addressing the complex challenges posed by generative AI systems to fundamental...
-
Explainable AI and Law: An Evidential Survey
Decisions made by legal adjudicators and administrative decision-makers often found upon a reservoir of stored experiences, from which is drawn a...
-
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we...
-
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has...
-
Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model
Zero-Knowledge Proof (ZKP) is a cryptographic technique that enables a prover to convince a verifier that a given statement is true without revealing...
-
The Precautionary Approach Design Pattern
The precautionary approach is a way to manage problems related to the uncertainty of scientific knowledge regarding potential serious harms and to...
-
Exploring explainable AI in the tax domain
This paper analyses whether current explainable AI (XAI) techniques can help to address taxpayer concerns about the use of AI in taxation. As tax...
-
The technology triad: disruptive AI, regulatory gaps and value change
Disruptive technologies can have far-reaching impacts on society. They may challenge or destabilize cherished ethical values and disrupt legal...
-
Methodology for Analyzing the Risk of Algorithmic Discrimination from a Legal and Technical Point of View
Artificial intelligence has been shown in different cases to produce discriminatory situations against vulnerable groups, be it based on gender or...
-
Implementation and Operation of Blockchain-Based Energy Communities Under the New Legal Framework
The current movement within the energy market caused by the need for climate measures along with emerging new technologies leads to an evolution to a...
-
A Proof of Concept Implementation of Explainable Artificial Intelligence (XAI) in Digital Forensics
Explainable Artificial Intelligence (XAI) has been a subject of much research related to its potential to have a transformative impact on industries...
-
Examining the Legal Issues Involved in the Application of Blockchain Technology
In recent years, there has been an increasing application of blockchain technology in varying sectors, ranging from its application in financial...
-
A Scalable and Secure Consensus Scheme Based on Proof of Stake in Blockchain
As a decentralized database, the public blockchain has broad application prospects in many fields such as finance, healthcare, and supply chain, so...
-
Legal Protection of Blockchain from the Perspective of the Cybersecurity Law: Legislation and Practice of China
Blockchain security has become a new cybersecurity legal issue. Cybersecurity Law of the People’s Republic of China provides overall legal protection...
-
Machine learning in bail decisions and judges’ trustworthiness
The use of AI algorithms in criminal trials has been the subject of very lively ethical and legal debates recently. While there are concerns over the...
-
Automated Analysis with Event Log Enrichment of the European Public Procurement Processes
The length and extension of legal processes are two of the main problems of contemporary justice. Adopting process analysis techniques can serve to...
-
Knowledge mining and social dangerousness assessment in criminal justice: metaheuristic integration of machine learning and graph-based inference
One of the main challenges for computational legal research is drawing up innovative heuristics to derive actionable knowledge from legal documents....
-
Recommendations for a smart toy parental control tool
Current smart toy parental control tools offered by toy companies do not adequately support parents in protecting their children. Moreover, there is...
-
More or less discrimination? Practical feasibility of fairness auditing of technologies for personnel selection
The use of technologies in personnel selection has come under increased scrutiny in recent years, revealing their potential to amplify existing...
