8413 search results - page 397 / 1683 » Ordering Problem Subgoals |
143
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
183
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
Reinforcement learning is a popular and successful framework for many agent-related problems because only limited environmental feedback is necessary for learning. While many algo...
144
click to vote
ISSAC
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we discuss the use of structured matrix methods for the numerical approximation of the zeros of a univariate polynomial. In particular, it is shown that root-findin...
160
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
148
click to vote
WILF
2005
Springer
16 years 4 days ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...