Maarten Marx

Steven Grijzenhout, Maarten Marx: The quality of the XML Web. J. Web Sem. 19: 59-68 (2013)

Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, Véronique Moriceau, Josiane Mothe, G. Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, Xavier Tannier, Martin Theobald, Matthew Trappett, Andrew Trotman, Qiuyue Wang: Report on INEX 2011. SIGIR Forum 46(1): 33-42 (2012)

Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Sairam Gurajada, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, A. Mishra, Véronique Moriceau, Josiane Mothe, Michael Preminger, G. Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, A. Schuh, Xavier Tannier, Martin Theobald, Matthew Trappett, Andrew Trotman, Qiuyue Wang: Report on INEX 2012. SIGIR Forum 46(2): 50-59 (2012)

Qiuyue Wang, Jaap Kamps, Georgina Ramírez Camps, Maarten Marx, Anne Schuth, Martin Theobald, Sairam Gurajada, Arunav Mishra: Overview of the INEX 2012 Linked Data Track. CLEF (Online Working Notes/Labs/Workshop) 2012

Lars Buitinck, Maarten Marx: Two-Stage Named-Entity Recognition Using Averaged Perceptrons. NLDB 2012: 171-176

Maarten Marx, Tim Gielissen: Digital weight watching: reconstruction of scanned documents. IJDAR 14(2): 229-239 (2011)

Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees: 30 Years of PODS in facts and figures. SIGMOD Record 40(3): 54-60 (2011)

Steven Grijzenhout, Maarten Marx: The quality of the XML web. CIKM 2011: 1719-1724

Anne Schuth, Maarten Marx: Evaluation Methods for Rankings of Facetvalues for Faceted Search. CLEF 2011: 131-136

Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees: Succinct summaries of narrative events using social networks. HT 2011: 299-304

Rianne Kaptein, Maarten Marx: Focused retrieval and result aggregation with political data. Inf. Retr. 13(5): 412-433 (2010)

Balder ten Cate, Tadeusz Litak, Maarten Marx: Complete axiomatizations for XPath fragments. J. Applied Logic 8(2): 153-172 (2010)

Maarten Marx: The surplus value of semantic annotations. ESAIR 2010: 3-4

Maarten Marx, Nelleke Aders, Anne Schuth: Digital sustainable publication of legacy parliamentary proceedings. DG.O 2010: 99-104

Maarten Marx, Anne Schuth: DutchParl. The Parliamentary Documents in Dutch. LREC 2010

Maarten Marx, Arjan Nusselder: What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. OKCon 2010: 22-28

Maria-Hendrike Peetz, Maarten Marx: Tree patterns with Full Text Search. WebDB 2010

Maarten Marx: Advanced Information Access to Parliamentary Debates. J. Digit. Inf. 10(6) (2009)

Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)

Tim Gielissen, Maarten Marx: Digital weight watching: reconstruction of scanned documents. AND 2009: 25-31

Arjan Nusselder, Hendrike Peetz, Anne Schuth, Maarten Marx: Helping people to choose for whom to vote. a web information system for the 2009 European elections. CIKM 2009: 2095-2096

Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: Recursion in XQuery: put your distributivity safety belt on. EDBT 2009: 345-356

Maarten Marx: Logical Foundations of XML and XQuery. Reasoning Web 2009: 111-157

Rianne Kaptein, Maarten Marx, Jaap Kamps: Who said what to whom?: capturing the structure of debates. SIGIR 2009: 831-832

Loredana Afanasiev, Maarten Marx: An analysis of XQuery benchmarks. Inf. Syst. 33(2): 155-181 (2008)

Maarten Marx: XPath: (P)DL on Trees. Description Logics 2008

Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery. ICDE 2008: 1504-1506

Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke: Named entity normalization in user generated content. AND 2008: 23-30

Balder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)

Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148

Maarten Marx: Queries determined by views: pack your views. PODS 2007: 23-30

Anne Schuth, Maarten Marx, Maarten de Rijke: Extracting the discussion structure in comments on news-articles. WIDM 2007: 97-104

Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren: Electoral search using the VerkiezingsKijker: an experience report. WWW 2007: 1155-1156

Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery. CoRR abs/0711.3375 (2007)

Maarten Marx: Navigation in XML Trees. Bulletin of the EATCS 88: 126-140 (2006)

Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Articulating information needs in XML query languages. ACM Trans. Inf. Syst. 24(4): 407-436 (2006)

Loredana Afanasiev, Maarten Marx: An Analysis of the Current XQuery Benchmarks. ExpDB 2006: 9-20

Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89

Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel: XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250

Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)

Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)

Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche: The Semijoin Algebra and the Guarded Fragment. Journal of Logic, Language and Information 14(3): 331-343 (2005)

Maarten Marx, Maarten de Rijke: Semantic characterizations of navigational XPath. SIGMOD Record 34(2): 41-46 (2005)

