892 search results - page 106 / 179 » Strategies in sentential reasoning |
108
click to vote
LORI
2009
Springer
15 years 5 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
99
Voted
CLEF
2001
Springer
15 years 5 months ago
2001
Springer
For the first interactive Cross-Language Evaluation Forum, the Maryland team focused on comparison of term-for-term gloss translation with full machine translation for the documen...
HT
2000
ACM
15 years 5 months ago
2000
ACM
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...
89
Voted
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
104
click to vote
CODES
1994
IEEE
15 years 5 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...