Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
We outline work to be carried out within the framework of an impending EC project. The goal is to construct a language-independent information system for a specific domain (environ...
: Within software development, wikis are currently mainly used for brainstorming and documentation purposes or error management and project coordination. This article describes fou...
—In this paper, we consider DS-CDMA/OFDM spectrum sharing systems and obtain the achievable capacity of the secondary service under different subchannel selection policies in the...
Mohammad G. Khoshkholgh, Keivan Navaie, Halim Yani...