


default search action
Artificial Intelligence, Volume 164
Volume 164, Number 1-2, May 2005
- B. John Oommen

, Luís G. Rueda:
A formal analysis of why heuristic functions work. 1-22 - Paul E. Dunne

, Michael J. Wooldridge, Michael Laurence:
The complexity of contract negotiation. 23-46 - Zhao Xing, Weixiong Zhang

:
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability. 47-80 - Wiebe van der Hoek

, Michael J. Wooldridge:
On the logic of cooperation and propositional control. 81-119 - Yannick Pencolé, Marie-Odile Cordier:

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. 121-170 - Marcelo Oglietti:

Understanding planning with incomplete information and sensing. 171-208 - Chitta Baral, Yan Zhang:

Knowledge updates: Semantics and complexity issues. 209-243 - Hélène Fargier, Régis Sabbadin

:
Qualitative decision under uncertainty: back to expected utility. 245-280

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














