maarten marx
maarten marx
Assistant Professor of Computer Science, University of Amsterdam
Bestätigte E-Mail-Adresse bei uva.nl
Titel
Zitiert von
Zitiert von
Jahr
Using WordNet to measure semantic orientations of adjectives.
J Kamps, M Marx, RJ Mokken, M De Rijke
LREC 4, 1115-1118, 2004
9632004
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
2642001
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
2342007
Words with attitude
J Kamps, M Marx
1932001
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
1512004
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1392000
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1382005
XPath with conditional axis relations
M Marx
International Conference on Extending Database Technology, 477-494, 2004
1352004
Semantic characterizations of navigational XPath
M Marx, M De Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1202005
Effective headlines of newspaper articles in a digital environment
J Kuiken, A Schuth, M Spitters, M Marx
Digital Journalism 5 (10), 1300-1314, 2017
1122017
Conditional XPath, the first order complete XPath dialect
M Marx
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1022004
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
862007
Algebraic relativization and arrow logic
MJ Marx
ILLC dissertations Series, 1995
801995
The quality of the XML web
S Grijzenhout, M Marx
Journal of web semantics 19, 59-68, 2013
792013
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
761999
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
761999
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
742002
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
692008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20