81 search results - page 8 / 17 » Extending Homeomorphic Embedding in the Context of Logic Pro... |
122
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
141
Voted
ILP
2004
Springer
15 years 7 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
123
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
ENTCS
2008
15 years 1 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
104
click to vote
CLIMA
2007
15 years 3 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...