Index
User profile
| Name: |
Zoran Ognjanovic |
| Joined: |
12/16/2008 |
| Last visit: |
n/a |
| Location: |
Beograd, Serbia |
| Contact information |
|---|
| Organization: |
Mathematical Institute of the Serbian Academy of Sciences and Arts |
| Department / section / group: |
|
| Position within the organization: |
Deputy director |
| Phone: |
+381 11 2630170 |
| Mobile: |
n/a |
| Fax: |
n/a |
| Website: |
www.mi.sanu.ac.rs |
| Professional experience |
|---|
| Area of expertise: |
Electronics, IT, Telecommunication |
| The main reference: |
Aleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Ra�ković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.
Zoran Marković, Miodrag Ra�ković, Zoran Ognjanović, A Logic with Approximate Conditional Probabilities that can Model Default Reasoning, International Journal of Approximate Reasoning Volume 49, Issue 1, 52-66, 2008.
�arko Mijajlović, Zoran Ognjanović, Digitization of Mathematical Editions in Serbia, Proceedings of the Workshop Towards Digital Mathematics Library DML 2008, July 27th, 2008, Birmingham, UK, editor Petr Sojka, 87 - 95, Masaryk University, 2008. (ISBN 978-80-210-4658-0)
Zoran Ognjanović, Miodrag Ra�ković, Logics with the Qualitative Probability Operator, Logic Journal of IGPL, volume 16, number 2, 105-120, doi:10.1093/jigpal/jzm031, 2008.
Aleksandar Perović, Zoran Ognjanović, Miodrag Ra�ković, Zoran Marković, A Probabilistic Logic with Polynomial Weight Formulas, Lecture Notes in Computer Science ( |
| International projects: |
* Secure, interoperable, cross border m-services contributing towards a trustful European cooperation with the non-EU member Western Balkan countries, Sixth Framework Programme FP6-2005-IST-6, Information Society Technologies Contract no.: 044979
* Doctoral School towards European Knowledge Society, Tempus Project JEP - 41099 - 2006
* Wireless Ad-Hoc Broadband Monitoring System, Sixth Framework Programme Priority FP6-2004-IST-4, Contract no.: 026548
* MINERVA — MInisterial NEtwoRk for Valorising Activities in digitisation and Mathematical Institute signed the cooperation agreement.
* TYPES - Types for Proofs and Programs Sixth Framework Programme IST FP6-2002-IST-C Contract no.: 510996
* Multimedia Technology for Mathematics and Computer Science Education (DAAD) - A project within the DAAD-Sonderprogramm Akademischer Neuaufbau Südosteuropa in the framework of the Stability Pact for South Eastern Europe ( project description file) |
| National projects: |
Representations of logical structures and their application in computer science
Digitization and Electronic Presentation of Medieval Serbian Monasteries, project supported by the UNESKO Participation Programme 2004/2005
Project 0013 "Razvoj standarda za digitalizaciju, računarsko arhiviranje i restauraciju kulturno-istorijskih dobara" MST of Serbie for period 2002-2004.
Methods of Mathematical Logic for Decision Support in Real Life Situations |
| The main fields of activities |
|---|
| INFORMATION AND COMMUNICATION TECHNOLOGIES
|
| Pervasive and Trusted Network and Service Infrastructures
|
| Cognitive Systems, Interaction, Robotics
|
| Digital Libraries and Content
|
| ICT for Mobility, Environmental Sustainability and Energy Efficiency
|
|
| Means of contribution |
|---|
| IDEAS
|
| Advanced Investigator grants
|
| PEOPLE
|
| International dimension
|
|
|