Marx, M., Venema, Y. (2007) Local variations on a loose theme: modal logic and decidability.

In Grädel, E. Kolaitis, P. Libkin, L. Marx, M.J. Spencer, J. Vardi, M. Venema, Y. Weinstein, S. (Eds.), Finite Model Theory and its Applications (pp 371-430). Springer Verlag.

Marx, M. (1995) Algebraic Relativization and Arrow Logic.

ILLC dissertations Series.

Thesis, fully internal | UvA-DARE

Marx, M. (1995) Interpolation, Modularization and Knowledge Representation.

In Proceedings of NAIC (Nederlandse AI Conferentie), Rotterdam

Marx, M. (1998) Amalgamation in relation algebras.

Journal of Symbolic Logic, Vol. 63 (pp 479-484)

Article | https://doi.org/10.2307/2586844 | UvA-DARE

Marx, M. (2001) Relation algebra with binders.

Journal of Logic and Computation, Vol. 11 (pp 691-700)

Article | https://doi.org/10.1093/logcom/11.5.691 | UvA-DARE

Marx, M. (2001) Tolerance logic.

Journal of Logic, Language and Information, Vol. 10 (pp 353-373)

Article | UvA-DARE

Marx, M. (2001) Relation Algebra with Binders.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M. (2001) Complexity of intuitionistic predicate logic with one variable.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M. (2002) Narcissists, stepmothers and spies.

In Proceedings of the 2002 International Workshop on Description Logic workshop

Marx, M. (2002) Computing with cylindric modal logics and arrow logics, lower bounds.

Studia Logica, Vol. 72 (pp 233-252)

Article | UvA-DARE

Marx, M. (2003) XPath and modal logics of finite DAG's.

In Mayer, M. Pirri, F. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods (Proc. TABLEAUX 2003), volume 2796 of LNAI (pp 150-164). Springer.

Marx, M. (2004) First order paths in ordered trees.

Lecture Notes in Computer Science, Vol. 3363 (pp 114-128)

Article | UvA-DARE

Marx, M. (2004) Conditional XPath, the first order complete XPath dialect.

In Proceedings of PODS'04 (pp 13-22). ACM Press.

Marx, M. (2004) XPath with conditional axis relations.

Lecture Notes in Computer Science, Vol. 2992 (pp 477-494)

Article | UvA-DARE

Marx, M. (2004) [Review of: R. Hirsch, I. Hodkinson. Relation Algebras and Games].

Studia Logica, Vol. 77 (pp 129-147)

Book/Film/Article/Exhibition review | UvA-DARE

Massios, N.A., Dorst, L., Voorbraak, F.P.J.M. (2001) A strategy for robot surveillance using the hierarchical structure of the environment.

In IJCAI'01 Workshop on Reasoning with Uncertainty in Robotics (pp 43-50)

Massios, N.A., Fisher, R.B. (1998) A best next view selection algorithm Incorporating a quality criterion.

In Lewis, P.H. Nixon, M.S. (Eds.), Proceedings of the Ninth British Machine Vision Conference: University of Southampton, UK, September 14-17, 1998 (pp 780-789). British Machine Vision Association.

Massios, N.A., Voorbaak, F. (1998) Planning strategies for decision-theoretic robotic surveillance.

In Proc. of the tenth Netherlands/ Belgium conference on artificial intelligence (pp 117-126) (-)

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)