Artificial Intelligence, Volume 172

Volume 172, Number 1, January 2008

• Sarit Kraus, Penina Hoz-Weiss, Jonathan Wilkenfeld, David R. Andersen, Amy Pate:
  Resolving crises through automated bilateral negotiations. 1-18
  Electronic Edition (link) BibTeX
• Ulrich Rückert, Luc De Raedt:
  An experimental evaluation of simplicity in rule learning. 19-28
  Electronic Edition (link) BibTeX
• Christian Bessiere, Romuald Debruyne:
  Theoretical analysis of singleton arc consistency and its extensions. 29-41
  Electronic Edition (link) BibTeX
• Jim Q. Smith, Paul E. Anderson:
  Conditional independence and chain event graphs. 42-68
  Electronic Edition (link) BibTeX

Volume 172, Numbers 2-3, February 2008

• Alistair Knott, Peter Vlugter:
  Multi-agent human-machine dialogue: issues in dialogue management and referring expression semantics. 69-102
  Electronic Edition (link) BibTeX
• Rune M. Jensen, Manuela M. Veloso, Randal E. Bryant:
  State-set branching: Leveraging BDDs for heuristic search. 103-139
  Electronic Edition (link) BibTeX
• Kathryn B. Laskey:
  MEBN: A language for first-order Bayesian knowledge bases. 140-178
  Electronic Edition (link) BibTeX
• Sung-Soon Choi, Kyomin Jung, Jeong Han Kim:
  Phase transition in a random NK landscape model. 179-203
  Electronic Edition (link) BibTeX
• Javier Larrosa, Federico Heras, Simon de Givry:
  A logical approach to efficient Max-SAT solving. 204-233
  Electronic Edition (link) BibTeX
• Thierry Denoeux:
  Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. 234-264
  Electronic Edition (link) BibTeX
• Paolo Liberatore:
  Redundancy in logic II: 2CNF and Horn propositional formulae. 265-299
  Electronic Edition (link) BibTeX
• Sargur N. Srihari, Jim Collins, Rohini K. Srihari, Harish Srinivasan, Shravya Shetty, Janina Brutt-Griffler:
  Automatic scoring of short handwritten essays in reading comprehension tests. 300-324
  Electronic Edition (link) BibTeX
• Ronen I. Brafman, Carmel Domshlak:
  Graphically structured value-function compilation. 325-349
  Electronic Edition (link) BibTeX

Volume 172, Numbers 4-5, March 2008

• Ralf Gerber, Hans-Hellmut Nagel:
  Representation of occurrences for road vehicle traffic. 351-391
  Electronic Edition (link) BibTeX
• Benoit Morisset, Malik Ghallab:
  Learning how to combine sensory-motor functions into a robust behavior. 392-412
  Electronic Edition (link) BibTeX
• Greg Barish, Craig A. Knoblock:
  Speculative plan execution for information gathering. 413-453
  Electronic Edition (link) BibTeX
• André da Motta Salles Barreto, Charles W. Anderson:
  Restricted gradient-descent algorithm for value-function approximation in reinforcement learning. 454-482
  Electronic Edition (link) BibTeX
• Tim Van Allen, Ajit Singh, Russell Greiner, Peter Hooper:
  Quantifying the uncertainty of a belief net response: Bayesian error-bars for belief net inference. 483-513
  Electronic Edition (link) BibTeX
• Uzi Zahavi, Ariel Felner, Robert C. Holte, Jonathan Schaeffer:
  Duality in permutation state spaces and the dual search algorithm. 514-540
  Electronic Edition (link) BibTeX
• David Sarne, Sarit Kraus:
  Managing parallel inquiries in agents' two-sided search. 541-569
  Electronic Edition (link) BibTeX
• Michael Freund:
  On the notion of concept I. 570-590
  Electronic Edition (link) BibTeX
• Peter Baumgartner, Cesare Tinelli:
  The model evolution calculus as a first-order DPLL method. 591-632
  Electronic Edition (link) BibTeX

Volume 172, Numbers 6-7, April 2008

• Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus, Onn Shehory:
  A study of mechanisms for improving robotic group performance. 633-655
  Electronic Edition (link) BibTeX
• Erica Melis, Andreas Meier, Jörg H. Siekmann:
  Proof planning with multiple strategies. 656-684
  Electronic Edition (link) BibTeX
• Daniel Bryce, Subbarao Kambhampati, David E. Smith:
  Sequential Monte Carlo in reachability heuristics for probabilistic planning. 685-715
  Electronic Edition (link) BibTeX
• Andrea L. Thomaz, Cynthia Breazeal:
  Teachable robots: Understanding human teaching behavior to build more effective robot learners. 716-737
  Electronic Edition (link) BibTeX
• Ian P. Gent, Peter Nightingale, Andrew Rowley, Kostas Stergiou:
  Solving quantified constraint satisfaction problems. 738-771
  Electronic Edition (link) BibTeX
• Mark Chavira, Adnan Darwiche:
  On probabilistic inference by weighted model counting. 772-799
  Electronic Edition (link) BibTeX
• Christian Bessiere, Kostas Stergiou, Toby Walsh:
  Domain filtering consistencies for non-binary constraints. 800-822
  Electronic Edition (link) BibTeX
• Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry:
  Negotiating with bounded rational agents in environments with incomplete information using an automated agent. 823-851
  Electronic Edition (link) BibTeX
• Thomas Lukasiewicz:
  Expressive probabilistic description logics. 852-883
  Electronic Edition (link) BibTeX
• M. M. Olsen, N. Siegelmann-Danieli, Hava T. Siegelmann:
  Robust artificial life via artificial programmed death. 884-898
  Electronic Edition (link) BibTeX