Maarten Marx: Conditional XPath. ACM Trans. Database Syst. 30(4): 929-959 (2005)

Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Structured queries in XML retrieval. CIKM 2005: 4-11

Maarten Marx: XML Navigation and Tarski's Relation Algebras. CSL 2005: 1-2

Maarten Marx: First Order Paths in Ordered Trees. ICDT 2005: 114-128

Evan Goris, Maarten Marx: Looping Caterpillars. LICS 2005: 51-60

Maarten Marx: XPath with Conditional Axis Relations. EDBT 2004: 477-494

Jaap Kamps, Maarten Marx, Robert J. Mokken, Maarten de Rijke: Using WordNet to Measure Semantic Orientations of Adjectives. LREC 2004

Maarten Marx: Conditional XPath, the First Order Complete XPath Dialect. PODS 2004: 13-22

Irini Fundulaki, Maarten Marx: Specifying access control policies for XML documents with XPath. SACMAT 2004: 61-69

Willem Robert van Hage, Maarten de Rijke, Maarten Marx: Information Retrieval Support for Ontology Construction and Use. International Semantic Web Conference 2004: 518-533

Maarten Marx, Maarten de Rijke: Semantic Characterization of Navigational XPath. TDM 2004: 73-79

Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124

Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Best-Match Querying from Document-Centric XML. WebDB 2004: 55-60

Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)

Patrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)

Nick Bezhanishvili, Maarten Marx: All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Studia Logica 73(3): 367-382 (2003)

Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003

Irini Fundulaki, Maarten Marx: Mediation of XML Data through Entity Relationship Models. SWDB 2003: 357-380

Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: XML retrieval: what to retrieve? SIGIR 2003: 409-410

Maarten Marx: XPath and Modal Logics of Finite DAG's. TABLEAUX 2003: 150-164

Patrick Blackburn, Maarten Marx: Remarks on Gregory's "Actually" Operator. J. Philosophical Logic 31(3): 281-288 (2002)

Eva Hoogland, Maarten Marx: Interpolation and Definability in Guarded Fragments. Studia Logica 70(3): 373-409 (2002)

Maarten Marx: Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Studia Logica 72(2): 233-252 (2002)

Maarten Marx, Szabolcs Mikulás: An Elementary Construction for a Non-elementary Procedure. Studia Logica 72(2): 253-263 (2002)

Maarten Marx, Mehdi Dastani: Anaphoric Definitions in Description Logic. EurAsia-ICT 2002: 410-417

Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002: 41-48

Jaap Kamps, Maarten Marx: Notions of Indistinguishability for Semantic Web Languages. International Semantic Web Conference 2002: 30-38

Patrick Blackburn, Maarten Marx: Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52

Maarten Marx, Szabolcs Mikulás: Products, or How to Create Modal Logics of High Complexity. Logic Journal of the IGPL 9(1): 71-82 (2001)

Patrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): 735-737 (2001)

Maarten Marx: Tolerance Logic. Journal of Logic, Language and Information 10(3): 353-374 (2001)

Carlos Areces, Patrick Blackburn, Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001)

Maarten Marx: Relation Algebra with Binders. J. Log. Comput. 11(5): 691-700 (2001)

Patrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260

Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): 653-679 (2000)

Maarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340

Maarten Marx, Szabolcs Mikulás, Stefan Schlobach: Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Logic Journal of the IGPL 7(6): 755-778 (1999)

Maarten Marx: Relation Algebras can Tile. Inf. Sci. 119(3-4): 173-191 (1999)

Maarten Marx: The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Journal of Logic, Language and Information 8(4): 478-481 (1999)

Szabolcs Mikulás, Maarten Marx: Undecidable Relativizations of Algebras of Relations. J. Symb. Log. 64(2): 747-760 (1999)

Maarten Marx, Szabolcs Mikulás: Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symb. Log. 64(4): 1563-1572 (1999)

Maarten Marx: Complexity of Products of Modal Logics. J. Log. Comput. 9(2): 197-214 (1999)

Maarten Marx, Mark Reynolds: Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999)

Carlos Areces, Patrick Blackburn, Maarten Marx: A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321

Eva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285

Maarten Marx: Amalgamation in Relational Algebras. J. Symb. Log. 63(2): 479-484 (1998)

Maarten Marx, Carlos Areces: Failure of Interpolation in Combined Modal Logics. Notre Dame Journal of Formal Logic 39(2): 253-273 (1998)

Maarten Marx: Interpolation in Modal Logic. AMAST 1998: 154-163

Maarten Marx: Relation Algebras Can Tile. RelMiCS 1997: 225-238

Maarten Marx: Multi-Dimensional Semantics for Modal Logics. Notre Dame Journal of Formal Logic 37(1): 25-34 (1996)

Maarten Marx, Szabolcs Mikulás, István Németi: Taming Logic. Journal of Logic, Language and Information 4(3): 207-226 (1995)