Petar Iliev

Petar Iliev

Institute of Astronomy, Bulgarian Academy of Sciences - Sofia / Bulgaria
Others
AD Scientific Index ID: 4520549
person_outline Petar Iliev's MOST POPULAR ARTICLES
1-) On the succinctness of some modal logicsT French, W van Der Hoek, P Iliev, B KooiArtificial Intelligence 197, 56-85, 2013462013
2-) Everything is Knowable – How to Get to Know Whether a Proposition is TrueH Van Ditmarsch, W Van der Hoek, P IlievTheoria 78 (2), 93-114, 2012362012
3-) Succinctness of epistemic languagesT French, W Van Der Hoek, P Iliev, B KooiTwenty-Second International Joint Conference on Artificial Intelligence, 2011292011
4-) A logic of revelation and concealment.W van der Hoek, P Iliev, MJ WooldridgeAAMAS, 1115-1122, 2012242012
5-) Some Exponential Lower Bounds on Formula-size in Modal Logic.H van Ditmarsch, J Fan, W van Der Hoek, P IlievAdvances in modal logic 10, 139-157, 2014142014