Buchumschlag

A Uniform Language to Explain Decision Trees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arenas, Marcelo, Barcelo, Pablo, Bustamante, Diego, Caraball, Jose, Subercaseaux, Bernardo
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Asymptotically Smaller Encodings for Graph Problems and Scheduling
von: Subercaseaux, Bernardo
Veröffentlicht: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
von: Sevilla, Jaime, et al.
Veröffentlicht: (2024)

Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
von: Fernandez, Marcelo
Veröffentlicht: (2026)

Near-Optimal Encodings of Cardinality Constraints
von: Krapivin, Andrew, et al.
Veröffentlicht: (2026)

Neurosymbolic Decision Trees
von: Möller, Matthias, et al.
Veröffentlicht: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
von: Xu, Lyris, et al.
Veröffentlicht: (2025)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

Probabilistic Explanations for Linear Models
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Efficient & Correct Predictive Equivalence for Decision Trees
von: Marques-Silva, Joao, et al.
Veröffentlicht: (2025)

Automated Reencoding Meets Graph Theory
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

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

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations
von: Barceló, Pablo, et al.
Veröffentlicht: (2025)

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

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

Can Large Language Models Autoformalize Kinematics?
von: Kabra, Aditi, et al.
Veröffentlicht: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
von: Mugnier, Eric, et al.
Veröffentlicht: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
von: Cheng, Jingde
Veröffentlicht: (2025)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
von: Junior, Arnaldo de Carvalho, et al.
Veröffentlicht: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)