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. (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. (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) 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

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

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

Article | 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)

Massios, N.A., Voorbraak, F.P.J.M. (1999) Hierarchical decision-theoretic robotic surveillance.

Technical Report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE

Massios, N.A. (2000) A note on the surveillance state space size.

Institute for Logic Language and Computation.

Report | UvA-DARE

Massios, N.A. (2002) Decision-Theoretic Robotic Surveillance.

Thesis, fully internal | UvA-DARE

Mastop, R.J. (2002) Permission and social dependency: A formal approach.

In Proceedings of NASSLLI-1 (pp 58-66)

Mastop, R.J. (2003) Imperatives and tense.

In Dekker, P.J.E. van Rooij, R.A.M. (Eds.), Proceedings of the 14th Amsterdam Colloquium (pp 49-54). ILLC.