nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
|
Lin, Fangzhen |
|
2002 |
140 |
1-2 |
p. 175-205 31 p. |
artikel |
2 |
Author Index—Volume 140 (2002)
|
|
|
2002 |
140 |
1-2 |
p. 253-254 2 p. |
artikel |
3 |
Binary vs. non-binary constraints ☆ ☆ This paper includes results that first appeared in [1,4,23]. This research has been supported in part by the Canadian Government through their NSERC and IRIS programs, and by the EPSRC Advanced Research Fellowship program.
|
Bacchus, Fahiem |
|
2002 |
140 |
1-2 |
p. 1-37 37 p. |
artikel |
4 |
Context-specific sign-propagation in qualitative probabilistic networks
|
Renooij, Silja |
|
2002 |
140 |
1-2 |
p. 207-230 24 p. |
artikel |
5 |
Disjunctions, independence, refinements
|
Broxvall, Mathias |
|
2002 |
140 |
1-2 |
p. 153-173 21 p. |
artikel |
6 |
Editorial Board
|
|
|
2002 |
140 |
1-2 |
p. IFC- 1 p. |
artikel |
7 |
Erratum to: Drift analysis and average time complexity of evolutionary algorithms
|
He, Jun |
|
2002 |
140 |
1-2 |
p. 245-248 4 p. |
artikel |
8 |
Forthcoming Papers
|
|
|
2002 |
140 |
1-2 |
p. 249-252 4 p. |
artikel |
9 |
Master Index—Volumes 131–140
|
|
|
2002 |
140 |
1-2 |
p. 255-262 8 p. |
artikel |
10 |
Nagging: A scalable fault-tolerant paradigm for distributed search
|
Segre, Alberto Maria |
|
2002 |
140 |
1-2 |
p. 71-106 36 p. |
artikel |
11 |
On point-duration networks for temporal reasoning
|
Navarrete, I. |
|
2002 |
140 |
1-2 |
p. 39-70 32 p. |
artikel |
12 |
Solving multi-granularity temporal constraint networks
|
Bettini, Claudio |
|
2002 |
140 |
1-2 |
p. 107-152 46 p. |
artikel |
13 |
Subject Index—Volumes 131–140
|
|
|
2002 |
140 |
1-2 |
p. 263-266 4 p. |
artikel |
14 |
Tractable combinatorial auctions and b-matching
|
Tennenholtz, Moshe |
|
2002 |
140 |
1-2 |
p. 231-243 13 p. |
artikel |