|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A foundationalist view of the AGM theory of belief change |
Bochman, Alexander |
2000 |
116 | 1-2 |
p. 237-263 27 p. |
artikel |
|
| 2 | A modal logic for subjective default reasoning |
Ben-David, Shai |
2000 |
116 | 1-2 |
p. 217-236 20 p. |
artikel |
|
| 3 | Author index of Volume 29 |
2000 |
116 | 1-2 |
p. 329-330 2 p. |
artikel |
||
| 4 | Conformality in the self-organization network |
Liou, Cheng-Yuan |
2000 |
116 | 1-2 |
p. 265-286 22 p. |
artikel |
|
| 5 | Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) |
McIlraith, Sheila A. |
2000 |
116 | 1-2 |
p. 87-121 35 p. |
artikel |
|
| 6 | On some tractable classes in deduction and abduction |
del Val, Alvaro |
2000 |
116 | 1-2 |
p. 297-313 17 p. |
artikel |
|
| 7 | On the complexity of choosing the branching literal in DPLL |
Liberatore, Paolo |
2000 |
116 | 1-2 |
p. 315-326 12 p. |
artikel |
|
| 8 | On the decidability and complexity of reasoning about only knowing |
Rosati, Riccardo |
2000 |
116 | 1-2 |
p. 193-215 23 p. |
artikel |
|
| 9 | Proving theorems by reuse |
Walther, Christoph |
2000 |
116 | 1-2 |
p. 17-66 50 p. |
artikel |
|
| 10 | Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system |
Vilhelm, Christian |
2000 |
116 | 1-2 |
p. 67-85 19 p. |
artikel |
|
| 11 | Tractable approximations for temporal constraint handling |
Hirsch, Robin |
2000 |
116 | 1-2 |
p. 287-295 9 p. |
artikel |
|
| 12 | Unsupervised stratification of cross-validation for accuracy estimation |
Diamantidis, N.A. |
2000 |
116 | 1-2 |
p. 1-16 16 p. |
artikel |
|
| 13 | Using temporal logics to express search control knowledge for planning |
Bacchus, Fahiem |
2000 |
116 | 1-2 |
p. 123-191 69 p. |
artikel |
13 gevonden resultaten