1061 search results - page 17 / 213 » Dependently Sorted Logic |
104
click to vote
CLIMA
2004
15 years 3 months ago
2004
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...
120
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
114
click to vote
ACL
2009
14 years 11 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...
117
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
101
click to vote
ECOOP
2008
Springer
15 years 3 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 ...