2685 search results - page 283 / 537 » A Formal Semantics for SPKI |
179
click to vote
IGPL
2010
15 years 4 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
230
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Query expansion is a functionality of search engines that suggests a set of related queries for a user-issued keyword query. Typical corpus-driven keyword query expansion approach...
258
click to vote
SIGSOFT
2011
ACM
15 years 1 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
167
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
186
click to vote
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...