4617 search results - page 730 / 924 » Automation of Diagrammatic Reasoning |
207
click to vote
FLOPS
2004
Springer
16 years 15 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
190
click to vote
FLOPS
2004
Springer
16 years 15 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
197
click to vote
ICLP
2004
Springer
16 years 15 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
151
click to vote
ILP
2004
Springer
16 years 15 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
152
click to vote
ILP
2004
Springer
16 years 15 days ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...