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

maintained by Schloss Dagstuhl LZI at University of Trier