|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A logical approach to efficient Max-SAT solving |
Larrosa, Javier |
2008 |
172 | 2-3 |
p. 204-233 30 p. |
artikel |
|
| 2 | Automatic scoring of short handwritten essays in reading comprehension tests |
Srihari, Sargur |
2008 |
172 | 2-3 |
p. 300-324 25 p. |
artikel |
|
| 3 | Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence |
Denœux, Thierry |
2008 |
172 | 2-3 |
p. 234-264 31 p. |
artikel |
|
| 4 | Editorial Board |
2008 |
172 | 2-3 |
p. IFC- 1 p. |
artikel |
||
| 5 | Graphically structured value-function compilation |
Brafman, Ronen I. |
2008 |
172 | 2-3 |
p. 325-349 25 p. |
artikel |
|
| 6 | MEBN: A language for first-order Bayesian knowledge bases |
Laskey, Kathryn Blackmond |
2008 |
172 | 2-3 |
p. 140-178 39 p. |
artikel |
|
| 7 | Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics |
Knott, Alistair |
2008 |
172 | 2-3 |
p. 69-102 34 p. |
artikel |
|
| 8 | Phase transition in a random NK landscape model |
Choi, Sung-Soon |
2008 |
172 | 2-3 |
p. 179-203 25 p. |
artikel |
|
| 9 | Redundancy in logic II: 2CNF and Horn propositional formulae |
Liberatore, Paolo |
2008 |
172 | 2-3 |
p. 265-299 35 p. |
artikel |
|
| 10 | State-set branching: Leveraging BDDs for heuristic search |
Jensen, Rune M. |
2008 |
172 | 2-3 |
p. 103-139 37 p. |
artikel |
10 gevonden resultaten