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

maintained by Schloss Dagstuhl LZI at University of Trier