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

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

Last update Thu May 23 18:13:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page