5122 search results - page 64 / 1025 » Comparing Consequence Relations |
ECIR
2009
Springer
14 years 6 months ago
2009
Springer
The problem of low-quality information on the Web is nowhere more important than in the domain of health, where unsound information and misleading advice can have serious consequen...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper examines the decentralized recognition of groups within a multiagent normative society in dynamic environments. In our case, a social group is defined based on the ...
COLT
2004
Springer
14 years 2 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....
FSTTCS
1999
Springer
14 years 1 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
FLOPS
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...