Taming Logic. - Maarten Marx; Szabolcs Mikulás; István Németi (J. Log. Lang. Inf., 1995)

Mosaics and Cylindric Modal Logic of Dimension 2. - Maarten Marx (Advances in Modal Logic, 1996)

Multi-Dimensional Semantics for Modal Logics. - Maarten Marx (Notre Dame J. Formal Log., 1996)

Multi-dimensional modal logic. - Maarten Marx; Yde Venema (Kluwer, 1997)

Interpolation in Modal Logic. - Maarten Marx (AMAST, 1998)

Amalgamation in Relational Algebras. - Maarten Marx (J. Symb. Log., 1998)

Failure of Interpolation in Combined Modal Logics. - Maarten Marx; Carlos Areces (Notre Dame J. Formal Log., 1998)

A Road-Map on Complexity for Hybrid Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (CSL, 1999)

Beth Definability for the Guarded Fragment. - Eva Hoogland; Maarten Marx; Martin Otto 001 (LPAR, 1999)

Tableau Calculus for Local Cubic Modal Logic and it's Implementation. - Maarten Marx; Szabolcs Mikulás; Stefan Schlobach (Log. J. IGPL, 1999)

Relation Algebras can Tile. - Maarten Marx (Inf. Sci., 1999)

The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. - Maarten Marx (J. Log. Lang. Inf., 1999)

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

Undecidable Relativizations of Algebras of Relations. - Szabolcs Mikulás; Maarten Marx (J. Symb. Log., 1999)

Complexity of Products of Modal Logics. - Maarten Marx (J. Log. Comput., 1999)

Undecidability of Compass Logic. - Maarten Marx; Mark Reynolds 001 (J. Log. Comput., 1999)

The Mosaic Method for Temporal Logics. - Maarten Marx; Szabolcs Mikulás; Mark Reynolds 001 (TABLEAUX, 2000)

The Computational Complexity of Hybrid Temporal Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (Log. J. IGPL, 2000)

Situation Calculus as Hybrid Logic: First Steps. - Patrick Blackburn; Jaap Kamps; Maarten Marx (EPIA, 2001)

