Up: Related Work and Conclusions
Previous: Related Work and Conclusions
This paper is an extended and revised version of a paper by the
same authors appeared in the proceedings of the fifth international
conference on the principles of knowledge representation and reasoning
Partial supported has been given by ASI (Italian Space Agency) and CNR
(National Research Council of Italy).