Παρακολούθηση
maarten marx
maarten marx
Assistant Professor of Computer Science, University of Amsterdam
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uva.nl
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Using WordNet to measure semantic orientations of adjectives.
J Kamps, M Marx, RJ Mokken, M De Rijke
LREC 4, 1115-1118, 2004
10102004
Multi-dimensional modal logic
M Marx, Y Venema
Multi-Dimensional Modal Logic, 1-9, 1997
3041997
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2842001
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
2552007
Words with attitude
J Kamps, M Marx
2062001
Effective headlines of newspaper articles in a digital environment
J Kuiken, A Schuth, M Spitters, M Marx
Digital Journalism 5 (10), 1300-1314, 2017
1832017
A road-map on complexity for hybrid logics
C Areces, P Blackburn, M Marx
International Workshop on Computer Science Logic, 307-321, 1999
1791999
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
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1462000
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1442005
XPath with conditional axis relations
M Marx
International Conference on Extending Database Technology, 477-494, 2004
1412004
Semantic characterizations of navigational XPath
M Marx, M De Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1232005
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
912007
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
871999
The quality of the XML web
S Grijzenhout, M Marx
Journal of web semantics 19, 59-68, 2013
842013
Algebraic relativization and arrow logic
MJ Marx
ILLC dissertations Series, 1995
831995
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
801999
Tableaux for quantified hybrid logic
P Blackburn, M Marx
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
762002
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
742006
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20