Image de couverture de livre

Argumentative Reasoning with Language Models on Non-factorized Case Bases

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fungwacharakorn, Wachara, Zin, May Myo, Nguyen, Ha-Thanh, Kong, Yuntao, Satoh, Ken
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Layer-of-Thoughts Prompting (LoT): Leveraging LLM-Based Retrieval with Constraint Hierarchies
par: Fungwacharakorn, Wachara, et autres
Publié: (2024)

An Argumentative Explanation Framework for Generalized Reason Model with Inconsistent Precedents
par: Fungwacharakorn, Wachara, et autres
Publié: (2025)

Can Legislation Be Made Machine-Readable in PROLEG?
par: Zin, May-Myo, et autres
Publié: (2026)

Multi-Agent Legal Verifier Systems for Data Transfer Planning
par: Nguyen, Ha-Thanh, et autres
Publié: (2025)

FC-CONAN: An Exhaustively Paired Dataset for Robust Evaluation of Retrieval Systems
par: Junqueras, Juan, et autres
Publié: (2026)

GDPR Auto-Formalization with AI Agents and Human Verification
par: Nguyen, Ha Thanh, et autres
Publié: (2026)

Data Augmented Pipeline for Legal Information Extraction and Reasoning
par: Phuong, Nguyen Minh, et autres
Publié: (2026)

Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning
par: Xue, Jieying, et autres
Publié: (2026)

An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms
par: Fungwacharakorn, Wachara, et autres
Publié: (2024)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2022)

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

Mechanized Analysis of Anselm's Modal Ontological Argument
par: Rushby, John
Publié: (2022)

Slightly Non-Linear Higher-Order Tree Transducers
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
par: Nguyên, Lê Thành Dũng
Publié: (2023)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Deontic Argumentation
par: Governatori, Guido, et autres
Publié: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
par: Arisaka, Ryuta
Publié: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Function spaces for orbit-finite sets
par: Bojańczyk, Mikołaj, et autres
Publié: (2024)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
par: Le, Thanh, et autres
Publié: (2026)

Anonymous Public Announcements
par: Ågotnes, Thomas, et autres
Publié: (2025)

On the complexity of normalization for the planar $λ$-calculus
par: Das, Anupam, et autres
Publié: (2024)

Semantic Foundations of Reductive Reasoning
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
par: Li, Dazhu, et autres
Publié: (2025)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
par: Bagheri, Abdolmahdi, et autres
Publié: (2024)

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
par: Aguilera-Ventura, Carlos, et autres
Publié: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
par: Orvalho, Pedro, et autres
Publié: (2026)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
par: Sevilla, Jaime, et autres
Publié: (2024)

Extensional and Non-extensional Functions as Processes
par: Sakayori, Ken, et autres
Publié: (2024)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
par: Mahmood, Yasir, et autres
Publié: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
par: Ho, Loan, et autres
Publié: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
par: Gladyshev, Maksim, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
par: Caires-Santos, Ali K., et autres
Publié: (2025)