Copertina

A Uniform Language to Explain Decision Trees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Arenas, Marcelo, Barcelo, Pablo, Bustamante, Diego, Caraball, Jose, Subercaseaux, Bernardo
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Asymptotically Smaller Encodings for Graph Problems and Scheduling
di: Subercaseaux, Bernardo
Pubblicazione: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
di: Sevilla, Jaime, et al.
Pubblicazione: (2024)

Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
di: Fernandez, Marcelo
Pubblicazione: (2026)

Neurosymbolic Decision Trees
di: Möller, Matthias, et al.
Pubblicazione: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Efficient & Correct Predictive Equivalence for Decision Trees
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

Near-Optimal Encodings of Cardinality Constraints
di: Krapivin, Andrew, et al.
Pubblicazione: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

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

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

Large Language Model for OWL Proofs
di: Yang, Hui, et al.
Pubblicazione: (2026)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
di: Jha, Saurabh, et al.
Pubblicazione: (2026)

Can Large Language Models Autoformalize Kinematics?
di: Kabra, Aditi, et al.
Pubblicazione: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
di: Mugnier, Eric, et al.
Pubblicazione: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
di: Kim, Brian Hyeongseok, et al.
Pubblicazione: (2025)

Enriching Ontologies with Disjointness Axioms using Large Language Models
di: Crum, Elias, et al.
Pubblicazione: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
di: Cheng, Jingde
Pubblicazione: (2025)

Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
di: Junior, Arnaldo de Carvalho, et al.
Pubblicazione: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Automated Reencoding Meets Graph Theory
di: Przybocki, Benjamin, et al.
Pubblicazione: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Regional, Lattice and Logical Representations of Neural Networks
di: Preto, Sandro, et al.
Pubblicazione: (2025)

Query Languages for Machine-Learning Models
di: Grohe, Martin
Pubblicazione: (2026)