Imagen de Portada

Triadic Concept Analysis for Logic Interpretation of Simple Artificial Networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Schmitt, Ingo
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence Logic in Computer Science I.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
por: Soeteman, Arie, et al.
Publicado: (2025)

Neural Logic Networks for Interpretable Classification
por: Perreault, Vincent, et al.
Publicado: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
por: Jaakkola, Reijo, et al.
Publicado: (2024)

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

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
por: Morris, Matthew, et al.
Publicado: (2025)

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
por: Carr, Lucas, et al.
Publicado: (2024)

The Luna Bound Propagator for Formal Analysis of Neural Networks
por: LeCates, Henry, et al.
Publicado: (2026)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
por: Aniva, Leni, et al.
Publicado: (2024)

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

Learning Concepts Definable in First-Order Logic with Counting
por: van Bergerem, Steffen
Publicado: (2019)

Relative Expressiveness of Defeasible Logics II
por: Maher, Michael J.
Publicado: (2021)

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

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

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
por: Morris, Matthew, et al.
Publicado: (2025)

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
por: Wang, Zili, et al.
Publicado: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
por: Upreti, Nijesh, et al.
Publicado: (2026)

How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics
por: Eelink, Guus, et al.
Publicado: (2025)

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

Comparing Neural Network Encodings for Logic-based Explainability
por: Carvalho, Levi Cordeiro, et al.
Publicado: (2025)

Beyond Prompt Engineering: Neuro-Symbolic-Causal Architecture for Robust Multi-Objective AI Agents
por: Akarlar, Gokturk Aytug
Publicado: (2025)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
por: Damera, Sai Sandeep, et al.
Publicado: (2026)

Learning How to Cube
por: Erata, Ferhat, et al.
Publicado: (2026)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
por: Damera, Sai Sandeep, et al.
Publicado: (2026)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
por: Zhang, Yani, et al.
Publicado: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
por: Nunn, Pierre, et al.
Publicado: (2024)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
por: Tripathi, Satvik
Publicado: (2025)

A Reduction of Input/Output Logics to SAT
por: Steen, Alexander
Publicado: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

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

Relational Graph Convolutional Networks Do Not Learn Sound Rules
por: Morris, Matthew, et al.
Publicado: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
por: Meli, Daniele, et al.
Publicado: (2024)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
por: Steen, Alexander, et al.
Publicado: (2022)

Temporal Many-valued Conditional Logics: a Preliminary Report
por: Alviano, Mario, et al.
Publicado: (2024)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
por: Liu, Bowen, et al.
Publicado: (2026)

Neuro-Symbolic Predictive Process Monitoring
por: Mezini, Axel, et al.
Publicado: (2025)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
por: Yu, Hong Qing
Publicado: (2025)

Dual Box Embeddings for the Description Logic EL++
por: Jackermeier, Mathias, et al.
Publicado: (2023)