 | 2011 |
|---|
| 53 |       | Zoran Majkic,
Bhanu Prasad:
Binary Sequent Calculi for Finite Many-valued Logics.
IICAI 2011: 518-537 |
| 52 |  | Zoran Majkic:
On Paraconsistent Weakening of Intuitionistic Negation
CoRR abs/1102.1935: (2011) |
| 51 | | Zoran Majkic:
Matching, Merging and Structural Properties of Data Base Category
CoRR abs/1102.2395: (2011) |
| 50 | | Zoran Majkic:
Data Base Mappings and Monads: (Co)Induction
CoRR abs/1102.4769: (2011) |
| 49 | | Zoran Majkic:
A New Representation Theorem for Many-valued Modal Logics
CoRR abs/1103.0217: (2011) |
| 48 | | Zoran Majkic:
DB Category: Denotational Semantics for View-based Database Mappings
CoRR abs/1103.0248: (2011) |
| 47 | | Zoran Majkic:
Sound and Complete Query Answering in Intensional P2P Data Integration
CoRR abs/1103.0490: (2011) |
| 46 | | Zoran Majkic:
Probabilistic Logic: Many-valuedness and Intensionality
CoRR abs/1103.0676: (2011) |
| 45 | | Zoran Majkic:
First-order Logic: Modality and Intensionality
CoRR abs/1103.0680: (2011) |
| 44 | | Zoran Majkic:
Reduction of Many-valued into Two-valued Modal Logics
CoRR abs/1103.0920: (2011) |
| 43 | | Zoran Majkic:
Intensionality and Two-steps Interpretations
CoRR abs/1103.0967: (2011) |
| 42 | | Zoran Majkic:
Temporal Probabilistic Logic Programs: State and Revision
CoRR abs/1103.1061: (2011) |
| 41 | | Zoran Majkic:
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
CoRR abs/1103.1334: (2011) |
| 40 | | Zoran Majkic:
Data Base Mappings and Theory of Sketches
CoRR abs/1104.4899: (2011) |
| 2010 |
|---|
| 39 | | Zoran Majkic,
Bhanu Prasad:
Kleisli category and database mappings.
IJIIDS 4(5): 509-527 (2010) |
| 2009 |
|---|
| 38 | | Zoran Majkic,
Bhanu Prasad:
Lukasiewicz's 4-valued logic and normal modal logics.
IICAI 2009: 186-200 |
| 37 | | Zoran Majkic:
Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts.
IICAI 2009: 201-221 |
| 36 | | Zoran Majkic:
Intensional First-Order Logic for P2P Database Systems.
J. Data Semantics 12: 131-152 (2009) |
| 2008 |
|---|
| 35 | | Bobby Granville,
Zoran Majkic,
Chunping Li:
International Conference on Enterprise Information Systems and Web Technologies, EISWT-08, Orlando, Florida, USA, July 7-10, 2008
ISRST 2008 |
| 34 | | Zoran Majkic,
Michael Sipser,
R. Radha,
Daming Wei:
International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008
ISRST 2008 |
| 33 | | Zoran Majkic:
RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems.
Enterprise Information Systems and Web Technologies 2008: 88-96 |
| 32 | | Zoran Majkic:
Intensional semantics for RDF data structures.
IDEAS 2008: 69-77 |
| 31 | | Zoran Majkic:
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems.
TMFCS 2008: 14-23 |
| 30 | | Zoran Majkic:
Abstract Database Category Based on Relational-query Observations.
TMFCS 2008: 24-32 |
| 29 | | Zoran Majkic,
Bhanu Prasad:
Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers.
Soft Computing Applications in Industry 2008: 331-356 |
| 28 | | Zoran Majkic:
Autoreferential semantics for many-valued modal logics.
Journal of Applied Non-Classical Logics 18(1): 79-125 (2008) |
| 27 | | Zoran Majkic:
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations.
Multiple-Valued Logic and Soft Computing 14(6): 525-564 (2008) |
| 26 | | Zoran Majkic:
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.
Notre Dame Journal of Formal Logic 49(4): 401-424 (2008) |
| 2007 |
|---|
| 25 | | Dimitris A. Karras,
Chunping Li,
Zoran Majkic,
S. R. Mahadeva Prasanna:
International Conference on Artificial Intelligence and Pattern Recognition, AIPR-07, Orlando, Florida, USA, July 9-12, 2007
ISRST 2007 |
| 24 | | Zoran Majkic:
Temporal Probabilistic Logic Programs: State and Revision.
Artificial Intelligence and Pattern Recognition 2007: 102-111 |
| 23 | | Zoran Majkic:
Observational Logic for Composition of Agents.
Artificial Intelligence and Pattern Recognition 2007: 193-200 |
| 22 | | Zoran Majkic:
Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge.
IICAI 2007: 1238-1252 |
| 21 | | Zoran Majkic:
Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems.
IICAI 2007: 1328-1342 |
| 20 | | Zoran Majkic:
Advanced Semantic WEB for Peer-to-Peer knowledge-bases: Intensional View-based Mapping and Epistemic Independency of Peers.
IICAI 2007: 4 |
| 19 | | Octavian Udrea,
Zoran Majkic,
V. S. Subrahmanian:
Aggregates in Generalized Temporally Indeterminate Databases.
SUM 2007: 171-186 |
| 2006 |
|---|
| 18 | | Zoran Majkic:
Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems.
FQAS 2006: 700-712 |
| 17 | | Octavian Udrea,
V. S. Subrahmanian,
Zoran Majkic:
Probabilistic RDF.
IRI 2006: 172-177 |
| 16 | | Zoran Majkic:
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models.
WLP 2006: 120-128 |
| 15 | | Zoran Majkic:
Intensional Semantics for P2P Data Integration.
J. Data Semantics VI: 47-66 (2006) |
| 2005 |
|---|
| 14 | | Zoran Majkic:
Plausible Query-Answering Inference in Data Integration.
FLAIRS Conference 2005: 753-758 |
| 13 | | Zoran Majkic:
Querying with Negation in Data Integration Systems.
IDEAS 2005: 58-64 |
| 12 | | Zoran Majkic:
Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge.
IICAI 2005: 1243-1257 |
| 11 | | Zoran Majkic:
Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation.
IICAI 2005: 1258-1273 |
| 10 | | Zoran Majkic:
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.
ISMVL 2005: 214-220 |
| 9 | | Zoran Majkic:
Truth and knowledge fixpoint semantics for many-valued logic programming.
W(C)LP 2005: 76-87 |
| 8 | | Zoran Majkic:
Intensional P2P Mappings Between RDF Ontologies.
WISE 2005: 592-594 |
| 7 | | Zoran Majkic:
Intensional Logic and Epistemic Independency of Intelligent Database Agents.
Wissensmanagement 2005: 551-554 |
| 2004 |
|---|
| 6 | | Zoran Majkic:
Modal Query Language for Databases with Partial Orders.
CoopIS/DOA/ODBASE (1) 2004: 768-782 |
| 5 | | Zoran Majkic:
Massive Parallelism for Query Answering in Weakly Integrated P2P Systems.
DEXA Workshops 2004: 524-528 |
| 4 | | Zoran Majkic:
Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases.
IDEAS 2004: 459-461 |
| 3 | | Zoran Majkic:
A General Framework for Query Answering in Data Quality-based Cooperative Information Systems.
IQIS 2004: 44-50 |
| 2 | | Zoran Majkic:
Weakly-coupled ontology integration of P2P database systems.
P2PKM 2004 |
| 2003 |
|---|
| 1 | | Zoran Majkic:
Fixpoint Semantics for Query Answering in Data Integration Systems.
APPIA-GULP-PRODE 2003: 135-146 |
Data released under the ODC-BY 1.0 license — See also our legal information page