Zoran Majkic

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 2

Top Topics

Grounded Semantics

Top Venues

Int. J. Intell. Inf. Database Syst.

Adv. Artif. Intell.

Publications

Zoran Majkic
Intensional First Order Logic for Strong-AI Generation of Robots. CoRR (2022)
Zoran Majkic, Bhanu Prasad
Intensional FOL for reasoning about probabilities and probabilistic logic programming. Int. J. Intell. Inf. Database Syst. 11 (1) (2018)
Zoran Majkic, Bhanu Prasad
Theory of sketches for database mappings. Int. J. Intell. Inf. Database Syst. 9 (1) (2015)
Zoran Majkic
Saturation of the morphisms in the database category. CoRR (2014)
Zoran Majkic
Intensional RDB Manifesto: a Unifying NewSQL Model for Flexible Big Data. CoRR (2014)
Zoran Majkic
Intensional RDB for Big Data Interoperability. CoRR (2014)
Zoran Majkic
Conservative Intensional Extension of Tarski's Semantics. Adv. Artif. Intell. 2013 (2013)
Zoran Majkic
Paraconsistent Logic and Weakening of Intuitionistic Negation. J. Intell. Syst. 21 (3) (2012)
Zoran Majkic
Data Base Mappings and Theory of Sketches CoRR (2011)
Zoran Majkic, Bhanu Prasad
Binary Sequent Calculi for Finite Many-valued Logics. IICAI (2011)
Zoran Majkic
DB Category: Denotational Semantics for View-based Database Mappings CoRR (2011)
Zoran Majkic
Probabilistic Logic: Many-valuedness and Intensionality CoRR (2011)
Zoran Majkic
Matching, Merging and Structural Properties of Data Base Category CoRR (2011)
Zoran Majkic
Data Base Mappings and Monads: (Co)Induction CoRR (2011)
Zoran Majkic
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics CoRR (2011)
Zoran Majkic
Intensionality and Two-steps Interpretations CoRR (2011)
Zoran Majkic
A New Representation Theorem for Many-valued Modal Logics CoRR (2011)
Zoran Majkic
Temporal Probabilistic Logic Programs: State and Revision CoRR (2011)
Zoran Majkic
First-order Logic: Modality and Intensionality CoRR (2011)
Zoran Majkic
On Paraconsistent Weakening of Intuitionistic Negation CoRR (2011)
Zoran Majkic
Reduction of Many-valued into Two-valued Modal Logics CoRR (2011)
Zoran Majkic
Sound and Complete Query Answering in Intensional P2P Data Integration CoRR (2011)
Zoran Majkic, Bhanu Prasad
Kleisli category and database mappings. Int. J. Intell. Inf. Database Syst. 4 (5) (2010)
Zoran Majkic
Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts. IICAI (2009)
Zoran Majkic, Bhanu Prasad
Lukasiewicz's 4-valued logic and normal modal logics. IICAI (2009)
Zoran Majkic
Intensional First-Order Logic for P2P Database Systems. J. Data Semant. 12 (2009)
Zoran Majkic
Autoreferential semantics for many-valued modal logics. J. Appl. Non Class. Logics 18 (1) (2008)
Zoran Majkic
RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems. Enterprise Information Systems and Web Technologies (2008)
Zoran Majkic
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations. J. Multiple Valued Log. Soft Comput. 14 (6) (2008)
Zoran Majkic
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. Notre Dame J. Formal Log. 49 (4) (2008)
Zoran Majkic
Intensional semantics for RDF data structures. IDEAS (2008)
Zoran Majkic
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems. TMFCS (2008)
Zoran Majkic
Abstract Database Category Based on Relational-query Observations. TMFCS (2008)
Zoran Majkic
Observational Logic for Composition of Agents. Artificial Intelligence and Pattern Recognition (2007)
Zoran Majkic
Temporal Probabilistic Logic Programs: State and Revision. Artificial Intelligence and Pattern Recognition (2007)
Zoran Majkic
Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems. IICAI (2007)
Zoran Majkic
Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge. IICAI (2007)
Zoran Majkic
Advanced Semantic WEB for Peer-to-Peer knowledge-bases: Intensional View-based Mapping and Epistemic Independency of Peers. IICAI (2007)
Octavian Udrea, Zoran Majkic, V. S. Subrahmanian
Aggregates in Generalized Temporally Indeterminate Databases. SUM (2007)
Octavian Udrea, V. S. Subrahmanian, Zoran Majkic
Probabilistic RDF. IRI (2006)
Zoran Majkic
Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems. FQAS (2006)
Zoran Majkic
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. WLP (2006)
Zoran Majkic
Intensional Semantics for P2P Data Integration. J. Data Semant. (2006)
Zoran Majkic
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic. ISMVL (2005)
Zoran Majkic
Truth and knowledge fixpoint semantics for many-valued logic programming. W(C)LP (2005)
Zoran Majkic
Plausible Query-Answering Inference in Data Integration. FLAIRS Conference (2005)
Zoran Majkic
Querying with Negation in Data Integration Systems. IDEAS (2005)
Zoran Majkic
Intensional P2P Mappings Between RDF Ontologies. WISE (2005)
Zoran Majkic
Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation. IICAI (2005)
Zoran Majkic
Intensional Logic and Epistemic Independency of Intelligent Database Agents. Wissensmanagement (2005)
Zoran Majkic
Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge. IICAI (2005)
Zoran Majkic
Weakly-coupled ontology integration of P2P database systems. P2PKM (2004)
Zoran Majkic
Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases. IDEAS (2004)
Zoran Majkic
A General Framework for Query Answering in Data Quality-based Cooperative Information Systems. IQIS (2004)
Zoran Majkic
Modal Query Language for Databases with Partial Orders. CoopIS/DOA/ODBASE (1) (2004)
Zoran Majkic
Massive Parallelism for Query Answering in Weakly Integrated P2P Systems. DEXA Workshops (2004)
Zoran Majkic
Fixpoint Semantics for Query Answering in Data Integration Systems. APPIA-GULP-PRODE (2003)