Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A formal analysis of why heuristic functions work Oommen, B. John
2005
164 1-2 p. 1-22
22 p.
artikel
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.
artikel
3 Author Index—Volume 164 (2005) 2005
164 1-2 p. 283-
1 p.
artikel
4 Editorial Board 2005
164 1-2 p. CO2-
1 p.
artikel
5 Forthcoming Papers 2005
164 1-2 p. 281-282
2 p.
artikel
6 Knowledge updates: Semantics and complexity issues Baral, Chitta
2005
164 1-2 p. 209-243
35 p.
artikel
7 MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability Xing, Zhao
2005
164 1-2 p. 47-80
34 p.
artikel
8 On the logic of cooperation and propositional control van der Hoek, Wiebe
2005
164 1-2 p. 81-119
39 p.
artikel
9 Qualitative decision under uncertainty: back to expected utility Fargier, Hélène
2005
164 1-2 p. 245-280
36 p.
artikel
10 The complexity of contract negotiation Dunne, Paul E.
2005
164 1-2 p. 23-46
24 p.
artikel
11 Understanding planning with incomplete information and sensing Oglietti, Marcelo
2005
164 1-2 p. 171-208
38 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland