[L5] ================================================ AMAST Links 02 07

         Annals of Maths and AI, Issue on declarative knowledge

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207L5.txt

  The content of the special issue on Declarative Knowledge
of the _Annals of Mathematics and Artificial Intelligence_
(Volume 14, No. 1, 1995 edited by Wlodek Zadrozny) is as follows
 o  pp. 1-16, P.A. Bensch and W.J. Savitch, An occurrence-based model 
    of word categorization
 o  pp. 17-36, S. Costantini, G.A. Lanzarone and L. Sbarbaro, A formal
    definition and a sound implementation of analogical reasoning in 
    logic programming
 o  pp. 37-74, A. Torres, A nondeterministic well-founded semantics
 o  pp. 75-98, Y. Zhang and N.Y. Foo, Applying the persistent set 
    approach in temporal reasoning
 o  pp. 99-133, S. Hoelldobler and M. Thielscher, Computing change 
    and specificity with equational logic programs