|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal framework for evaluating heuristic programs |
Lenore Cowen |
1998 |
22 | 3 |
p. 193-206 14 p. |
artikel |
|
| 2 | Anytime clausal reasoning |
Mukesh Dalal |
1998 |
22 | 3 |
p. 297-318 22 p. |
artikel |
|
| 3 | Automating the synthesis of decision procedures in a constructive metatheory |
Alessandro Armando |
1998 |
22 | 3 |
p. 259-279 21 p. |
artikel |
|
| 4 | Boosting complete techniques thanks to local search methods |
Bertrand Mazure |
1998 |
22 | 3 |
p. 319-331 13 p. |
artikel |
|
| 5 | Logic knowledge bases with two default rules |
Carolina Ruiz |
1998 |
22 | 3 |
p. 333-361 29 p. |
artikel |
|
| 6 | Nonmonotonic reasoning from complexity to algorithms |
C. Cayrol |
1998 |
22 | 3 |
p. 207-236 30 p. |
artikel |
|
| 7 | Tractable plan existence does not imply tractable plan generation |
Peter Jonsson |
1998 |
22 | 3 |
p. 281-296 16 p. |
artikel |
|
| 8 | Using computational learning strategies as a tool for combinatorial optimization |
Andreas Birkendorf |
1998 |
22 | 3 |
p. 237-257 21 p. |
artikel |
8 gevonden resultaten