Zoran Majkic's Home Page

Photographer: Andrea Calì  Nov. 2003

 

         Zoran Majkic

 

 

   In Serbia:                

  Applied Mathematics Department.
  ETF-ElektroTehnicki  Fakultet,                       Bulevar Kralja   Aleksandra 73, 11000   Beograd,               E-mail: majkic@etf.bg.ac.yu

     

                  Private space:   photo ONU 2006

                        Photo July 2007, IAPR Co-chair  

                         Photo Nov 2004         

                               

 

 

 

 

 In USA:

Senior Researcher

Computer Science Department.

3143 A. V. Williams Building,   
College Park, MD 20742

E-mail:     zoran@cs.umd.edu

 In Italy:

Senior Researcher

Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza''
Via Salaria, 113 I-00198    Roma,   Italy.                                                                                                                         
E-mail:     majkic@dis.uniroma1.it

 

 

 

 

 

 


 
 Research Interests                Ongoing Projects                  Publications                Teaching    

     

 Other Activities                            C.V                                  


Research Interests

 

·  Knowledge Representation and Databases with statistic/probabilistic/uncertain information ,

·  Fuzzy/Probabilistic logic and Bayesian networks,

·  Modal  and Multi-valued Logics,

·  Semantic WEB and P2P systems,

·  Artificial Intelligence,

·  Category theory and Universal (co)Algebra.   (I developed a new Denotational semantic theory for a Relational database mappings based on Category monads and coalgebras ). 

Ph.D. (1994-1998):  in Computer Engineering , University of Rome "La Sapienza", Dept. Informatica e Sistemistica, Via Salaria 113, 00198 Roma, Italy

Thesis: Categories: Symmetry, n-dimensional levels and applications; 

Supervisor: Prof. Maurizio Lenzerini  

External reviewers:  Prof. Giuseppe Longo, Directeur de Recherche (DR1) CNRS & Département d'Informatique Ecole Normale Supérieure 45, rue d'Ulm , 75230 Paris   and    Prof. Sergei Soloviev, University of Durham (currently,    Institut de Recherche en Informatique de Toulouse ).

 


 

My  current research interests are in the following  areas:

  1. Event-based algebras for Databases, both theoretical and applied aspects.
  2. Semantics for Logic programming with uncertain/probabilistic information.
  3. Emergent intensional semantics for P2P database systems in Semantic WEB.
  4. Database Integration Systems, both theoretical and applied aspects. On the theoretical side, I am interested in architectures, generation Query-rewriting algorithms, many-valued semantics in order to manage incomplete and inconsistent information, and in Closed-world assumption for a Global database schema. On the applied side, I am interested in the costs and benefits of query-rewriting algorithms and how we can find application niches ( for example, Data intensive Peer-to-peer systems in Sematic Web) for this theory. One of my main interests is facilitating the building of reusable software modules for Data Integration Systems (as in Sewasie IST-2001-3485 Project).
  5. Intelligent interfaces enabling access to networks of complex database mappings, both theoretical (denotational semantics for a view-based database mappings) and applied aspects. 
  6. I am also interested in Graph-grammar language processing, Natural language semantics, Category-based characterizations of logic theory/models, non-monotonic logic, algebraic specifications and process algebras.


back 


Projects

   PAST PROJECTS,     from 2005:     University of Maryland, Dept. of Computer Science,  3143 A.V.Williams Building, College Park, MD 20742 

             - SEMANTICS FOR (CONSTRAINT) LOGIC PROGRAMS WITH UNCERTAIN INFORMATION

            -   CONSTRAINED DATABASES FOR TEEMPORAL-PROBABILISTIC EVENTS

 

PAST PROJECTS,     from 2002 to Dec. 2004:      University of Rome "La Sapienza", Dept. Informatica e Sistemistica,           Via Salaria 113, 00198 Roma, Italy

- SOCIETA' DELL'INFORMAZIONE                                                project partially funded by MIUR (Ministry of Instruction, University and Research)
- SEWASIE: SEmantic Webs and AgentS in Integrated Economies         project IST-2001-34825 funded by EU

- DELOS: a Network of Excellence on Digital Libraries                          project IST-2002-2.3.1.12 funded by EU

 back 


Other Activities                                                           

1.  Session Co-Chair of Logic and Knowledge Representation,    2nd  Indian International Conference on Artificial Intelligence   (IICAI-05), Pune,  India, December 20-22, 2005

2.  Program Committee member of   3rd  Indian International Conference on Artificial Intelligence  (IICAI-07), Pune,  India, December 17-19, 2007

