|
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 | Characterizing causal action theories and their implementations in answer set programming |
Zhang, Haodi |
2017 |
248 | C |
p. 1-8 8 p. |
artikel |
|
| 2 | Commonsense reasoning about containers using radically incomplete information |
Davis, Ernest |
2017 |
248 | C |
p. 46-84 39 p. |
artikel |
|
| 3 | Editorial Board |
2017 |
248 | C |
p. IFC- 1 p. |
artikel |
||
| 4 | Efficiency and complexity of price competition among single-product vendors |
Caragiannis, Ioannis |
2017 |
248 | C |
p. 9-25 17 p. |
artikel |
|
| 5 | From model checking to equilibrium checking: Reactive modules for rational verification |
Gutierrez, Julian |
2017 |
248 | C |
p. 123-157 35 p. |
artikel |
|
| 6 | How many diagnoses do we need? |
Stern, Roni |
2017 |
248 | C |
p. 26-45 20 p. |
artikel |
|
| 7 | On the complexity of the partner units decision problem |
Teppan, Erich Christian |
2017 |
248 | C |
p. 112-122 11 p. |
artikel |
|
| 8 | On the logical properties of the nonmonotonic description logic DL N |
Bonatti, P.A. |
2017 |
248 | C |
p. 85-111 27 p. |
artikel |
8 gevonden resultaten