Zoran Ognjanović

research professor

Publications
email: zorano@mi.sanu.ac.rs
ORCID: 0000-0003-2508-6480
Personal Home Page

Research interests:

formal reasoning about uncertainty
applications of (nonclassical) mathematical logic in computer sciences and artificial intelligence
theorem proving