This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
Paul R. Smart, Alistair Russell, Dave Braines, Yan...
After a stroke or brain injury, it may be more difficult to understand language and communicate with others. Speechlanguage therapy may help an individual regain language and cope...
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...