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
Electronic Edition
(link)
BibTeX
Piero A. Bonatti
:
Reasoning with infinite stable models.
75-111
Electronic Edition
(link)
BibTeX
Volume 156, Number 2, July 2004
Haym Hirsh
,
Nina Mishra
,
Leonard Pitt
:
Version spaces and the consistency problem.
115-138
Electronic Edition
(link)
BibTeX
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
Electronic Edition
(link)
BibTeX
Matteo Cristani
,
Robin Hirsch
:
The complexity of constraint satisfaction problems for small relation algebras.
177-196
Electronic Edition
(link)
BibTeX
James D. Park
,
Adnan Darwiche
:
A differential semantics for jointree algorithms.
197-216
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:49:49 2009 by
Michael Ley
(
ley@uni-trier.de
)