3.  Conference Co-Chair of  International Conference on Artificial Intelligence and Pattern Recognition  (AIPR-07), Orlando FL, USA,  July 9-11, 2007

4.   Keynote speech : Invited talk on  “Advanced Semantic WEB for P2P knowledge-bases:  intensional view-based mapping and epistemic independency of peers” at the  3rd  Indian International Conference on Artificial Intelligence  (IICAI-07), Pune,  India, December 17-19, 2007,

5.  Session Chair of Logic and Knowledge Representation,    3rd  Indian International Conference on Artificial Intelligence   (IICAI-07), Pune,  India, December 17-19, 2007

6.    Program Committee member of   International Conference in Computer Science Logic (CSL -08), the annual conference of the European Association for Computer Science Logic (EACSL), Bologna-Bertinoro,  Italy, September 15-20, 2008

7.  Conference Co-Chair of International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), Orlando FL, USA,  July 9-11, 2008 

8.  Conference Co-Chair of International Conference on Enterprise Information Systems and Web Technologies (EISWT-08), Orlando FL, USA,  July 9-11, 2008

9.  Program Committee member of  International Conference on Artificial Intelligence and Pattern Recognition  (AIPR-08), Orlando FL, USA,  July 9-11, 2008

10. Organizing Committee member of Int. Conf. on Automation, Robotics and Control Systems  (ARCS-08), Int. Conf. on Software Engineering Theory and Practice  (SETP-08), and Int. Conf. on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-08), Orlando FL, USA,  July 9-11, 2008

11. Session Chair of 12th International Database Engineering & Applications Systems (IDEAS08), Coimbra, Portugal, 10-13 September 2008

12.  Conference Co-Chair of International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09), Orlando FL, USA,  July 13-16, 2009 

13.  Conference Co-Chair of International Conference on Enterprise Information Systems and Web Technologies (EISWT-09), Orlando FL, USA,  July 13-16, 2009

14.  Conference Co-Chair of International Conference on Information Security and Privacy (ISP-09), Orlando FL, USA,  July 13-16, 2009

15.  Conference Co-Chair of  International Conference on Artificial Intelligence and Pattern Recognition  (AIPR-09), Orlando FL, USA,  July 13-16, 2009

  

 

  back 


Publications and Technical Reports

The last draft papers:

1.         Z.Majkic,  A New Representation Theorem for Many-valued Modal Logics

2.        Z.Majkic,  Sound and Complete Query-answering in Intensional P2P Data  Integration

3.        Z.Majkic,  Reduction of Many-valued Logic Programs into 2-valued Modal Logics 

4.         Z.Majkic,  Binary Sequent Calculi for Modal 2-valued Encapsulation of Finite Many-valued Logics

5.        Z.Majkic,  DB Category: Denotational Semantics for View-based Database Mappings

6.        Z.Majkic,  Matching, Merging and Structural Properties of  Data Base Category

7.        Z.Majkic,  Data Base Mappings and Monads: (Co)Induction

8.         Z.Majkic, Kleisli Category for Database Mappings

 

Journals & Bookses

 

  1. Z.Majkic,    Intensional Semantics for P2P  Data Integration,    Journal on Data Semantics (JoDS VI), Special Issue on 'Emergent Semantics',  LNCS 4090, pp.47-66,  April  2006
  2. Z.Majkic,    Bilattices, Intuitionism and Duality: Concepts and Foundations,      Journal of Multiple-valued Logic & Soft Computing, Vol 14, No.6,  pp.525-564, 2008 
  3. Z.Majkic,  B.Prasad,    Soft Query-answering Computing in P2P Systems with Epistemically Independent Peers,   Chapter in the book “Soft Computing Applications in Industry”, STUDFUZZ,  LNCS 226, pp. 331-356, Springer-Verlag Berlin,  2008
  4. Z.Majkic,   Autoreferential Semantics for Many-valued Modal Logics,   Journal of  Applied Non-Classical Logics (JANCL), Volume 18- No.1, pp. 79-125, 2008
  5. Z.Majkic,   Intensional First-Order Logic for P2P Database Systems ,  LNCS Journal of Data Semantics (JoDS XII), Autumn 2008
  6. Z.Majkic,   Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System ,  Notre Dame Journal of Formal Logic, Volume 49, Issue 4, pp.401-424,  November 2008

 

 

 

