2573 search results - page 90 / 515 » Combinations of Modal Logics |
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
146
Voted
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
129
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
133
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We report our experiences from participating to the controlled experiment of the ImageCLEF 2010 Wikipedia Retrieval task. We built an experimental search engine which com...
126
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
2009
ACM
We present an experimental study on the effectiveness of five modality variants (speech, text-only, icon-only, two combinations of text and icons) for presenting local danger wa...