The SCEAS System
Navigation Menu

Journals in DBLP

Artif. Intell.
2005, volume: 164, number: 1-2

  1. B. John Oommen, Luís G. Rueda
    A formal analysis of why heuristic functions work. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:1-22 [Journal]
  2. Paul E. Dunne, Michael Wooldridge, Michael Laurence
    The complexity of contract negotiation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:23-46 [Journal]
  3. Zhao Xing, Weixiong Zhang
    MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:47-80 [Journal]
  4. Wiebe van der Hoek, Michael Wooldridge
    On the logic of cooperation and propositional control. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:81-119 [Journal]
  5. Yannick Pencolé, Marie-Odile Cordier
    A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:121-170 [Journal]
  6. Marcelo Oglietti
    Understanding planning with incomplete information and sensing. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:171-208 [Journal]
  7. Chitta Baral, Yan Zhang
    Knowledge updates: Semantics and complexity issues. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:209-243 [Journal]
  8. Hélène Fargier, Régis Sabbadin
    Qualitative decision under uncertainty: back to expected utility. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:164, n:1-2, pp:245-280 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002