English
Related papers

Related papers: Modelling Value-oriented Legal Reasoning in LogiKE…

200 papers

Computational argumentation offers formal frameworks for transparent, verifiable reasoning but has traditionally been limited by its reliance on domain-specific information and extensive feature engineering. In contrast, LLMs excel at…

Artificial Intelligence · Computer Science 2026-03-18 Stylianos Loukas Vasileiou , Antonio Rago , Francesca Toni , William Yeoh

Recent advances in large language models (LLMs) have significantly enhanced automated legal reasoning. Yet, it remains unclear whether their performance reflects genuine legal reasoning ability or artifacts of data contamination. We present…

Artificial Intelligence · Computer Science 2026-05-18 Parisa Kordjamshidi , Samer Aslan , Madhavan Seshadri , Leslie Barrett , Enrico Santus

Cognitive science often evaluates theories through narrow paradigms and local model comparisons, limiting the integration of evidence across tasks and realizations. We introduce an automated adversarial collaboration framework for…

Artificial Intelligence · Computer Science 2026-04-29 Suyog Chandramouli , George Kachergis , Akshay Jagadish

The need to explain the output from Machine Learning systems designed to predict the outcomes of legal cases has led to a renewed interest in the explanations offered by traditional AI and Law systems, especially those using factor based…

Artificial Intelligence · Computer Science 2021-06-29 Trevor Bench-Capon

Training large language models (LLMs) with synthetic reasoning data has become a popular approach to enhancing their reasoning capabilities, while a key factor influencing the effectiveness of this paradigm is the quality of the generated…

Artificial Intelligence · Computer Science 2026-03-24 Zhuojie Yang , Wentao Wan , Keze Wang

We introduce a novel conceptual Case Frame model that represents the content of cases involving statutory interpretation within civil law frameworks, accompanied by an associated argument scheme enriched with critical questions. By…

Symbolic Computation · Computer Science 2024-11-12 Michal Araszkiewicz

Organizations developing machine learning-based (ML) technologies face the complex challenge of achieving high predictive performance while respecting the law. This intersection between ML and the law creates new complexities. As ML model…

Computers and Society · Computer Science 2025-04-25 Mathias Hanson , Gregory Lewkowicz , Sam Verboven

Reasoning is key to many decision making processes. It requires consolidating a set of rule-like premises that are often associated with degrees of uncertainty and observations to draw conclusions. In this work, we address both the case…

Computation and Language · Computer Science 2024-10-15 Timo Pierre Schrader , Lukas Lange , Simon Razniewski , Annemarie Friedrich

Quantitative reasoning is a higher-order reasoning skill that any intelligent natural language understanding system can reasonably be expected to handle. We present EQUATE (Evaluating Quantitative Understanding Aptitude in Textual…

Computation and Language · Computer Science 2019-10-29 Abhilasha Ravichander , Aakanksha Naik , Carolyn Rose , Eduard Hovy

Artificial Neural Networks are powerful function approximators capable of modelling solutions to a wide variety of problems, both supervised and unsupervised. As their size and expressivity increases, so too does the variance of the model,…

Neural and Evolutionary Computing · Computer Science 2018-01-26 Richard Evans , Edward Grefenstette

While large language models (LLMs) have demonstrated impressive capabilities across various natural language processing tasks by acquiring rich factual knowledge from their broad training data, their ability to synthesize and logically…

Computation and Language · Computer Science 2024-07-31 Tianshi Zheng , Jiaxin Bai , Yicheng Wang , Tianqing Fang , Yue Guo , Yauwai Yim , Yangqiu Song

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process…

Artificial Intelligence · Computer Science 2020-02-13 Cristina Cornelio , Veronika Thost

The goal of imitation learning is to mimic expert behavior without access to an explicit reward signal. Expert demonstrations provided by humans, however, often show significant variability due to latent factors that are typically not…

Machine Learning · Computer Science 2017-11-16 Yunzhu Li , Jiaming Song , Stefano Ermon

Large Language Models (LLMs) have demonstrated notable capabilities across various tasks, showcasing complex problem-solving abilities. Understanding and executing complex rules, along with multi-step planning, are fundamental to logical…

Artificial Intelligence · Computer Science 2024-10-15 Jiayi Gui , Yiming Liu , Jiale Cheng , Xiaotao Gu , Xiao Liu , Hongning Wang , Yuxiao Dong , Jie Tang , Minlie Huang

In current Large Language Models we can trust the production of smoothly flowing prose on the basis of the principles of machine learning. However, there is no comparably principled basis to justify trust in the content of the text…

Artificial Intelligence · Computer Science 2026-05-15 Leslie G. Valiant

The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions stemming from their behavior or decisions. These systems must be designed to comply with the human contexts in which…

Artificial Intelligence · Computer Science 2024-10-01 Nicolas Troquard , Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione , Gian Luca Scoccia

Automated negotiation in complex, multi-party and multi-issue settings critically depends on accurate opponent modeling. However, conventional numerical-only approaches fail to capture the qualitative information embedded in natural…

A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic ALCP that is designed for representing context-dependent knowledge, where the…

Artificial Intelligence · Computer Science 2016-07-01 Rafael Peñaloza , Nico Potyka

Information design (ID) explores how a sender influence the optimal behavior of receivers to achieve specific objectives. While ID originates from everyday human communication, existing game-theoretic and machine learning methods often…

Computer Science and Game Theory · Computer Science 2025-02-04 Wenhao Li , Yue Lin , Xiangfeng Wang , Bo Jin , Hongyuan Zha , Baoxiang Wang

Situational awareness, the capacity of an AI system to recognize its own nature, understand its training and deployment context, and reason strategically about its circumstances, is widely considered among the most dangerous emergent…

Artificial Intelligence · Computer Science 2026-03-11 Subramanyam Sahoo , Aman Chadha , Vinija Jain , Divya Chaudhary