|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formal analysis of why heuristic functions work |
Oommen, B. John |
2005 |
164 | 1-2 |
p. 1-22 22 p. |
article |
|
| 2 | A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks |
Pencolé, Yannick |
2005 |
164 | 1-2 |
p. 121-170 50 p. |
article |
|
| 3 | Author Index—Volume 164 (2005) |
2005 |
164 | 1-2 |
p. 283- 1 p. |
article |
||
| 4 | Editorial Board |
2005 |
164 | 1-2 |
p. CO2- 1 p. |
article |
||
| 5 | Forthcoming Papers |
2005 |
164 | 1-2 |
p. 281-282 2 p. |
article |
||
| 6 | Knowledge updates: Semantics and complexity issues |
Baral, Chitta |
2005 |
164 | 1-2 |
p. 209-243 35 p. |
article |
|
| 7 | MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability |
Xing, Zhao |
2005 |
164 | 1-2 |
p. 47-80 34 p. |
article |
|
| 8 | On the logic of cooperation and propositional control |
van der Hoek, Wiebe |
2005 |
164 | 1-2 |
p. 81-119 39 p. |
article |
|
| 9 | Qualitative decision under uncertainty: back to expected utility |
Fargier, Hélène |
2005 |
164 | 1-2 |
p. 245-280 36 p. |
article |
|
| 10 | The complexity of contract negotiation |
Dunne, Paul E. |
2005 |
164 | 1-2 |
p. 23-46 24 p. |
article |
|
| 11 | Understanding planning with incomplete information and sensing |
Oglietti, Marcelo |
2005 |
164 | 1-2 |
p. 171-208 38 p. |
article |
11 results found