


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.