4573 search results - page 488 / 915 » Automated Reasoning |
296
click to vote
Publication
In this article the author benchmarks Neuroph, JOONE and Encog. These are the three major open source frameworks for Java. Encog also has a .Net version. I will give all three fram...
127
click to vote
LPAR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
154
click to vote
LPAR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
173
Voted
LPNMR
2007
Springer
16 years 8 days ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
142
Voted
LPNMR
2007
Springer
16 years 8 days ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...