7 citations · 32 across the 24 of their papers we have counts for
11 papers · 1 filter
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…
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
Zoran Majkic
AGI (Strong AI) aims to create intelligent robots that are quasi indistinguishable from the human mind. Like a child, the AGI robot would have to learn through input and experience…
Saturation of the morphisms in the database category
Zoran Majkic
In this paper we present the problem of saturation of a given morphism in the database category DB, which is the base category for the functiorial semantics of the database schema…
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
Zoran Majkic
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new \emph{binary…
Temporal Probabilistic Logic Programs: State and Revision
Zoran Majkic
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for va…
Intensionality and Two-steps Interpretations
Zoran Majkic
In this paper we considered the extension of the First-order Logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term 'intension' derives from the tra…