We stand with Ukraine

We stand with Ukraine

Zoran Majkic

According to our database¹, Zoran Majkic authored at least 59 papers between 2003 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on geocities.com

On csauthors.net:

Bibliography

2024

Intensional FOL: Many-Sorted Extension.

[BibT_eX]

[DOI]

CoRR, 2024

2022

Intensional First Order Logic for Strong-AI Generation of Robots.

[BibT_eX]

[DOI]

CoRR, 2022

2018

Intensional FOL for reasoning about probabilities and probabilistic logic programming.

[BibT_eX]

[DOI]

,

Int. J. Intell. Inf. Database Syst., 2018

2015

Theory of sketches for database mappings.

[BibT_eX]

[DOI]

,

Int. J. Intell. Inf. Database Syst., 2015

2014

Big Data Integration Theory - Theory and Methods of Database Mappings, Programming Languages, and Semantics

[BibT_eX]

[DOI]

Texts in Computer Science, Springer, ISBN: 978-3-319-04155-1, 2014

Saturation of the morphisms in the database category.

[BibT_eX]

[DOI]

CoRR, 2014

Intensional RDB for Big Data Interoperability.

[BibT_eX]

[DOI]

CoRR, 2014

Intensional RDB Manifesto: a Unifying NewSQL Model for Flexible Big Data.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Conservative Intensional Extension of Tarski's Semantics.

[BibT_eX]

[DOI]

Adv. Artif. Intell., 2013

2012

Paraconsistent Logic and Weakening of Intuitionistic Negation.

[BibT_eX]

[DOI]

J. Intell. Syst., 2012

2011

Data Base Mappings and Theory of Sketches

[BibT_eX]

[DOI]

CoRR, 2011

Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics

[BibT_eX]

[DOI]

CoRR, 2011

Intensionality and Two-steps Interpretations

[BibT_eX]

[DOI]

CoRR, 2011

Reduction of Many-valued into Two-valued Modal Logics

[BibT_eX]

[DOI]

CoRR, 2011

First-order Logic: Modality and Intensionality

[BibT_eX]

[DOI]

CoRR, 2011

Probabilistic Logic: Many-valuedness and Intensionality

[BibT_eX]

[DOI]

CoRR, 2011

Sound and Complete Query Answering in Intensional P2P Data Integration

[BibT_eX]

[DOI]

CoRR, 2011

DB Category: Denotational Semantics for View-based Database Mappings

[BibT_eX]

[DOI]

CoRR, 2011

A New Representation Theorem for Many-valued Modal Logics

[BibT_eX]

[DOI]

CoRR, 2011

Data Base Mappings and Monads: (Co)Induction

[BibT_eX]

[DOI]

CoRR, 2011

Matching, Merging and Structural Properties of Data Base Category

[BibT_eX]

[DOI]

CoRR, 2011

On Paraconsistent Weakening of Intuitionistic Negation

[BibT_eX]

[DOI]

CoRR, 2011

Binary Sequent Calculi for Finite Many-valued Logics.

[BibT_eX]

,

Proceedings of the 5th Indian International Conference on Artificial Intelligence, 2011

2010

Kleisli category and database mappings.

[BibT_eX]

[DOI]

,

Int. J. Intell. Inf. Database Syst., 2010

2009

Intensional First-Order Logic for P2P Database Systems.

[BibT_eX]

[DOI]

J. Data Semant., 2009

Lukasiewicz's 4-valued logic and normal modal logics.

[BibT_eX]

,

Proceedings of the 4th Indian International Conference on Artificial Intelligence, 2009

Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts.

[BibT_eX]

Proceedings of the 4th Indian International Conference on Artificial Intelligence, 2009

2008

Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers.

[BibT_eX]

[DOI]

,

Proceedings of the Soft Computing Applications in Industry, 2008

Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2008

Autoreferential semantics for many-valued modal logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2008

Abstract Database Category Based on Relational-query Observations.

[BibT_eX]

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Coalgebraic Specification of Query Computation in Intensional P2P Database Systems.

[BibT_eX]

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Intensional semantics for RDF data structures.

[BibT_eX]

[DOI]

Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems.

[BibT_eX]

Proceedings of the International Conference on Enterprise Information Systems and Web Technologies, 2008

2007

Aggregates in Generalized Temporally Indeterminate Databases.

[BibT_eX]

[DOI]

,

,

V. S. Subrahmanian

Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems.

[BibT_eX]

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge.

[BibT_eX]

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

Advanced Semantic WEB for Peer-to-Peer knowledge-bases: Intensional View-based Mapping and Epistemic Independency of Peers.

[BibT_eX]

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

Observational Logic for Composition of Agents.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence and Pattern Recognition, 2007

Temporal Probabilistic Logic Programs: State and Revision.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence and Pattern Recognition, 2007

2006

Intensional Semantics for P2P Data Integration.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Probabilistic RDF.

[BibT_eX]

[DOI]

,

V. S. Subrahmanian

,

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 7th International Conference, 2006

2005

Intensional Logic and Epistemic Independency of Intelligent Database Agents.

[BibT_eX]

Proceedings of the WM 2005: Professional Knowledge Management - Experiences and Visions, Contributions to the 3rd Conference Professional Knowledge Management, 2005

Truth and knowledge fixpoint semantics for many-valued logic programming.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Intensional P2P Mappings Between RDF Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2005

Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation.

[BibT_eX]

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge.

[BibT_eX]

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Querying with Negation in Data Integration Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

Plausible Query-Answering Inference in Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004

Weakly-coupled ontology integration of P2P database systems.

[BibT_eX]

[DOI]

Proceedings of the MobiQuitous'04 Workshop on Peer-to-Peer Knowledge Management (P2PKM 2004), 2004

A General Framework for Query Answering in Data Quality-based Cooperative Information Systems.

[BibT_eX]

[DOI]

Proceedings of the IQIS 2004, 2004

Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases.

[BibT_eX]

[DOI]

Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004

Massive Parallelism for Query Answering in Weakly Integrated P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Modal Query Language for Databases with Partial Orders.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

Fixpoint Semantics for Query Answering in Data Integration Systems.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Loading...