maarten marx
maarten marx
Assistant Professor of Computer Science, University of Amsterdam
Verified email at uva.nl
TitleCited byYear
Using WordNet to measure semantic orientations of adjectives.
J Kamps, M Marx, RJ Mokken, M De Rijke
LREC 4, 1115-1118, 2004
8482004
Multi-dimensional modal logic
M Marx, Y Venema
Multi-Dimensional Modal Logic, 1-9, 1997
2741997
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2402001
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
2042007
Words with attitude
J Kamps, M Marx, RJ Mokken, M de Rijke
Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 2001
1802001
A road-map on complexity for hybrid logics
C Areces, P Blackburn, M Marx
International Workshop on Computer Science Logic, 307-321, 1999
1681999
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
1412004
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1382000
XPath with conditional axis relations
M Marx
International Conference on Extending Database Technology, 477-494, 2004
1322004
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1292005
Semantic characterizations of navigational XPath
M Marx, M De Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1152005
Conditional XPath, the first order complete XPath dialect
M Marx
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
992004
Algebraic relativization and arrow logic
MJ Marx
AmsterdamILLC dissertations Series, 1995
791995
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
782007
Articulating information needs in XML query languages
J Kamps, M Marx, M Rijke, B Sigurbjörnsson
ACM Transactions on Information Systems (TOIS) 24 (4), 407-436, 2006
702006
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
692002
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
691999
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
691999
The quality of the XML web
S Grijzenhout, M Marx
Web Semantics: Science, Services and Agents on the World Wide Web 19, 59-68, 2013
652013
First order paths in ordered trees
M Marx
International Conference on Database Theory, 114-128, 2005
642005
The system can't perform the operation now. Try again later.
Articles 1–20