default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZoran Majkic
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i18]Zoran Majkic:
Intensional FOL: Many-Sorted Extension. CoRR abs/2409.04469 (2024)- 2022
- [i17]Zoran Majkic:
Intensional First Order Logic for Strong-AI Generation of Robots. CoRR abs/2212.07935 (2022)
2010 – 2019
- 2018
- [j10]Zoran Majkic, Bhanu Prasad:
Intensional FOL for reasoning about probabilities and probabilistic logic programming. Int. J. Intell. Inf. Database Syst. 11(1): 79-96 (2018) - 2015
- [j9]Zoran Majkic, Bhanu Prasad:
Theory of sketches for database mappings. Int. J. Intell. Inf. Database Syst. 9(1): 32-53 (2015) - 2014
- [b1]Zoran Majkic:
Big Data Integration Theory - Theory and Methods of Database Mappings, Programming Languages, and Semantics. Texts in Computer Science, Springer 2014, ISBN 978-3-319-04155-1, pp. 1-513 - [i16]Zoran Majkic:
Intensional RDB Manifesto: a Unifying NewSQL Model for Flexible Big Data. CoRR abs/1403.0017 (2014) - [i15]Zoran Majkic:
Intensional RDB for Big Data Interoperability. CoRR abs/1403.6089 (2014) - [i14]Zoran Majkic:
Saturation of the morphisms in the database category. CoRR abs/1405.3955 (2014) - 2013
- [j8]Zoran Majkic:
Conservative Intensional Extension of Tarski's Semantics. Adv. Artif. Intell. 2013: 920157:1-920157:10 (2013) - 2012
- [j7]Zoran Majkic:
Paraconsistent Logic and Weakening of Intuitionistic Negation. J. Intell. Syst. 21(3): 255-270 (2012) - 2011
- [c30]Zoran Majkic, Bhanu Prasad:
Binary Sequent Calculi for Finite Many-valued Logics. IICAI 2011: 518-537 - [i13]Zoran Majkic:
On Paraconsistent Weakening of Intuitionistic Negation. CoRR abs/1102.1935 (2011) - [i12]Zoran Majkic:
Matching, Merging and Structural Properties of Data Base Category. CoRR abs/1102.2395 (2011) - [i11]Zoran Majkic:
Data Base Mappings and Monads: (Co)Induction. CoRR abs/1102.4769 (2011) - [i10]Zoran Majkic:
A New Representation Theorem for Many-valued Modal Logics. CoRR abs/1103.0217 (2011) - [i9]Zoran Majkic:
DB Category: Denotational Semantics for View-based Database Mappings. CoRR abs/1103.0248 (2011) - [i8]Zoran Majkic:
Sound and Complete Query Answering in Intensional P2P Data Integration. CoRR abs/1103.0490 (2011) - [i7]Zoran Majkic:
Probabilistic Logic: Many-valuedness and Intensionality. CoRR abs/1103.0676 (2011) - [i6]Zoran Majkic:
First-order Logic: Modality and Intensionality. CoRR abs/1103.0680 (2011) - [i5]Zoran Majkic:
Reduction of Many-valued into Two-valued Modal Logics. CoRR abs/1103.0920 (2011) - [i4]Zoran Majkic:
Intensionality and Two-steps Interpretations. CoRR abs/1103.0967 (2011) - [i3]Zoran Majkic:
Temporal Probabilistic Logic Programs: State and Revision. CoRR abs/1103.1061 (2011) - [i2]Zoran Majkic:
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics. CoRR abs/1103.1334 (2011) - [i1]Zoran Majkic:
Data Base Mappings and Theory of Sketches. CoRR abs/1104.4899 (2011) - 2010
- [j6]Zoran Majkic, Bhanu Prasad:
Kleisli category and database mappings. Int. J. Intell. Inf. Database Syst. 4(5): 509-527 (2010)
2000 – 2009
- 2009
- [j5]Zoran Majkic:
Intensional First-Order Logic for P2P Database Systems. J. Data Semant. 12: 131-152 (2009) - [c29]Zoran Majkic, Bhanu Prasad:
Lukasiewicz's 4-valued logic and normal modal logics. IICAI 2009: 186-200 - [c28]Zoran Majkic:
Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts. IICAI 2009: 201-221 - 2008
- [j4]Zoran Majkic:
Autoreferential semantics for many-valued modal logics. J. Appl. Non Class. Logics 18(1): 79-125 (2008) - [j3]Zoran Majkic:
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations. J. Multiple Valued Log. Soft Comput. 14(6): 525-564 (2008) - [j2]Zoran Majkic:
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. Notre Dame J. Formal Log. 49(4): 401-424 (2008) - [c27]Zoran Majkic:
RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems. Enterprise Information Systems and Web Technologies 2008: 88-96 - [c26]Zoran Majkic:
Intensional semantics for RDF data structures. IDEAS 2008: 69-77 - [c25]Zoran Majkic:
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems. TMFCS 2008: 14-23 - [c24]Zoran Majkic:
Abstract Database Category Based on Relational-query Observations. TMFCS 2008: 24-32 - [p1]Zoran Majkic, Bhanu Prasad:
Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers. Soft Computing Applications in Industry 2008: 331-356 - [e3]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, ISBN 978-1-60651-003-2 [contents] - [e2]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, ISBN 978-1-60651-006-3 [contents] - 2007
- [c23]Zoran Majkic:
Temporal Probabilistic Logic Programs: State and Revision. Artificial Intelligence and Pattern Recognition 2007: 102-111 - [c22]Zoran Majkic:
Observational Logic for Composition of Agents. Artificial Intelligence and Pattern Recognition 2007: 193-200 - [c21]Zoran Majkic:
Advanced Semantic WEB for Peer-to-Peer knowledge-bases: Intensional View-based Mapping and Epistemic Independency of Peers. IICAI 2007: 4 - [c20]Zoran Majkic:
Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge. IICAI 2007: 1238-1252 - [c19]Zoran Majkic:
Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems. IICAI 2007: 1328-1342 - [c18]Octavian Udrea, Zoran Majkic, V. S. Subrahmanian:
Aggregates in Generalized Temporally Indeterminate Databases. SUM 2007: 171-186 - [e1]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, ISBN 978-0-9727412-3-1 [contents] - 2006
- [j1]Zoran Majkic:
Intensional Semantics for P2P Data Integration. J. Data Semant.: 47-66 (2006) - [c17]Zoran Majkic:
Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems. FQAS 2006: 700-712 - [c16]Octavian Udrea, V. S. Subrahmanian, Zoran Majkic:
Probabilistic RDF. IRI 2006: 172-177 - [c15]Zoran Majkic:
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. WLP 2006: 120-128 - 2005
- [c14]Zoran Majkic:
Plausible Query-Answering Inference in Data Integration. FLAIRS 2005: 753-758 - [c13]Zoran Majkic:
Querying with Negation in Data Integration Systems. IDEAS 2005: 58-64 - [c12]Zoran Majkic:
Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge. IICAI 2005: 1243-1257 - [c11]Zoran Majkic:
Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation. IICAI 2005: 1258-1273 - [c10]Zoran Majkic:
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic. ISMVL 2005: 214-220 - [c9]Zoran Majkic:
Intensional P2P Mappings Between RDF Ontologies. WISE 2005: 592-594 - [c8]Zoran Majkic:
Truth and knowledge fixpoint semantics for many-valued logic programming. W(C)LP 2005: 76-87 - [c7]Zoran Majkic:
Intensional Logic and Epistemic Independency of Intelligent Database Agents. Wissensmanagement 2005: 551-554 - 2004
- [c6]Zoran Majkic:
Modal Query Language for Databases with Partial Orders. CoopIS/DOA/ODBASE (1) 2004: 768-782 - [c5]Zoran Majkic:
Massive Parallelism for Query Answering in Weakly Integrated P2P Systems. DEXA Workshops 2004: 524-528 - [c4]Zoran Majkic:
Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases. IDEAS 2004: 459-461 - [c3]Zoran Majkic:
A General Framework for Query Answering in Data Quality-based Cooperative Information Systems. IQIS 2004: 44-50 - [c2]Zoran Majkic:
Weakly-coupled ontology integration of P2P database systems. P2PKM 2004 - 2003
- [c1]Zoran Majkic:
Fixpoint Semantics for Query Answering in Data Integration Systems. APPIA-GULP-PRODE 2003: 135-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
