Artificial Intelligence, Volume 90
Volume 90, Numbers 1-2, February 1997
Martin C. Cooper: Fundamental Properties of Neighbourhood Substitution in Constraint Satisfaction Problems. 1-24
Yuval Shahar: A Framework for Knowledge-Based Temporal Abstraction. 79-133
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Computing Answers with Model Elimination. 135-176
Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. 177-223
Gerard Vreeswijk: Abstract Argumentation Systems. 225-279
James P. Delgrande, Torsten Schaub: Compiling Specificity Into Approaches to Nonmonotonic Reasoning. 301-348



