Preview
Unable to display preview. Download preview PDF.
Bibliography
Bacchus, F., Tenenberg, J. and Koomen, J. A. (1989), ‘A non-reified temporal logic', in Procs. of the 1st Int. Conf. on Principles, of Knowledge. Representation and Reasoning, 2–10.
Chin, R. T. and Dyer, C. R. (1986), ‘Model-Based recognition in Robot Vision', Comp uting Surveys, 18, 67–108.
Prior, A. N. (1955), ‘Diodoran modalities'. Philosophical Quarterly, 5, 205–213.
Rescher, N. and Garson, J. (1968), ‘Topological Logic', Journal of symbolic Logic, 33, 537–548.
Shoham, Y. (1988), Reasoning about change, Cambridge: MIT Press.
Walther, C. (1983), ‘A many sorted calculus based on resolution and paramodulation', in Proceedings of the 8th IJCAI, 882–899.
Wang, H. (1952), ‘Logic of Many-Sorted Theories', Journal of symbolic Logic, 17, 105–116.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abbati, M., Odoardi, S. (1991). A logic for the representation of spatial knowledge. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_255
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_255
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive