7 citations · 32 across the 24 of their papers we have counts for
Showing cs.AIShow 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.AI2024
Intensional FOL: Many-Sorted Extension
Zoran Majkic
The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Inte…
cs.AI2022
Strong-AI Autoepistemic Robots Build on Intensional First Order Logic
Zoran Majkic
Neuro-symbolic AI attempts to integrate neural and symbolic architectures in a manner that addresses strengths and weaknesses of each, in a complementary fashion, in order to suppo…