Imagen de Portada

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jaakkola, Reijo, Janhunen, Tomi, Kuusisto, Antti, Rankooh, Masood Feyzbakhsh, Vilander, Miikka
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence Logic in Computer Science I.2.6; F.4.1; I.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Interpretable classifiers for tabular data via discretization and feature selection
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Logic interpretations of ANN partition cells
por: Schmitt, Ingo
Publicado: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
por: Cate, Balder ten, et al.
Publicado: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
por: Huang, Xuanxiang, et al.
Publicado: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
por: Catta, Davide, et al.
Publicado: (2026)

A Sequent Calculus for General Inductive Definitions
por: Eede, Robbe Van den, et al.
Publicado: (2026)

Locality in Residuated-Lattice Structures
por: Carr, James
Publicado: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Robust Computation Tree Logic
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
por: Galimullin, Rustam, et al.
Publicado: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
por: Filho, Francisco Mateus Rocha, et al.
Publicado: (2024)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
por: Mustafa, Daham, et al.
Publicado: (2026)

Comparing State-Representations for DEL Model Checking
por: Behnke, Gregor, et al.
Publicado: (2025)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
por: Lucas, Tom, et al.
Publicado: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
por: Galimullin, Rustam, et al.
Publicado: (2026)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
por: Júnior, Antônio Carlos Souza Ferreira, et al.
Publicado: (2024)

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
por: Nicolau, Marcio, et al.
Publicado: (2020)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
por: Arndt, Dörthe, et al.
Publicado: (2025)

Neural networks as fuzzy logic formulas
por: Heiman, Damian, et al.
Publicado: (2026)

TPTP World Infrastructure for Non-classical Logics
por: Steen, Alexander, et al.
Publicado: (2025)

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
por: Weitkämper, Felix
Publicado: (2022)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
por: Tsamoura, Efthymia, et al.
Publicado: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
por: Jung, Jean Christoph, et al.
Publicado: (2023)

Varieties of Distributed Knowledge
por: Galimullin, Rustam, et al.
Publicado: (2025)

Definite Descriptions and Hybrid Tense Logic
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
por: Phawade, Ramchandra, et al.
Publicado: (2026)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
por: Leonhart, Emma
Publicado: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
por: Wemmenhove, Jelle, et al.
Publicado: (2024)

Provably Correct Systems: Community, connections, and citations
por: Bowen, Jonathan P.
Publicado: (2015)

Graph neural networks and MSO
por: Ahvonen, Veeti, et al.
Publicado: (2025)

LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
por: Li, Shenghao
Publicado: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

Formal Verification of Diffusion Auctions
por: Galimullin, Rustam, et al.
Publicado: (2025)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
por: Zhang, Liao, et al.
Publicado: (2024)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
por: Ceragioli, Leonardo, et al.
Publicado: (2025)