Zoran Majkic - RankMe

64 papers B 1C 4Misc 2Journal 29Unranked 23

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