7 citations · 32 across the 24 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
Zoran Majkic
Neuro-symbolic AI based on is a way to combine neural learning and symbolic reasoning to overcome limitations of purely neural systems (like lack of interpretability and l…
cs.LO2026
Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
Zoran Majkic
Knowledge representation formalisms are aimed to represent general conceptual information and are typically used in the construction of the knowledge base of reasoning agent. A kno…
math.GM2026
Internal Symmetry Group in Categorial Topology
Zoran Majkic
The interdefinability of the universal concepts of category theory has been introduced by Lawvere. The perfect interdefinability between the objects and arrows of some category, de…