Annals of Maths and AI, Issue on declarative knowledge
The
full version
of this announcement is available.
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
-
pp. 1-16, P.A. Bensch and W.J. Savitch, An occurrence-based model
of word categorization
-
pp. 17-36, S. Costantini, G.A. Lanzarone and L. Sbarbaro, A formal
definition and a sound implementation of analogical reasoning in
logic programming
-
pp. 37-74, A. Torres, A nondeterministic well-founded semantics
-
pp. 75-98, Y. Zhang and N.Y. Foo, Applying the persistent set
approach in temporal reasoning
-
pp. 99-133, S. Hoelldobler and M. Thielscher, Computing change
and specificity with equational logic programs