pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,,