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
9822004
Multi-dimensional modal logic
M Marx, Y Venema
Multi-Dimensional Modal Logic, 1-9, 1997
2921997
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2702001
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
2472007
Words with attitude
J Kamps, M Marx
2002001
A road-map on complexity for hybrid logics
C Areces, P Blackburn, M Marx
International Workshop on Computer Science Logic, 307-321, 1999
1761999
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
1522004
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1422005
Effective headlines of newspaper articles in a digital environment
J Kuiken, A Schuth, M Spitters, M Marx
Digital Journalism 5 (10), 1300-1314, 2017
1402017
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1402000
XPath with conditional axis relations
M Marx
International Conference on Extending Database Technology, 477-494, 2004
1382004
Semantic characterizations of navigational XPath
M Marx, M De Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1212005
Conditional XPath, the first order complete XPath dialect
M Marx
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1042004
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
902007
The quality of the XML web
S Grijzenhout, M Marx
Journal of web semantics 19, 59-68, 2013
812013
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
811999
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
801999
Algebraic relativization and arrow logic
MJ Marx
ILLC dissertations Series, 1995
801995
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
722002
Named entity normalization in user generated content
V Jijkoun, MA Khalid, M Marx, M De Rijke
Proceedings of the second workshop on Analytics for noisy unstructured text …, 2008
712008
The system can't perform the operation now. Try again later.
Articles 1–20