Artificial Intelligence, Volume 156

Volume 156, Number 1, June 2004

• Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  E-connections of abstract description systems. 1-73
  
• Piero A. Bonatti:
  Reasoning with infinite stable models. 75-111
  

Volume 156, Number 2, July 2004

• Haym Hirsh, Nina Mishra, Leonard Pitt:
  Version spaces and the consistency problem. 115-138
  
• Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán:
  Theory revision with queries: Horn, read-once, and parity formulas. 139-176
  
• Matteo Cristani, Robin Hirsch:
  The complexity of constraint satisfaction problems for small relation algebras. 177-196
  
• James D. Park, Adnan Darwiche:
  A differential semantics for jointree algorithms. 197-216