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
Electronic Edition
(link)
BibTeX
Paul E. Dunne
,
Michael Wooldridge
,
Michael Laurence
:
The complexity of contract negotiation.
23-46
Electronic Edition
(link)
BibTeX
Zhao Xing
,
Weixiong Zhang
:
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.
47-80
Electronic Edition
(link)
BibTeX
Wiebe van der Hoek
,
Michael Wooldridge
:
On the logic of cooperation and propositional control.
81-119
Electronic Edition
(link)
BibTeX
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
Electronic Edition
(link)
BibTeX
Marcelo Oglietti
:
Understanding planning with incomplete information and sensing.
171-208
Electronic Edition
(link)
BibTeX
Chitta Baral
,
Yan Zhang
:
Knowledge updates: Semantics and complexity issues.
209-243
Electronic Edition
(link)
BibTeX
Hélène Fargier
,
Régis Sabbadin
:
Qualitative decision under uncertainty: back to expected utility.
245-280
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:49:49 2009 by
Michael Ley
(
ley@uni-trier.de
)