uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Marx, M., Mikulás, Sz. (2002) An elementary construction for a non-elementary procedure.
    Studia Logica, Vol. 72 (pp 253-263)
    Article | UvA-DARE
  • Marx, M., Treur, J. (2001) Trust dynamics formalised in temporal logic.
    In Chen, L. Zhuo, Y. (Eds.), Proc. of the Third International Conference on Cognitive Scienc, ICCS 2001 (pp 359-363)
    Conference contribution | UvA-DARE
  • Marx, M., Venema, Y. (1999) A modal logic of relations.
    In Orlowska, E. (Eds.), Logic at Work: Essays Dedicated to the Memory of Elena Rasiowa (pp 124-167). Physica-Verlag.
    Chapter | UvA-DARE
  • Marx, M., Venema, Y. (2000) Local variations on a loose theme: modal logic and decidability.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • 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.
    Chapter | UvA-DARE
  • 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
    Chapter | UvA-DARE
  • Marx, M. (1998) Amalgamation in relation algebras.
    Journal of Symbolic Logic, Vol. 63 (pp 479-484)
  • Marx, M. (2001) Relation algebra with binders.
    Journal of Logic and Computation, Vol. 11 (pp 691-700)
  • 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
    Conference contribution | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
  • 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.
    Conference contribution | UvA-DARE
  • 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)
    Conference contribution | UvA-DARE
1 ... 186 187 188 189 190 191 192 193 194 ... 308

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact