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
Volume 156, Number 2, July 2004
- 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