1061 search results - page 17 / 213 » Dependently Sorted Logic |
CLIMA
2004
13 years 11 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...
LOPSTR
2009
Springer
14 years 4 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...
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...
ATAL
2011
Springer
12 years 9 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...
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 ...