Artificial Intelligence, Volume 166

Volume 166, Number 1-2, August 2005

• Ian Pratt-Hartmann:
  Temporal prepositions and their logic. 1-36
  
• Alfonso Gerevini:
  Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class. 37-80
  
• Ernest Davis:
  Knowledge and communication: A first-order theory. 81-139
  
• Candace L. Sidner, Christopher Lee, Cory D. Kidd, Neal Lesh, Charles Rich:
  Explorations in engagement for humans and robots. 140-164
  
• Kalev Kask, Rina Dechter, Javier Larrosa, Avi Dechter:
  Unifying tree decompositions for reasoning in graphical models. 165-193
  
• Ji-Ae Shin, Ernest Davis:
  Processes and continuous change in a SAT-based planner. 194-253