Keyword:logical omniscience

Publications
Feasibility as a gradual notion Libor Behounek In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.