SU\G(𝔾)/K·U

Salim Nibouche

Follow

Generating author description...

All published works
Action Title Year Authors
+ Morpho-logic from a topos perspective – application to symbolic AI 2023 Marc Aiguier
Isabelle Bloch
Salim Nibouche
RamĂłn Pino PĂ©rez
+ Morpho-logic from a Topos Perspective: Application to symbolic AI 2023 Marc Aiguier
Isabelle Bloch
Salim Nibouche
RamĂłn Pino PĂ©rez
Common Coauthors
Coauthor Papers Together
RamĂłn Pino PĂ©rez 2
Marc Aiguier 2
Isabelle Bloch 2
Commonly Cited References
Action Title Year Authors # of times referenced
+ Sheaves in Geometry and Logic: A First Introduction to Topos Theory 2018 Saunders MacLane GaldĂłs
Ieke Moerdijk
 1
+ Bi-Heyting algebras, toposes and modalities 1996 Gonzalo E. Reyes
Houman Zolfaghari
 1
+ PDF Chat Categories for the Working Mathematician 1971 Saunders Mac Lane
 1
+ Toposes, triples and theories 1986 Gian‐Carlo Rota
 1
+ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics 2017 Marc Aiguier
Jamal Atif
Isabelle Bloch
CĂ©line Hudelot
 1
+ Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction 2018 Marc Aiguier
Jamal Atif
Isabelle Bloch
RamĂłn Pino PĂ©rez
 1
+ Lecture Notes On Topoi And Quasitopoi 1991 Oswald Wyler
 1