von Engelhardt, J. (2002) The language of graphics.

Thesis, fully internal | UvA-DARE

von Kügelgen, J. Mohamed, A. Beckers, S. (2023) Backtracking Counterfactuals.

Proceedings of Machine Learning Research, Vol. 213 (pp 177-196)

Article | https://doi.org/10.48550/arXiv.2211.00472 | UvA-DARE

Voorbaak, F. Massios, N.A. (1998) Decision-Theoretic planning for autonomous robotic surveillance.

In Proc. ECAI'98 Workshop Decision theory meets artificial intelligence, qualitative and quantitative approaches (pp 23-32) (-). Univ. of Brighton.

Voorbraak, F.P.J.M. Massios, N.A. (2001) Decision-theoretic planning for autonomous robotic surveillance.

Applied Intelligence, Vol. 14 (pp 253-262)

Article | https://doi.org/10.1023/A:1011238618944 | UvA-DARE

Voorbraak, F.P.J.M. (1994) Bookreview of Default Reasoning: Causal and Conditional Theories.

AI Communications, Vol. 7 (pp 66-67)

Article | UvA-DARE

Voorbraak, F.P.J.M. (1995) Reasoning with Uncertainty in AI.

In van Lambalgen, Michiel Dorst, Leo Voorbraak, Frans (Eds.), Reasoning with Uncertainty in Robotics (pp 43-91). University of Amsterdam.

Voorbraak, F.P.J.M. (1995) Combining unreliable pieces of evidence.

research Report. onbekend (FdL).

Report | UvA-DARE

Voorbraak, F.P.J.M. (1996) Reasoning with Uncertainty in AI.

In van Lambalgen, M. Dorst, L. Voorbraak, F.P.J.M. (Eds.), Reasoning with Uncertainty in Robotics (pp 52-90). Springer Verlag.

Voorbraak, F.P.J.M. (1996) Evidence combination in AI and robotics.

In van der Gaag, L.C. Meyer, J.-J.Ch. (Eds.), NAIC'96. Proc. of the 8th Dutch Conference on Artificial Intelligence (pp 369-379). Utrecht university.

Voorbraak, F.P.J.M. (1997) Combining evidence under partial ignorance.

In Gabbay, D. (Eds.), Qualitative and quantitative practical reasoning (pp 574-588) (LNAI). Springer.

Voorbraak, F.P.J.M. (1997) Deciding under partial ignorance.

In Eurobot'97 (pp 66-72). IEEE/CS Press.

Voorbraak, F.P.J.M. (1997) Decision analysis using partial probability theory.

In Doyle, J. (Eds.), Qualitative Preferences in Deliberation and Practical Reasoning

Voorbraak, F.P.J.M. (1997) A nonmonotonic observation logic.

Research report. onbekend (FdL).

Report | UvA-DARE

Voorbraak, F.P.J.M. (1999) Partial probability: theory and applications.

In Cozman, F.G. de Cooman, G. Moral, S. Walley, P. (Eds.), ISIPTA'99. Proceedings of the First International Symposium on Imprecise Probabilities and Their Applications (pp 360-368). Universiteit Gent.

Voorbraak, F.P.J.M. (1999) Probabilistic belief change: enpansion, conditioning, and constraining.

In Laskey, K.B. Prade, H. (Eds.), Uncertainty in Artificial Intelligence. Proceedings of the Fifteenth Conference (pp 656-662). Morgan Kaufmann.

Voorbraak, F.P.J.M. (2000) Partial probability: theory and applications.

International Journal of Uncertainty and Knowledge-Based Systems, Vol. 8 (pp 331-345)

Article | https://doi.org/10.1142/S021848850000023X | UvA-DARE

Vosmaer, J. (2009) MacNeille completion and profinite completion can coincide on finitely generated modal algebras.

Algebra Universalis, Vol. 61 (pp 449-453)

Article | https://doi.org/10.1007/s00012-009-0028-9 | UvA-DARE

Vosmaer, J. (2010) A new version of an old modal incompleteness theorem.

Bulletin of the Section of Logic, Vol. 39 (pp 199-204)

Article | http://www.filozof.uni.lodz.pl/bulletin/pdf/39_34_9.pdf | UvA-DARE

Vosmaer, J. (2010) Logic, algebra and topology: investigations into canonical extensions, duality theory and point-free topology.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Wagemaker, J. Foster, N. Kappé, T. Kozen, D. Rot, J. Silva, A. (2022) Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.

In Sergey, I. (Eds.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022 : proceedings (pp 575-602) (Lecture Notes in Computer Science
Advanced Research in Computing and Software Science, Vol. 13240). Springer.