Recent Conferences

  2009

  1. Z.Majkic,    Induction Principle in Relational Database Category , International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09), Orlando FL, USA,  July 13-16, 2009
  2. Z.Majkic,  Algebraic Operators for Matching and Merging of Relational Databases , International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09), Orlando FL, USA,  July 13-16, 2009
  3. Z.Majkic,  Weak Deduction for Queries in Intensional P2P Database Systems , International Conference on International Conference on Enterprise Information Systems and Web Technologies (EISWT-09), Orlando FL, USA,  July 13-16, 2009
  4. Z.Majkic, Probabilistic Deduction and Pattern Recognition of Complex Events,  , International Conference on Information Security and Privacy (ISP-09), Orlando FL, USA,  July 13-16, 2009
  5. Z.Majkic,    Logic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts ,  Indian International  Conference on Artificial Intelligence (IICAI-09) December, 2009, India
  6. Z.Majkic,  B.Prasad,  Lukasiewicz’s 4-valued Logic and Normal Modal Logics Concepts ,  Indian International  Conference on Artificial Intelligence (IICAI-09) December, 2009, India

 

 

  2008

  1. Z.Majkic,  Coalgebraic Specification of Query Computation in Intensional P2P Database Systems , International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), Orlando FL, USA,  July 7-9, 2008
  2. Z.Majkic,  Abstract Database Category Based on Relational-query Observations , International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), Orlando FL, USA,  July 7-9, 2008
  3. Z.Majkic,  RDF View-based Interoperability in Intensional FOL for Peer-to-Peer Database Systems , International Conference on International Conference on Enterprise Information Systems and Web Technologies (EISWT-08), Orlando FL, USA,  July 7-9, 2008
  4. Z.Majkic,  Intensional Semantics for RDF Data Structures,  12th International Database Engineering & Applications Systems (IDEAS08), Coimbra, Portugal, 10-13 September, 2008

 

  2007

  1. Z.Majkic,   Observational Logic for Composition of Agents,  International  Conference on Artificial Intelligence and Pattern Recognition (AIPR-07), 9-12 July, 2007, Orlando, FL, USA
  2. Z.Majkic,   Temporal Probabilistic Logic Programs: State and Revision,  International  Conference on Artificial Intelligence and Pattern Recognition (AIPR-07), 9-12 July, 2007, Orlando, FL, USA
  3. Z.Majkic, U.Octavian, V.Subrahmanian,  Aggregates in Generalized Temporally Indeterminate Databases, International  Conference  on Scalable Uncertainty Management (SUM 2007),  Oct 10- 12, 2007, Washington DC, USA, in LNCS 4772, pp 171-186, 2007
  4. Z.Majkic,   Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P Systems,  Indian International  Conference on Artificial Intelligence  (IICAI-07), 17-19 December, 2007, Pune, India  
  5. Z.Majkic,    Autoepistemic Belief-revision for Integration of Mutually  Inconsistent Knowledge ,  Indian International  Conference on Artificial Intelligence (IICAI-07)17-19 December, 2007, Pune, India

      

  2006

  1. Z.Majkic,   Intuitionistic Truth-knowledge Symmetric Bilattices for Uncertainty in Intelligent Systems,   3rd International IEEE Conf. on Intelligent Systems (IS06), 4-6 Sept., 2006,  London, UK
  2. Z.Majkic,   Functional Many-valued Logic and Global Predicate Compression, MVLPA Multivalued Logic Programming and Applications (with ICLP), 17-20 August, 2006,  Seatle, WA
  3. Z.Majkic,   Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models,    20th Workshop on (Constraint) Logic Programming (WLP 2006):, February 22-24, 2006, Vienna, Austria
  4. Z.Majkic,   Flexible Intensional Query-answering for RDF Peer-to-peer Systems,   7th International Conference on Flexible Query Answering Systems (FQAS 2006), 7-10 June, 2006,  Milano, Italy, in LNCS 4027, pp 700-712, 2006
  5. U.Octavian,V.Subrahmanian,Z.Majkic, Probabilistic RDF,  IEEE Conference on Information Reuse and Integration (IEEE IRI 2006),  September 16-18, 2006,  Waikoloa, Hawaii, USA

   2005

  1. Z.Majkic, Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation,   2nd Indian International Conference on Artificial Intelligence (IICAI-05),  December 20-22, 2005, National Insurance Academy, Pune, India
  2. Z.Majkic,  Beyond Fuzzy: Parameterized Approximations of Heyting Algebras for Uncertain Knowledge,  2nd Indian International Conference on Artificial Intelligence (IICAI-05),  December 20-22, 2005, National Insurance Academy, Pune, India.
  3. Z.Majkic, Intensional P2P Mapping Between RDF Ontologies, 6th International Conference on Web Information Systems (WISE-05), November 20-22, 2005, New York, USA. In M.Kitsuregawa (Eds.) LNCS 3806, pp. 592-594.
  4. Z.Majkic,  Autoepistemic Logic Programming for Reasoning with Inconsistency,  International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR),  September 7-9, 2005, Imperial College, London, UK. In LOPSTR Conf. Proceedings, pp. 153-167.
  5. Z.Majkic,  Querying with Negation in Data Integration Systems,  9th International Database Engineering & Application Symposium (IDEAS), July 25-27, 2005, Montreal, Canada. In IEEE Computer Society, pp. 58-70
  6. Z.Majkic,  Many-valued Intuitionistic Implication and Inference Closure in a Bilattice-based Logic,  35th International Symposium on Multiple-Valued Logic (ISMVL 2005),  May 18-21, 2005, Calgary, Canada.  In IEEE Computer Society, pp. 214-220
  7. Z.Majkic,  Plausible Query-answering Inference in Data Integration,  18th International FLAIRS (Florida Artificial Intelligence Research Society)  Conference,  May 15-17, 2005, Clearwater Beach, Florida, USA.   In AAAI Press., pp 753-759
  8. Z.Majkic,  Intensional Logic and Epistemic Independency of  Intelligent Database Agents,   2nd International Workshop on Philosophy and  Informatics (WSPI 2005),  April 11-13, 2005, Kaiserslautern, Germany,  in CEUR-WS/Vol. 130
  9.  Z.Majkic,  Truth and Knowledge Fixpoint Semantics for Many-valued Logic Programming,  19th Workshop on (Constraint) Logic Programming (W(C)LP 2005): 76-87, February 21-25 , 2005, Ulm, Germany.

   2004

  1.  Z. Majkic, Modal query language for databases with partial orders   International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE'04), October 25-29, 2004, Larnaca, Cyprus. In Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 3290/2004,  pp. 768-782
  2.  Z. Majkic, Weakly-coupled ontology integration for  P2P  systems,    1st Workshop on Peer-to-Peer Knowledge Management (P2PKM), August 22, 2004, Boston, USA.
  3.  Z. Majkic, Weakly-coupled P2P system with a Network repository, 6th Workshop on Distributed Data and Structures (WDAS'2004), July 5-7, 2004, Lausanne, Switzerland.
  4.  Z. Majkic, Massive parallelism for query answering in weakly integrated P2P systems,  1st International Workshop on Grid and P2P Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04 of DEXA Conference), 30.8- 03.9, 2004, Zaragoza, Spain. In  in IEEE Computer Society, pp. 524-528
  5.  Z. Majkic, General framework for query answering in Data Quality Cooperative Information Systems,  International Workshop on Information Quality in Information Systems (IQIS 2004 of ACM SIGMOD Conference), June 18,  2004, Maison de la Chimie, Paris, France
  6.  Z. Majkic, Meta many-valued logic programming for incomplete and locally inconsistent databases, 8th International Database Engineering & Applications Symposium IDEAS'04, 7-9 July, 2004, Coimbra, Portugal. In IEEE Computer Society, pp. 459-461
  7.  Z. Majkic, Ontological encapsulation of many-valued logic, 19th Italian Symposium of Computational Logic (CILC04), June 16-17, Parma, Italy, 2004
  8.  Z. Majkic, Coalgebraic semantics for logic programs,  18th Workshop W(C)LP on Constraint Logic Programming, 3-6 March, 2004, Berlin, Germany
  9.  Z. Majkic, Two-valued encapsulation of many-valued logic programming,  Technical Report, January, 2004, Dip. di Informatica e Sistemistica, Università di Roma 

 2003

  1.  Z. Majkic, Fixpoint Semantics for Query Answering in Data Integration Systems, AGP-2003 Joint Conference on Declarative Programming, September 3-5, 2003, Reggio Calabria, Italy
  2.  Z. Majkic, Lectures in Denotation Semantics for View-based Database Mappings, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 2003
  3.  M.Lenzerini, Z. Majkic, First release of the system prototype for query management, ,   SEWASIE IST-2001-3485 Project, 2003
  4.  M.Lenzerini,  D.Beneventano, F.Mandreoli, Z. Majkic, Techniques for query reformulation, query merging, and information reconciliation,  SEWASIE IST-2001-3485 Project, 2003
  5.  M.Lenzerini, Z. Majkic, General Framework for Query Reformulation,  SEWASIE IST-2001-3485 Project, 2003
  6.  Z. Majkic, The structural properties of the Database category, Tech.Rep., Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 2003
  7.  Z. Majkic, Data Integration Semanics and Coalgebras, Tech.Rep., Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 2003
  8.  Z. Majkic, Database Mappings and Monadic Coalgebras, Tech.Rep., Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 2003
  9.  Z. Majkic, The category-theoretic sematics for database mappings,  Tech.Rep., Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 2003

