David A. Randell (randell)

Beiträge zu Philosophie.ch

Bibliography

Cui, Zhan, Cohn, Anthony G. and Randell, David A. 1992. “Qualitative Simulation Based on a Logical Formulation of Space and Time.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 679–684. Menlo Park, California: The AAAI Press.
Randell, David A. and Cohn, Anthony G. 1989. “Modelling Topological and Metrical Properties in Physical Processes.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 357–367. San Francisco, California: Morgan Kaufmann Publishers.
Randell, David A. and Cohn, Anthony G. 1992. “Exploiting Lattices in a Theory of Space and Time.” in Semantic Networks in Artificial Intelligence, edited by Fritz Lehmann, pp. 459–476. Oxford: Pergamon Press.
Randell, David A., Cui, Zhan and Cohn, Anthony G. 1992. “A Spatial Logic Based on Regions and Connection.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 165–176. San Francisco, California: Morgan Kaufmann Publishers.
Randell, David A. and Witkowski, Mark. 2002. “Building Large Composition Tables Via Axiomatic Theories.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 26–35. San Francisco, California: Morgan Kaufmann Publishers.