4573 search results - page 705 / 915 » Automated Reasoning |
125
Voted
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
142
Voted
FLOPS
2004
Springer
15 years 9 months 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...
123
Voted
FLOPS
2004
Springer
15 years 9 months 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...
122
Voted
ICLP
2004
Springer
15 years 9 months 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 ...
105
Voted
ILP
2004
Springer
15 years 9 months 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...