| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
|
Greenberg, Harvey J.
|
|
2000
|
28 |
1-4 |
p. 17-20
|
artikel
|
| 2 |
Artificial intelligence: Retrospective/prospective
|
Dershowitz, Nachum
|
|
2000
|
28 |
1-4 |
p. 3-5
|
artikel
|
| 3 |
Bayes networks for estimating the number of solutions of constraint networks
|
Meisels, Amnon
|
|
2000
|
28 |
1-4 |
p. 169-186
|
artikel
|
| 4 |
Combining assisted and automated deduction
|
Kirchner, Hélène
|
|
2000
|
28 |
1-4 |
p. 21-26
|
artikel
|
| 5 |
Compute‐intensive methods in artificial intelligence
|
Selman, Bart
|
|
2000
|
28 |
1-4 |
p. 35-38
|
artikel
|
| 6 |
Deep Blue's contribution to AI
|
Newborn, Monty
|
|
2000
|
28 |
1-4 |
p. 27-30
|
artikel
|
| 7 |
Editor's remarks
|
|
|
2000
|
28 |
1-4 |
p. 1-2
|
artikel
|
| 8 |
Exploiting focal points among alternative solutions: Two approaches
|
Kraus, Sarit
|
|
2000
|
28 |
1-4 |
p. 187-258
|
artikel
|
| 9 |
Foundations of distributed interaction systems
|
Fayzullin, Marat
|
|
2000
|
28 |
1-4 |
p. 127-168
|
artikel
|
| 10 |
Higher order generalization and its application in program verification
|
Lu, Jianguo
|
|
2000
|
28 |
1-4 |
p. 107-126
|
artikel
|
| 11 |
Natural language processing and intelligent interfaces
|
Stock, Oliviero
|
|
2000
|
28 |
1-4 |
p. 39-41
|
artikel
|
| 12 |
Probabilities of causation: Bounds and identification
|
Tian, Jin
|
|
2000
|
28 |
1-4 |
p. 287-313
|
artikel
|
| 13 |
Relevance sensitive belief structures
|
Chopra, Samir
|
|
2000
|
28 |
1-4 |
p. 259-285
|
artikel
|
| 14 |
Remarks on computational learning theory
|
Turán, György
|
|
2000
|
28 |
1-4 |
p. 43-45
|
artikel
|
| 15 |
Some interesting research directions in satisfiability
|
Franco, John
|
|
2000
|
28 |
1-4 |
p. 7-15
|
artikel
|
| 16 |
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation
|
Richter, Michael M.
|
|
2000
|
28 |
1-4 |
p. 31-33
|
artikel
|
| 17 |
Temporal representation and reasoning in artificial intelligence: Issues and approaches
|
Chittaro, Luca
|
|
2000
|
28 |
1-4 |
p. 47-106
|
artikel
|
| 18 |
The logic of events
|
Shafer, Glenn
|
|
2000
|
28 |
1-4 |
p. 315-389
|
artikel
|
Tijdschrift beschrijving