1995-001 | Erik Sandewall: Reasoning about Actions and Change with Ramification. In: Computer Science Today. Jan Leeuwen, editors, pp. 486-504. Springer-Verlag, 1995. |
1995-002 | Erik Sandewall and Yoav Shoham: Nonmonotonic Temporal Reasoning. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Dov Gabbay, C.J. Hogger and J.A. Robinson, editors, pp. 439-498. Clarendon, 1995. |