Journal of Automated Reasoning (JAR), Volume 14

Volume 14, Number 1, February 1995

Commonsense and Nonmonotonic Reasoning

Volume 14, Number 2, April 1995

Volume 14, Number 3, June 1995