All publications

1986
1985
L. Brookshaw, A Method of Calculating Radiative Heat Diffusion in Particle Simulations (1985), in: Proc. of Astr. Society of Australia, 6:2(207{\~n}210)
Gerhard Dirlich, Ulrich Furbach and Christian Freksa, Aspekte der Wissensrepräsentation in künstlichen Systemen, in: Lernen im Dialog mit dem Computer, pages 121-130, Urban & Schwarzenberg, München, 1985
D.~Chambers and D.~Reisberg, Can mental images be ambiguous? (1985), in: Journal of Experimental Psychology: Human Perception and Performance, 11(317--328)
Orna Lichtenstein and Amir Pnueli, Checking that finite state concurrent programs satisfy their linear specification, in: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL '85), New Orleans, Louisiana, United States, pages 97--107, ACM, 1985
Christian Freksa, Ulrich Furbach and Gerhard Dirlich, Cognition and Representation, in: GWAI-84. 8th German Workshop on Artificial Intelligence, pages 119-144, Springer, Berlin, 1985
S. C. Hirtle and J. Jonides, Evidence of hierarchies in cognitive maps (1985), in: Memory and Cognition, 13:3(208-217)
Jerry R. Hobbs, Granularity, in: Proceedings of {IJCAI}, pages 432-435, 1985
H. Moravec and A. Elfes, High Resolution Maps from Angle Sonar, in: Proceedings of the IEEE Conference on Robotics and Automation (ICRA-85), pages 116-121, 1985
Lyn A. Streeter and Diane Vitello, How to Tell People Where to Go: Comparing Navigation Aids (1985), in: International Journal of Man-Machine Studies, 22(549--562)
Douglas E. Appelt, Planning Natural Language Utterances, {C}ambridge {U}niversity {P}ress, 1985
A. P. Sistla and E. M. Clarke, The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749)
P. Hayes, The second naive physics manifesto, in: Formal theories of the commonsense world, pages 1-36, Ablex, 1985
Ulrich Furbach, Gerhard Dirlich and Christian Freksa, Towards a theory of knowledge representation systems, in: Artificial Intelligence Methodology, Systems, Applications, pages 77-84, North-Holland, Amsterdam, 1985
Aaron Sloman, Why we need many knowledge representation formalisms, in: Research and development in expert systems. Proceedings BCS Expert Systems Conf. 1984, Cambridge University Press, 1985