Massios, N. A., & Voorbraak, F. P. J. M. (1999). Hierarchical decision theoretic planning for autonomous robotic surveillance. In EUROBOT'99 3rd European Workshop on Advanced Robotics (pp. 219-226).
Massios, N. A., & Voorbraak, F. P. J. M. (1999). Hierarchical decision-theoretic robotic surveillance. In IJCAI'99 Workshop on Reasoning with Uncertainty in Robot Navigation (pp. 23-33).
Verkruijsse, P. J. (1999). Willem Antonius Hendriks. Jaarboek van de Maatschappij der Nederlandsche Letterkunde te Leiden, 120-123.
de Nivelle, J. M. G. G., & Ganzinger, H. (1999). A Superposition Decision Procedure for the Guarded Fragment with Equality. In G. Longo (Ed.), Fourteenth Annual IEEE Symposium on Logic in Computer Science (pp. 295-303)
Verkruijsse, P. J. (1999). Netwerken [Review of: P. Thissen (1999) Werk, netwerk en let-terwerk van de familie van Hoogstraten]. Literatuur : Tijdschrift over Nederlandse letterkunde, 16, 120-122.
van der Hoek, W. (1999). Interleaved contractions. In Logic, Language and Computation (pp. 106-127). CSLI Publications.
Lobbezoo, F. (1999). Wetenschappelijk congres over gebitsslijtage. Nederlands Tandartsenblad, 54, 559.
Hendriks, A. (1999). System Description: Akka, A workbench for Mathematical Logic. In M. de Rijke (Ed.), M4M. Methods for Modalities 1 ILLC.
Areces, C. E., Hoogland, E., & de Jongh, D. H. J. (1999). Interpolation, definability and fixed points in interpretability logics. In Advances in Modal Logic
Kröse, B. J. A., & Bunschoten, R. (1999). Probabilistic localization by appearance models and active vision. In Proc 1999 IEEE Int. Conf. on Robotics and Automation (pp. 2255-2260)