Sciweavers

3385 search results - page 209 / 677
» Language, Logic, and the Brain
Sort
View
AAMAS
2011
Springer
14 years 10 months ago
Declarative programming for agent applications
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...
John W. Lloyd, Kee Siong Ng
EKAW
2008
Springer
15 years 8 months ago
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer
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...
175
Voted
ASSETS
2010
ACM
15 years 6 months ago
Introducing multimodal paper-digital interfaces for speech-language therapy
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...
Anne Marie Piper, Nadir Weibel, James D. Hollan
FORMATS
2006
Springer
15 years 10 months ago
A Dose of Timed Logic, in Guarded Measure
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 ...
Kamal Lodaya, Paritosh K. Pandya
NDJFL
1998
100views more  NDJFL 1998»
15 years 6 months ago
Failure of Interpolation in Combined Modal Logics
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...
Maarten Marx, Carlos Areces