Other (1992-2002)

  1. The concurrent-categorial RDB machine, Research Dept. Compet Electronic, Roma, 2002
  2. Embedding of  the language LMTRC and Database consistency, Research Dept. Compet Electronic, Roma, 2002
  3. Relational Data Domain Category, Research Dept. Compet Electronic, Roma, 2001
  4. Computation support category for relational algebra calculus, Research Dept. Compet Electronic, Roma, 2001
  5. Architecture and Technology integration for  Contact Center ENEL, Company Sema Group, Roma, 2000
  6. Business Case per Sistema Datamart reporting Call center BNL Servizi,  Company Vanguard Europe, Roma, 2000
  7. Datawarehouse ANAS: Analisi Requisiti di Aggiornamento, Company IBIS, Roma , 1999
  8. Category  for Relational Algebra, Research Dept. Compet Electronic, Roma, 1998
  9. Datawarehouse ANAS: Observatory for Security, Company IBIS, Roma, 1999
  10. Assesment del Call Center, Company Vanguard Europe, Roma, 1999
  11. Modal tuple-oriented relational calculus language LMTRC, Research Dept. Compet Electronic, Roma, 1998
  12. Work and Employment Observatory Project, Company IBIS, Roma, 1998
  13. Gruppo Reingegnerizzazione Commercializzazione Servizi, Company IBM/TELECOM, Roma, 1997
  14. Natural  Deduction Categories: Weakening of a Cartesian closed adjunction,  Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1997
  15. Categorial symmetry: TransitionSystems and bissimulations as fixpoints, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1996
  16. Typed λ-calculus: category of idempotents and Fixpoint operator, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1996
  17. Object-oriented architecture of IBDA, Company IBM/TELECOM, Roma, 1995
  18. Proprietà funtoriali del ragionamento categoriale deduttivo, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”,  1995
  19. Categorial definitions for NPO problems, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1995
  20. Towards categorial symmetry and hierarchy of arrow categories, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”,  1994
  21. Towards categorical symmetry and n-dimensional levels,  Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, 1994
  22. Knossos:  an object-oriented programming language,  Company Compet Electronic, Tech.Report,  Roma, 1993
  23. The Object Odyssey: An object-oriented Database Management System,  Company Compet Electronic, Tech.Report,  Roma, 1992  

