Functional Semantics for Non-prenex QBF Topics: Knowledge Representation and Reasoning In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 358-365, 2014 , ESEO, Angers, Loire Valley, France