English
Related papers

Related papers: Computer Assisted Access to Justice via Formal Jur…

200 papers

Given a specific query case, legal case retrieval systems aim to retrieve a set of case documents relevant to the case at hand. Previous studies on user behavior analysis have shown that information retrieval (IR) systems can significantly…

Information Retrieval · Computer Science 2023-10-10 Beining Wang , Ruizhe Zhang , Yueyue Wu , Qingyao Ai , Min Zhang , Yiqun Liu

Cyber risk assessment is a fundamental activity for enhancing the protection of an organization, identifying and evaluating the exposure to cyber threats. Currently, this activity is carried out mainly manually and the identification and…

Cryptography and Security · Computer Science 2022-07-08 Marco Angelini , Silvia Bonomi , Alessandro Palma

Encoding legislative text in a formal representation is an important prerequisite to different tasks in the field of AI & Law. For example, rule-based expert systems focused on legislation can support laypeople in understanding how…

Computation and Language · Computer Science 2023-11-10 Samyar Janatian , Hannes Westermann , Jinzhe Tan , Jaromir Savelka , Karim Benyekhlef

Industrial inspection automation in aerospace presents numerous challenges due to the dynamic, information-rich and regulated aspects of the domain. To diagnose the condition of an aircraft component, expert inspectors rely on a significant…

Human-Computer Interaction · Computer Science 2021-01-15 Garrick Cabour , Élise Ledoux , Samuel Bassetto

This paper proposes a knowledge-based legal document assembly method that uses a machine-readable representation of knowledge of legal professionals. This knowledgebase has two components - the formal knowledge of legal norms represented as…

Software Engineering · Computer Science 2020-09-15 Marko Marković , Stevan Gostojić

Legal argumentation is a vital cornerstone of justice, underpinning an adversarial form of law, and extensive research has attempted to augment or undertake legal argumentation via the use of computer-based automation including Artificial…

Computers and Society · Computer Science 2020-09-24 Lance Eliot

In the contemporary landscape of social media, an alarming number of users express negative emotions, some of which manifest as strong suicidal intentions. This situation underscores a profound need for trained psychological counselors who…

Artificial Intelligence · Computer Science 2023-08-30 Guanghui Fu , Qing Zhao , Jianqiang Li , Dan Luo , Changwei Song , Wei Zhai , Shuo Liu , Fan Wang , Yan Wang , Lijuan Cheng , Juan Zhang , Bing Xiang Yang

The justice system has increasingly employed AI techniques to enhance efficiency, yet limitations remain in improving the quality of decision-making, particularly regarding transparency and explainability needed to uphold public trust in…

Artificial Intelligence · Computer Science 2024-12-30 Cong Jiang , Xiaolei Yang

As digitalization and cloud technologies evolve, the web is becoming increasingly important in the modern society. Autonomous web agents based on large language models (LLMs) hold a great potential in work automation. It is therefore…

Artificial Intelligence · Computer Science 2025-10-09 Tianci Xue , Weijian Qi , Tianneng Shi , Chan Hee Song , Boyu Gou , Dawn Song , Huan Sun , Yu Su

Since real-world legal experiments are often costly or infeasible, simulating legal societies with Artificial Intelligence (AI) systems provides an effective alternative for verifying and developing legal theory, as well as supporting legal…

Artificial Intelligence · Computer Science 2025-10-29 Yiding Wang , Yuxuan Chen , Fanxu Meng , Xifan Chen , Xiaolei Yang , Muhan Zhang

This work proposes a formal abductive explanation framework designed to systematically uncover rationales underlying AI predictions of mental health help-seeking within tech workplace settings. By computing rigorous justifications for model…

Artificial Intelligence · Computer Science 2026-03-17 Belona Sonna , Alain Momo , Alban Grastien

Regulatory frameworks for the use of AI are emerging. However, they trail behind the fast-evolving malicious AI technologies that can quickly cause lasting societal damage. In response, we introduce a pioneering Assistive AI framework…

This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…

Logic in Computer Science · Computer Science 2017-04-14 Garry Pantelis

The use of argumentation in education has been shown to improve critical thinking skills for end-users such as students, and computational models for argumentation have been developed to assist in this process. Although these models are…

Computation and Language · Computer Science 2023-07-31 Camélia Guerraoui , Paul Reisert , Naoya Inoue , Farjana Sultana Mim , Shoichi Naito , Jungmin Choi , Irfan Robbani , Wenzhi Wang , Kentaro Inui

As Large Language Models (LLMs) are proposed as legal decision assistants, and even first-instance decision-makers, across a range of judicial and administrative contexts, it becomes essential to explore how they answer legal questions, and…

Artificial Intelligence · Computer Science 2026-04-30 Oisin Suttle , David Lillis

Legal reasoning requires both precise interpretation of statutory language and consistent application of complex rules, presenting significant challenges for AI systems. This paper introduces a modular multi-agent framework that decomposes…

Artificial Intelligence · Computer Science 2025-11-11 Albert Sadowski , Jarosław A. Chudziak

The language used by US courtroom actors in criminal trials has long been studied for biases. However, systematic studies for bias in high-stakes court trials have been difficult, due to the nuanced nature of bias and the legal expertise…

Computation and Language · Computer Science 2024-07-30 Andrea W Wen-Yi , Kathryn Adamson , Nathalie Greenfield , Rachel Goldberg , Sandra Babcock , David Mimno , Allison Koenecke

While large language models (LLMs) are increasingly used to summarize long documents, this trend poses significant challenges in the legal domain, where the factual accuracy of deposition summaries is crucial. Nugget-based methods have been…

Computation and Language · Computer Science 2026-01-22 Naghmeh Farzi , Laura Dietz , Dave D. Lewis

This thesis addresses the problem of providing trusted individuals with confidential information about other individuals, in particular, granting access to databases of personal records using the World-Wide Web. It proposes an access rights…

Cryptography and Security · Computer Science 2007-05-23 Walter Eaves

Current fairness metrics and mitigation techniques provide tools for practitioners to asses how non-discriminatory Automatic Decision Making (ADM) systems are. What if I, as an individual facing a decision taken by an ADM system, would like…

Computers and Society · Computer Science 2025-04-04 Juliett Suárez Ferreira , Marija Slavkovik , Jorge Casillas