3831 search results - page 17 / 767 » Dynamic Context Logic |
ACL
2009
13 years 7 months ago
2009
We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus mean...
DEON
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
CSL
1994
Springer
14 years 1 months ago
1994
Springer
