8413 search results - page 58 / 1683 » Ordering Problem Subgoals |
DLOG
2003
13 years 9 months ago
2003
We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
JOC
2000
13 years 7 months ago
2000
We present efficient algorithms for computing discrete logarithms in the classgroupofaquadraticorderandforprincipalitytestinginarealquadraticorder,based on the work of D
FUIN
2002
13 years 7 months ago
2002
We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
This paper deals with fair assignment problems in decision contexts involving multiple agents. In such problems, each agent has its own evaluation of costs and we want to find a f...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...