2585 search results - page 260 / 517 » Automating Coherent Logic |
167
click to vote
FLOPS
2004
Springer
16 years 15 hour 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...
139
click to vote
ILP
2004
Springer
16 years 4 min 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...
179
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
224
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
203
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...