Zoran Majkic

Zoran Majkic: Conservative Intensional Extension of Tarski's Semantics. Adv. Artificial Intellegence 2013 (2013)

Zoran Majkic: Paraconsistent Logic and Weakening of Intuitionistic Negation. J. Intelligent Systems 21(3): 255-270 (2012)

Zoran Majkic, Bhanu Prasad: Binary Sequent Calculi for Finite Many-valued Logics. IICAI 2011: 518-537

Zoran Majkic: On Paraconsistent Weakening of Intuitionistic Negation. CoRR abs/1102.1935 (2011)

Zoran Majkic: Matching, Merging and Structural Properties of Data Base Category. CoRR abs/1102.2395 (2011)

Zoran Majkic: Data Base Mappings and Monads: (Co)Induction. CoRR abs/1102.4769 (2011)

Zoran Majkic: A New Representation Theorem for Many-valued Modal Logics. CoRR abs/1103.0217 (2011)

Zoran Majkic: DB Category: Denotational Semantics for View-based Database Mappings. CoRR abs/1103.0248 (2011)

Zoran Majkic: Sound and Complete Query Answering in Intensional P2P Data Integration. CoRR abs/1103.0490 (2011)

Zoran Majkic: Probabilistic Logic: Many-valuedness and Intensionality. CoRR abs/1103.0676 (2011)

Zoran Majkic: First-order Logic: Modality and Intensionality. CoRR abs/1103.0680 (2011)

Zoran Majkic: Reduction of Many-valued into Two-valued Modal Logics. CoRR abs/1103.0920 (2011)

Zoran Majkic: Intensionality and Two-steps Interpretations. CoRR abs/1103.0967 (2011)

Zoran Majkic: Temporal Probabilistic Logic Programs: State and Revision. CoRR abs/1103.1061 (2011)

Zoran Majkic: Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics. CoRR abs/1103.1334 (2011)

Zoran Majkic: Data Base Mappings and Theory of Sketches. CoRR abs/1104.4899 (2011)

Zoran Majkic, Bhanu Prasad: Kleisli category and database mappings. IJIIDS 4(5): 509-527 (2010)

Zoran Majkic: Intensional First-Order Logic for P2P Database Systems. J. Data Semantics 12: 131-152 (2009)

Zoran Majkic, Bhanu Prasad: Lukasiewicz's 4-valued logic and normal modal logics. IICAI 2009: 186-200

Zoran Majkic: Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts. IICAI 2009: 201-221

Zoran Majkic: Autoreferential semantics for many-valued modal logics. Journal of Applied Non-Classical Logics 18(1): 79-125 (2008)

Zoran Majkic: Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations. Multiple-Valued Logic and Soft Computing 14(6): 525-564 (2008)

Zoran Majkic: Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. Notre Dame Journal of Formal Logic 49(4): 401-424 (2008)

Zoran Majkic: RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems. Enterprise Information Systems and Web Technologies 2008: 88-96

Zoran Majkic: Intensional semantics for RDF data structures. IDEAS 2008: 69-77

Zoran Majkic: Coalgebraic Specification of Query Computation in Intensional P2P Database Systems. TMFCS 2008: 14-23

Zoran Majkic: Abstract Database Category Based on Relational-query Observations. TMFCS 2008: 24-32

Zoran Majkic, Bhanu Prasad: Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers. Soft Computing Applications in Industry 2008: 331-356

Bobby Granville, Zoran Majkic, Chunping Li (Eds.): International Conference on Enterprise Information Systems and Web Technologies, EISWT-08, Orlando, Florida, USA, July 7-10, 2008. ISRST 2008, isbn 978-1-60651-003-2

Zoran Majkic, Michael Sipser, R. Radha, Daming Wei (Eds.): International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008. ISRST 2008, isbn 978-1-60651-006-3

Zoran Majkic: Temporal Probabilistic Logic Programs: State and Revision. Artificial Intelligence and Pattern Recognition 2007: 102-111

Zoran Majkic: Observational Logic for Composition of Agents. Artificial Intelligence and Pattern Recognition 2007: 193-200

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

Zoran Majkic: Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge. IICAI 2007: 1238-1252

Zoran Majkic: Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems. IICAI 2007: 1328-1342

Octavian Udrea, Zoran Majkic, V. S. Subrahmanian: Aggregates in Generalized Temporally Indeterminate Databases. SUM 2007: 171-186

Dimitris A. Karras, Chunping Li, Zoran Majkic, S. R. Mahadeva Prasanna (Eds.): International Conference on Artificial Intelligence and Pattern Recognition, AIPR-07, Orlando, Florida, USA, July 9-12, 2007. ISRST 2007, isbn 978-0-9727412-3-1

Zoran Majkic: Intensional Semantics for P2P Data Integration. : 47-66 (2006)

Zoran Majkic: Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems. FQAS 2006: 700-712

Octavian Udrea, V. S. Subrahmanian, Zoran Majkic: Probabilistic RDF. IRI 2006: 172-177

Zoran Majkic: Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. WLP 2006: 120-128

Zoran Majkic: Plausible Query-Answering Inference in Data Integration. FLAIRS Conference 2005: 753-758

Zoran Majkic: Querying with Negation in Data Integration Systems. IDEAS 2005: 58-64

Zoran Majkic: Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge. IICAI 2005: 1243-1257

Zoran Majkic: Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation. IICAI 2005: 1258-1273

Zoran Majkic: Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic. ISMVL 2005: 214-220

Zoran Majkic: Intensional P2P Mappings Between RDF Ontologies. WISE 2005: 592-594

Zoran Majkic: Truth and knowledge fixpoint semantics for many-valued logic programming. W(C)LP 2005: 76-87

Zoran Majkic: Intensional Logic and Epistemic Independency of Intelligent Database Agents. Wissensmanagement 2005: 551-554

Zoran Majkic: Modal Query Language for Databases with Partial Orders. CoopIS/DOA/ODBASE (1) 2004: 768-782

Zoran Majkic: Massive Parallelism for Query Answering in Weakly Integrated P2P Systems. DEXA Workshops 2004: 524-528

Zoran Majkic: Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases. IDEAS 2004: 459-461

Zoran Majkic: A General Framework for Query Answering in Data Quality-based Cooperative Information Systems. IQIS 2004: 44-50

Zoran Majkic: Weakly-coupled ontology integration of P2P database systems. P2PKM 2004

Zoran Majkic: Fixpoint Semantics for Query Answering in Data Integration Systems. APPIA-GULP-PRODE 2003: 135-146