Copertina

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Horner, Elias, Mateis, Cristinel, Governatori, Guido, Ciabattoni, Agata
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence Computers and Society Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deontic Argumentation
di: Governatori, Guido, et al.
Pubblicazione: (2025)

Judicial Permission
di: Governatori, Guido, et al.
Pubblicazione: (2025)

Weak Permission is not Well-Founded, Grounded and Stable
di: Governatori, Guido
Pubblicazione: (2024)

Declarative Scenario-based Testing with RoadLogic
di: Bartocci, Ezio, et al.
Pubblicazione: (2026)

Explainability by design: an experimental analysis of the legal coding process
di: Cristani, Matteo, et al.
Pubblicazione: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks
di: Constant, Axel, et al.
Pubblicazione: (2024)

Extending Defeasibility for Propositional Standpoint Logics
di: Leisegang, Nicholas, et al.
Pubblicazione: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

Equitable Access to Justice: Logical LLMs Show Promise
di: Kant, Manuj, et al.
Pubblicazione: (2024)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
di: Cao, Chuxue, et al.
Pubblicazione: (2025)

Defeasible Conditionals using Answer Set Programming
di: Dennison, Racquel, et al.
Pubblicazione: (2026)

Defeasible Reasoning on Concepts
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

Deontic Temporal Logic for Formal Verification of AI Ethics
di: V., Priya T., et al.
Pubblicazione: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
di: Gupta, Gopal, et al.
Pubblicazione: (2025)

Relative Expressiveness of Defeasible Logics II
di: Maher, Michael J.
Pubblicazione: (2021)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
di: Zhou, Yujun, et al.
Pubblicazione: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
di: Alamdari, Parand A., et al.
Pubblicazione: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
di: Contreras, Ricardo, et al.
Pubblicazione: (2025)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
di: Mensfelt, Agnieszka, et al.
Pubblicazione: (2024)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
di: Ganguly, Debargha, et al.
Pubblicazione: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
di: Li, Yitian, et al.
Pubblicazione: (2024)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
di: Huang, Tianyi, et al.
Pubblicazione: (2026)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
di: Miyashita, Hisashi, et al.
Pubblicazione: (2026)

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
di: Wang, Olivia Peiyu, et al.
Pubblicazione: (2026)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
di: Gandarela, João Pedro, et al.
Pubblicazione: (2024)

Question Answering with LLMs and Learning from Answer Sets
di: Borroto, Manuel, et al.
Pubblicazione: (2025)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
di: Kalyanpur, Aditya, et al.
Pubblicazione: (2024)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
di: Yubeaton, Patrick, et al.
Pubblicazione: (2025)

Dyadic obligations: proofs and countermodels via hypersequents
di: Ciabattoni, Agata, et al.
Pubblicazione: (2024)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)