back 

Teaching

  • Electromagnetics and Telecommunication  Systems, two-years  teaching as Assistant Professor,  Faculty of Electronics ETF, University of Belgrade, Serbia.

Other

  • Course: Prodotto di supporto alla Metodologia Prism Iterations, Company Telecom/Sistemi Informativi, Roma,  1996
  • Course: Tecnica degli Use Case, Company Telecom/Sistemi Informativi, Roma 1996
  • Course: Reingegnerizzazione Commercializazione Servizi di telefonia, Company Telecom/Sistemi Informativi, Roma 1997
  • Course: Progetto IT200-TA3, Metodologia di sviluppo Data Warehouse, Company Telecom/IBM, Roma, 1997
  • Course: Information discovery system, Company Vanguard Europe, Milano, 1999
  • Course: Customer Relationship Portals: Managing E-Business World, Company Vanguard Europe, Roma, 1999
  • Course: Call Center measurement  toolkit, Lerning Center, Company Vanguard Europe, Milano, 2000
  • Course:  Architecture and Technology integration for  Contact Center, Company ENEL,  Napoli, 2000
  • Seminar: Denotational Semantics for Database Mappings, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”,  2003  
  • Seminar: View based Database Mappings and Monads, DISI Computer Science, Università di Genova, Dicembre 2003
  • Seminar:  Integration of Ontological Bayesian Logic Programs in Deductive Knowledge Systems ,  Georgetown University, Department of Biostatistics,Bioinformatics and Biomathematics, Lombardi Comprehensive Cancer Center, Washington DC, September 2005
  • Seminar:  Beyond Fuzzy College Park University, Department of Computer Science, Washington DC, December 2005
  • Keynote speech : “Advanced Semantic WEB for P2P knowledge-bases:  intensional view-based mapping and epistemic independency of peers” at the  3rd  Indian International Conference on Artificial Intelligence  (IICAI-07), Pune,  India, December 17-19, 2007

 

back