Imagen de Portada

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Harzli, Ouns El, Grau, Bernardo Cuenca, Garcez, Artur d'Avila, Horrocks, Ian, Besold, Tarek R.
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
por: Grau, Bernardo Cuenca, et al.
Publicado: (2025)

Explorations of the Softmax Space: Knowing When the Neural Network Doesn't Know
por: Sikar, Daniel, et al.
Publicado: (2025)

Sufficient Conditions for Stability of Minimum-Norm Interpolating Deep ReLU Networks
por: Harzli, Ouns El, et al.
Publicado: (2026)

FocusLearn: Fully-Interpretable, High-Performance Modular Neural Networks for Time Series
por: Su, Qiqi, et al.
Publicado: (2023)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
por: Wałęga, Przemysław Andrzej, et al.
Publicado: (2026)

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

A Semantic Framework for Neuro-Symbolic Computing
por: Odense, Simon, et al.
Publicado: (2022)

Neurosymbolic Deep Learning Semantics
por: Garcez, Artur d'Avila, et al.
Publicado: (2025)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

Modal Logical Neural Networks
por: Sulc, Antonin
Publicado: (2025)

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

Supervised sparse auto-encoders for interpretable and compositional representations
por: Harzli, Ouns El, et al.
Publicado: (2026)

Modal Logical Neural Networks for Financial AI
por: Sulc, Antonin
Publicado: (2026)

Correspondence Theory for Many-valued Modal Logic
por: Britz, Cecelia, et al.
Publicado: (2024)

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

Contrastive vision-language learning with paraphrasing and negation
por: Ngan, Kwun Ho, et al.
Publicado: (2025)

Educação como processo de iniciação: por uma didática raciovitalista no contexto da pós-modernidade — entrevista com o sociólogo Michel Maffesoli
por: Cristina d'Ávila
Publicado: (2017)

Selection of patients by dentists in a situation where health resources are scarce
por: Sérgio d'Ávila
Publicado: (2012)

A Method to Include Animal Fibre in Dietary Fibre Analysis
por: Sylvie Marie‐Thérèse Jean D'Hooghe, et al.
Publicado: (2025)

Grokking Explained: A Statistical Phenomenon
por: Carvalho, Breno W., et al.
Publicado: (2025)

Large Language Models as Oracles for Ontology Alignment
por: Lushnei, Sviatoslav, et al.
Publicado: (2025)

From Fibre Basket to Fibre Boiler: Climate Change, Bioenergy, and Making Waste in the Political Forest
por: Sinead Earley
Publicado: (2025)

Working memory: Differences between young adults and the aged in listening tasks
por: Maria Isabel d’Ávila Freitas
Publicado: (2007)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
por: Sulc, Antonin
Publicado: (2026)

WARP Logic Neural Networks
por: Gerlach, Lino, et al.
Publicado: (2026)

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

Particle and Fibre Toxicology
Publicado: (2004)

Warming up the Fibres
por: Chakraborty, Dibya, et al.
Publicado: (2025)

Sustainable Fibre Bottles
Publicado: (2025)

Advances in Fibre Production Science in South American Camelids and other Fibre Animals
Publicado: (2020)

Logical Distillation of Graph Neural Networks
por: Pluska, Alexander, et al.
Publicado: (2024)

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

The Logical Expressiveness of Topological Neural Networks
por: Akbari, Amirreza, et al.
Publicado: (2026)

Renato Miguel do Carmo e José Alberto Simões (orgs.) A Produção das Mobilidades: Redes, Espa cialidades e Trajectos Lisboa, Imprensa de Ciências Sociais, 2009, 272 páginas, ISBN: 978-972-671-250-3.
por: Rita d’Ávila Cachado
Publicado: (2012)

A ética médica e a bioética como requisitos do ser moral: ensinando habilidades humanitárias em medicina
por: Roberto Luiz d’Avila
Publicado: (2010)

BRAZILIAN ARMY LEADERSHIP IN MISSION IN HAITI
por: Paolo Rosi d’Ávila
Publicado: (2020)

Normas de gênero em um currículo escolar: a produção dicotômica de corpos e posições de sujeito meninos-alunos
por: Cristina d’Ávila Reis
Publicado: (2014)

A Constituição de Corpos Guerreiros em um Currículo Escolar
por: Cristina d’Ávila Reis
Publicado: (2013)

Special Theory of Relativity for a Graded Index Fibre
por: Saito, Shinichi
Publicado: (2023)

From Latent to Lucid: Transforming Knowledge Graph Embeddings into Interpretable Structures with KGEPrisma
por: Wehner, Christoph, et al.
Publicado: (2024)