1943 search results - page 148 / 389 » Ordering Default Theories |
158
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
166
click to vote
ITP
2010
15 years 11 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
174
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
201
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
172
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...