Third International Workshop on Hybrid Logic (HyLo'01). - Patrick Blackburn; Maarten Marx (Log. J. IGPL, 2001)

Products, or How to Create Modal Logics of High Complexity. - Maarten Marx; Szabolcs Mikulás (Log. J. IGPL, 2001)

Tolerance Logic. - Maarten Marx (J. Log. Lang. Inf., 2001)

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

Relation Algebra with Binders. - Maarten Marx (J. Log. Comput., 2001)

Narcissists, Stepmothers and Spies. - Maarten Marx (Description Logics, 2002)

Anaphoric Definitions in Description Logic. - Maarten Marx; Mehdi Dastani (EurAsia-ICT, 2002)

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

Notions of Indistinguishability for Semantic Web Languages. - Jaap Kamps; Maarten Marx (ISWC, 2002)

Tableaux for Quantified Hybrid Logic. - Patrick Blackburn; Maarten Marx (TABLEAUX, 2002)

Remarks on Gregory's "Actually" Operator. - Patrick Blackburn; Maarten Marx (J. Philos. Log., 2002)

Interpolation and Definability in Guarded Fragments. - Eva Hoogland; Maarten Marx (Stud Logica, 2002)

Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. - Maarten Marx (Stud Logica, 2002)

An Elementary Construction for a Non-elementary Procedure. - Maarten Marx; Szabolcs Mikulás (Stud Logica, 2002)

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

Mediation of XML Data through Entity Relationship Models. - Irini Fundulaki; Maarten Marx (SWDB, 2003)

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

XPath and Modal Logics of Finite DAG's. - Maarten Marx (TABLEAUX, 2003)

Repairing the interpolation theorem in quantified modal logic. - Carlos Areces; Patrick Blackburn; Maarten Marx (Ann. Pure Appl. Log., 2003)

Constructive interpolation in hybrid logic. - Patrick Blackburn; Maarten Marx (J. Symb. Log., 2003)

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. - Nick Bezhanishvili; Maarten Marx (Stud Logica, 2003)

Regular equivalence and dynamic logic. - Maarten Marx; Michael Masuch (Soc. Networks, 2003)

XPath with Conditional Axis Relations. - Maarten Marx (EDBT, 2004)

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

Conditional XPath, the First Order Complete XPath Dialect. - Maarten Marx (PODS, 2004)

Specifying access control policies for XML documents with XPath. - Irini Fundulaki; Maarten Marx (SACMAT, 2004)

Information Retrieval Support for Ontology Construction and Use. - Willem Robert van Hage; Maarten de Rijke; Maarten Marx (ISWC, 2004)

Semantic Characterization of Navigational XPath. - Maarten Marx; Maarten de Rijke (TDM, 2004)

CTL Model Checking for Processing Simple XPath Queries. - Loredana Afanasiev; Massimo Franceschet; Maarten Marx; Maarten de Rijke (TIME, 2004)

Best-Match Querying from Document-Centric XML. - Jaap Kamps; Maarten Marx; Maarten de Rijke; Börkur Sigurbjörnsson (WebDB, 2004)

Structured queries in XML retrieval. - Jaap Kamps; Maarten Marx; Maarten de Rijke; Börkur Sigurbjörnsson (CIKM, 2005)

XML Navigation and Tarski's Relation Algebras. - Maarten Marx (CSL, 2005)

First Order Paths in Ordered Trees. - Maarten Marx (ICDT, 2005)

Looping Caterpillars. - Evan Goris; Maarten Marx (LICS, 2005)

Hybrid logics with Sahlqvist axioms. - Balder ten Cate; Maarten Marx; Jorge Petrucio Viana (Log. J. IGPL, 2005)

PDL for Ordered Trees. - Loredana Afanasiev; Patrick Blackburn; Ioanna Dimitriou; Bertrand Gaiffe; Evan Goris; Maarten Marx; Maarten de Rijke (J. Appl. Non Class. Logics, 2005)

The Semijoin Algebra and the Guarded Fragment. - Dirk Leinders; Maarten Marx; Jerzy Tyszkiewicz; Jan Van den Bussche (J. Log. Lang. Inf., 2005)

Semantic characterizations of navigational XPath. - Maarten Marx; Maarten de Rijke (SIGMOD Rec., 2005)

Conditional XPath. - Maarten Marx (ACM Trans. Database Syst., 2005)

An Analysis of the Current XQuery Benchmarks. - Loredana Afanasiev; Maarten Marx (ExpDB, 2006)

Definitorially Complete Description Logics. - Balder ten Cate; Willem Conradie; Maarten Marx; Yde Venema (KR, 2006)

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

Navigation in XML Trees. - Maarten Marx (Bull. EATCS, 2006)

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

Complexity of modal logic. - Maarten Marx (Handbook of Modal Logic, 2007)

Queries determined by views: pack your views. - Maarten Marx (PODS, 2007)

Extracting the discussion structure in comments on news-articles. - Anne Schuth; Maarten Marx; Maarten de Rijke (WIDM, 2007)

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

Navigational XPath: calculus and algebra. - Balder ten Cate; Maarten Marx (SIGMOD Rec., 2007)

Finite Model Theory and Its Applications - Erich Grädel; Phokion G. Kolaitis; Leonid Libkin; Maarten Marx; Joel Spencer; Moshe Y. Vardi; Yde Venema; Scott Weinstein (Springer, 2007)

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

An Inflationary Fixed Point Operator in XQuery. - Loredana Afanasiev; Torsten Grust; Maarten Marx; Jan Rittinger; Jens Teubner (ICDE, 2008)

Named entity normalization in user generated content. - Valentin Jijkoun; Mahboob Alam Khalid; Maarten Marx; Maarten de Rijke (AND, 2008)

An analysis of XQuery benchmarks. - Loredana Afanasiev; Maarten Marx (Inf. Syst., 2008)

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

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

Logical Foundations of XML and XQuery. - Maarten Marx (Reasoning Web, 2009)

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

Advanced Information Access to Parliamentary Debates. - Maarten Marx (J. Digit. Inf., 2009)

Axiomatizing the Logical Core of XPath 2.0. - Balder ten Cate; Maarten Marx (Theory Comput. Syst., 2009)

The surplus value of semantic annotations. - Maarten Marx (ESAIR, 2010)

Digital sustainable publication of legacy parliamentary proceedings. - Maarten Marx; Nelleke Aders; Anne Schuth (DG.O, 2010)

DutchParl. The Parliamentary Documents in Dutch. - Maarten Marx; Anne Schuth (LREC, 2010)

What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. - Maarten Marx; Arjan Nusselder (OKCon, 2010)

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

Focused retrieval and result aggregation with political data. - Rianne Kaptein; Maarten Marx (Inf. Retr., 2010)

Complete axiomatizations for XPath fragments. - Balder ten Cate; Tadeusz Litak; Maarten Marx (J. Appl. Log., 2010)

Evaluation Methods for Rankings of Facetvalues for Faceted Search. - Anne Schuth; Maarten Marx (CLEF, 2011)

Succinct summaries of narrative events using social networks. - Bart de Goede; Maarten Marx; Arjan Nusselder; Justin van Wees (HT, 2011)

University of Amsterdam Data Centric Ad Hoc and Faceted Search Runs. - Anne Schuth; Maarten Marx (INEX, 2011)

Overview of the INEX 2011 Data-Centric Track. - Qiuyue Wang; Georgina Ramírez; Maarten Marx; Martin Theobald; Jaap Kamps (INEX, 2011)

Digital weight watching: reconstruction of scanned documents. - Maarten Marx; Tim Gielissen (Int. J. Document Anal. Recognit., 2011)

30 Years of PODS in facts and figures. - Tom J. Ameloot; Maarten Marx; Wim Martens; Frank Neven; Justin van Wees (SIGMOD Rec., 2011)

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

Two-Stage Named-Entity Recognition Using Averaged Perceptrons. - Lars Buitinck; Maarten Marx (NLDB, 2012)

Report on INEX 2012. - Patrice Bellot; Timothy Chappell; Antoine Doucet; Shlomo Geva; Sairam Gurajada; Jaap Kamps; Gabriella Kazai; Marijn Koolen; Monica Landoni; Maarten Marx; Arunav Mishra; Véronique Moriceau; et al. (SIGIR Forum, 2012)

Report on INEX 2011. - Patrice Bellot; Timothy Chappell; Antoine Doucet; Shlomo Geva; Jaap Kamps; Gabriella Kazai; Marijn Koolen; Monica Landoni; Maarten Marx; Véronique Moriceau; Josiane Mothe; Georgina Ramírez; et al. (SIGIR Forum, 2012)

PoliticalMashup Ngramviewer. - Bart de Goede; Justin van Wees; Maarten Marx (DIR, 2013)

PoliticalMashup Ngramviewer - Tracking Who Said What and When in Parliament. - Bart de Goede; Justin van Wees; Maarten Marx; Ridho Reinanda (TPDL, 2013)

ParlBench: A SPARQL Benchmark for Electronic Publishing Applications. - Tatiana Tarasova; Maarten Marx (ESWC (Satellite Events), 2013)

Linking the kingdom: enriched access to a historiographical text. - Victor de Boer; Johan van Doornik; Lars Buitinck; Maarten Marx; Tim Veken; Kees Ribbens (K-CAP, 2013)

Semantically-Enabled Environmental Data Discovery and Integration: Demonstration Using the Iceland Volcano Use Case. - Tatiana Tarasova; Massimo Argenti; Maarten Marx (KESW, 2013)

Containment for Tree Patterns with Attribute Value Comparisons. - Evgeny Sherkhonov; Maarten Marx (WebDB, 2013)

The quality of the XML Web. - Steven Grijzenhout; Maarten Marx (J. Web Semant., 2013)

Entity linking by focusing DBpedia candidate entities. - Alex Olieman; Hosein Azarbonyad; Mostafa Dehghani 001; Jaap Kamps; Maarten Marx (ERD@SIGIR, 2014)

War in Parliament: What a Digital Approach Can Add to the Study of Parliamentary History. - Hinke Piersma; Ismee Tames; Lars Buitinck; Johan van Doornik; Maarten Marx (Digit. Humanit. Q., 2014)

Linking Historical Entities to the Linked Open Data Cloud. - Maarten Marx (ERCIM News, 2014)

Automatic thematic classification of election manifestos. - Suzan Verberne; Eva D'hondt; Antal van den Bosch; Maarten Marx (Inf. Process. Manag., 2014)

Are Topically Diverse Documents Also Interesting? - Hosein Azarbonyad; Ferron Saan; Mostafa Dehghani 001; Maarten Marx; Jaap Kamps (CLEF, 2015)

Sources of Evidence for Automatic Indexing of Political Texts. - Mostafa Dehghani 001; Hosein Azarbonyad; Maarten Marx; Jaap Kamps (ECIR, 2015)

A Hybrid Approach to Domain-Specific Entity Linking. - Alex Olieman; Jaap Kamps; Maarten Marx; Arjan Nusselder (SEMANTiCS (Posters & Demos), 2015)

Time-Aware Authorship Attribution for Short Text Streams. - Hosein Azarbonyad; Mostafa Dehghani 001; Maarten Marx; Jaap Kamps (SIGIR, 2015)

Containment for Conditional Tree Patterns. - Alessandro Facchini; Yoichi Hirai; Maarten Marx; Evgeny Sherkhonov (Log. Methods Comput. Sci., 2015)

Generalized Group Profiling for Content Customization. - Mostafa Dehghani 001; Hosein Azarbonyad; Jaap Kamps; Maarten Marx (CHIIR, 2016)

Luhn Revisited: Significant Words Language Models. - Mostafa Dehghani 001; Hosein Azarbonyad; Jaap Kamps; Djoerd Hiemstra; Maarten Marx (CIKM, 2016)

Two-Way Parsimonious Classification Models for Evolving Hierarchies. - Mostafa Dehghani 001; Hosein Azarbonyad; Jaap Kamps; Maarten Marx (CLEF, 2016)

Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings. - Janneke M. van der Zwaan; Maarten Marx; Jaap Kamps (ECAI, 2016)

On Horizontal and Vertical Separation in Hierarchical Text Classification. - Mostafa Dehghani 001; Hosein Azarbonyad; Jaap Kamps; Maarten Marx (ICTIR, 2016)

Significant Words Language Models for Contextual Suggestion. - Mostafa Dehghani 001; Jaap Kamps; Hosein Azarbonyad; Maarten Marx (TREC, 2016)

Containment for queries over trees with attribute value comparisons. - Maarten Marx; Evgeny Sherkhonov (Inf. Syst., 2016)

Close communities in social networks: boroughs and 2-clubs. - Steven Laan; Maarten Marx; Robert J. Mokken (Soc. Netw. Anal. Min., 2016)

Telling How to Narrow it Down: Browsing Path Recommendation for Exploratory Search. - Mostafa Dehghani 001; Glorianna Jagfeld; Hosein Azarbonyad; Alex Olieman; Jaap Kamps; Maarten Marx (CHIIR, 2017)

Words are Malleable: Computing Semantic Shifts in Political and Media Discourse. - Hosein Azarbonyad; Mostafa Dehghani 001; Kaspar Beelen; Alexandra Arkut; Maarten Marx; Jaap Kamps (CIKM, 2017)

Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. - Hosein Azarbonyad; Mostafa Dehghani 001; Tom Kenter; Maarten Marx; Jaap Kamps; Maarten de Rijke (ECIR, 2017)

Good Applications for Crummy Entity Linkers?: The Case of Corpus Selection in Digital Humanities. - Alex Olieman; Kaspar Beelen; Milan van Lange; Jaap Kamps; Maarten Marx (SEMANTiCS, 2017)

On Search Powered Navigation. - Mostafa Dehghani 001; Glorianna Jagfeld; Hosein Azarbonyad; Alex Olieman; Jaap Kamps; Maarten Marx (ICTIR, 2017)

Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons. - Evgeny Sherkhonov; Maarten Marx (Inf. Process. Lett., 2017)

How Many Labels? Determining the Number of Labels in Multi-Label Text Classification. - Hosein Azarbonyad; Maarten Marx (CLEF, 2019)

University of Amsterdam at the TREC 2019 Complex Answer Retrieval Track. - Mahsa S. Shahshahani; Jaap Kamps; Maarten Marx (TREC, 2019)

HiTR: Hierarchical Topic Model Re-Estimation for Measuring Topical Diversity of Documents. - Hosein Azarbonyad; Mostafa Dehghani 001; Tom Kenter; Maarten Marx; Jaap Kamps; Maarten de Rijke (IEEE Trans. Knowl. Data Eng., 2019)

The Automatic Detection of Dataset Names in Scientific Articles. - Jenny Heddes; Pim Meerdink; Miguel Pieters; Maarten Marx (Data, 2021)

Learning to rank for multi-label text classification: Combining different sources of information. - Hosein Azarbonyad; Mostafa Dehghani 001; Maarten Marx; Jaap Kamps (Nat. Lang. Eng., 2021)

Explainable Career Path Predictions using Neural Models. - Roan Schellingerhout; Volodymyr Medentsiy; Maarten Marx (HR@RecSys, 2022)

WooIR: A New Open Page Stream Segmentation Dataset. - Ruben van Heusden; Jaap Kamps; Maarten Marx (ICTIR, 2022)

The most general manner to injectively align true and predicted segments. - Maarten Marx (CoRR, 2022)

Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers. - Maarten Marx; Maik Larooij; Filipp Perasedillo; Jaap Kamps (ECIR (3), 2023)

Making PDFs Accessible for Visually Impaired Users (and Findable for Everybody Else). - Ruben van Heusden; Hazel Ling; Lars Nelissen; Maarten Marx (TPDL, 2023)

Detection of Redacted Text in Legal Documents. - Ruben van Heusden; Aron de Ruijter; Roderick Majoor; Maarten Marx (TPDL, 2023)

Using Deep-Learned Vector Representations for Page Stream Segmentation by Agglomerative Clustering. - Lukas Busch; Ruben van Heusden; Maarten Marx (Algorithms, 2023)

Speech acts in the Dutch COVID-19 Press Conferences. - Daan Schueler; Maarten Marx (Lang. Resour. Evaluation, 2023)

Neural Coreference Resolution for Dutch Parliamentary Documents with the DutchParliament Dataset. - Ruben van Heusden; Jaap Kamps; Maarten Marx (Data, 2023)

The ParlaMint corpora of parliamentary proceedings. - Tomaz Erjavec; Maciej Ogrodniczuk; Petya Osenova; Nikola Ljubesic; Kiril Simov; Andrej Pancur; Michal Rudolf; Matyás Kopp; Starkaður Barkarson; Steinþór Steingrímsson; Çagri Çöltekin; Jesse de Does; et al. (Lang. Resour. Evaluation, 2023)

Timeline Extraction from Decision Letters Using ChatGPT. - Femke Bakker; Ruben van Heusden; Maarten Marx (CASE, 2024)

OpenPSS: An Open Page Stream Segmentation Benchmark. - Ruben van Heusden; Jaap Kamps; Maarten Marx (TPDL (1), 2024)

Combining Rule-Based and Machine Learning Methods for Efficient Information Extraction from Enforcement Decisions. - Harry Nan; Maarten Marx; Johan Wolswinkel (JURIX, 2024)

Enhancing Access Across Europe for Documents Published According to Freedom of Information Act: Applying Woogle Design and Technique to Estonian Public Information Act Document. - Gerda Viira; Maarten Marx (Data, 2024)

A sharper definition of alignment for Panoptic Quality. - Ruben van Heusden; Maarten Marx (Pattern Recognit. Lett., 2024)

Bcubed revisited: elements like me. - Ruben van Heusden; Jaap Kamps; Maarten Marx (Discov. Comput., 2024)

Lost but Not Only in the Middle - Positional Bias in Retrieval Augmented Generation. - Jan Hutter; David Rau; Maarten Marx; Jaap Kamps (ECIR (1), 2025)

Spoken Question Answering on Municipal Council Meetings. - Pepijn van Wijk; Maarten Marx (ECIR (5), 2025)

Can we Evaluate RAGs with Synthetic Data? - Jonas van Elburg; Peter van der Putten; Maarten Marx (CoRR, 2025)