default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial 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.
last updated on 2024-11-19 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
