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 - 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 - James P. Delgrande, Torsten Schaub:
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. 301-348