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
8502004
Multi-dimensional modal logic
M Marx, Y Venema
Multi-Dimensional Modal Logic, 1-9, 1997
2751997
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2382001
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
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
792007
Algebraic relativization and arrow logic
MJ Marx
AmsterdamILLC dissertations Series, 1995
791995
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
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
701999
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
701999
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
692002
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