Journal of Automated Reasoning (JAR), Volume 15

Volume 15, Number 1, August 1995

Commonsense and Nonmonotonic Reasoning

Volume 15, Number 2, October 1995

Volume 15, Number 3, December 1995