maarten marx
maarten marx
Assistant Professor of Computer Science, University of Amsterdam
Verified email at uva.nl
Title
Cited by
Cited by
Year
Using WordNet to measure semantic orientations of adjectives.
J Kamps, M Marx, RJ Mokken, M De Rijke
LREC 4, 1115-1118, 2004
9422004
Multi-dimensional modal logic
M Marx, Y Venema
Multi-Dimensional Modal Logic, 1-9, 1997
2881997
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
Journal of Symbolic Logic, 977-1010, 2001
2532001
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer Science & Business Media, 2007
2292007
Words with attitude
J Kamps, M Marx, RJ Mokken, M de Rijke
Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 2001
1902001
A road-map on complexity for hybrid logics
C Areces, P Blackburn, M Marx
International Workshop on Computer Science Logic, 307-321, 1999
1731999
Specifying access control policies for XML documents with XPath
I Fundulaki, M Marx
Proceedings of the ninth ACM symposium on Access control models and …, 2004
1462004
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1382000
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1352005
XPath with conditional axis relations
M Marx
International Conference on Extending Database Technology, 477-494, 2004
1342004
Semantic characterizations of navigational XPath
M Marx, M De Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1192005
Conditional XPath, the first order complete XPath dialect
M Marx
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1012004
Effective headlines of newspaper articles in a digital environment
J Kuiken, A Schuth, M Spitters, M Marx
Digital Journalism 5 (10), 1300-1314, 2017
902017
Extracting the discussion structure in comments on news-articles
A Schuth, M Marx, M De Rijke
Proceedings of the 9th annual ACM international workshop on Web information …, 2007
832007
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
771999
Algebraic relativization and arrow logic
MJ Marx
ILLC dissertations Series, 1995
771995
The quality of the XML web
S Grijzenhout, M Marx
Journal of web semantics 19, 59-68, 2013
762013
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
741999
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
722002
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
652006
The system can't perform the operation now. Try again later.
Articles 1–20