![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.