default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaarten Marx
Person information
- affiliation: University of Amsterdam, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j58]Ruben van Heusden, Jaap Kamps, Maarten Marx:
Bcubed revisited: elements like me. Discov. Comput. 27(1): 5 (2024)- [j57]Ruben van Heusden
, Maarten Marx:
A sharper definition of alignment for Panoptic Quality. Pattern Recognit. Lett. 185: 87-93 (2024) - [c87]Femke Bakker, Ruben van Heusden, Maarten Marx:
Timeline Extraction from Decision Letters Using ChatGPT. CASE 2024: 24-31 - [c86]Ruben van Heusden, Jaap Kamps, Maarten Marx:
OpenPSS: An Open Page Stream Segmentation Benchmark. TPDL (1) 2024: 413-429 - 2023
- [j56]Lukas Busch, Ruben van Heusden, Maarten Marx:
Using Deep-Learned Vector Representations for Page Stream Segmentation by Agglomerative Clustering. Algorithms 16(5): 259 (2023) - [j55]Ruben van Heusden, Jaap Kamps, Maarten Marx:
Neural Coreference Resolution for Dutch Parliamentary Documents with the DutchParliament Dataset. Data 8(2): 34 (2023) - [j54]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, Katrien Depuydt, Tommaso Agnoloni, Giulia Venturi, María Calzada Pérez, Luciana D. de Macedo, Costanza Navarretta, Giancarlo Luxardo, Matthew Coole, Paul Rayson, Vaidas Morkevicius, Tomas Krilavicius, Roberts Dargis, Orsolya Ring, Ruben van Heusden, Maarten Marx, Darja Fiser:
The ParlaMint corpora of parliamentary proceedings. Lang. Resour. Evaluation 57(1): 415-448 (2023) - [j53]Daan Schueler, Maarten Marx:
Speech acts in the Dutch COVID-19 Press Conferences. Lang. Resour. Evaluation 57(2): 869-892 (2023) - [c85]Maarten Marx, Maik Larooij, Filipp Perasedillo, Jaap Kamps:
Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers. ECIR (3) 2023: 269-274 - [c84]Ruben van Heusden, Hazel Ling, Lars Nelissen, Maarten Marx:
Making PDFs Accessible for Visually Impaired Users (and Findable for Everybody Else). TPDL 2023: 239-245 - [c83]Ruben van Heusden, Aron de Ruijter, Roderick Majoor, Maarten Marx:
Detection of Redacted Text in Legal Documents. TPDL 2023: 310-316 - 2022
- [c82]Roan Schellingerhout, Volodymyr Medentsiy, Maarten Marx:
Explainable Career Path Predictions using Neural Models. HR@RecSys 2022 - [c81]Ruben van Heusden, Jaap Kamps, Maarten Marx:
WooIR: A New Open Page Stream Segmentation Dataset. ICTIR 2022: 24-33 - [c80]Ruben van Heusden, Jaap Kamps, Maarten Marx:
BCubed Revisited: Elements Like Me. ICTIR 2022: 127-132 - [i12]Maarten Marx:
The most general manner to injectively align true and predicted segments. CoRR abs/2212.13445 (2022) - 2021
- [j52]Jenny Heddes, Pim Meerdink, Miguel Pieters, Maarten Marx:
The Automatic Detection of Dataset Names in Scientific Articles. Data 6(8): 84 (2021) - [j51]Hosein Azarbonyad, Mostafa Dehghani, Maarten Marx, Jaap Kamps:
Learning to rank for multi-label text classification: Combining different sources of information. Nat. Lang. Eng. 27(1): 89-111 (2021)
2010 – 2019
- 2019
- [j50]Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke:
HiTR: Hierarchical Topic Model Re-Estimation for Measuring Topical Diversity of Documents. IEEE Trans. Knowl. Data Eng. 31(11): 2124-2137 (2019) - [c79]Hosein Azarbonyad, Maarten Marx:
How Many Labels? Determining the Number of Labels in Multi-Label Text Classification. CLEF 2019: 156-163 - [c78]Mahsa S. Shahshahani, Jaap Kamps, Maarten Marx:
University of Amsterdam at the TREC 2019 Complex Answer Retrieval Track. TREC 2019 - 2018
- [i11]Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke:
HiTR: Hierarchical Topic Model Re-estimation for Measuring Topical Diversity of Documents. CoRR abs/1810.05436 (2018) - 2017
- [j49]Evgeny Sherkhonov, Maarten Marx:
Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons. Inf. Process. Lett. 120: 30-39 (2017) - [c77]Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx:
Telling How to Narrow it Down: Browsing Path Recommendation for Exploratory Search. CHIIR 2017: 369-372 - [c76]Hosein Azarbonyad, Mostafa Dehghani, Kaspar Beelen, Alexandra Arkut, Maarten Marx, Jaap Kamps:
Words are Malleable: Computing Semantic Shifts in Political and Media Discourse. CIKM 2017: 1509-1518 - [c75]Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke:
Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. ECIR 2017: 68-81 - [c74]Alex Olieman, Kaspar Beelen, Milan van Lange, Jaap Kamps, Maarten Marx:
Good Applications for Crummy Entity Linkers?: The Case of Corpus Selection in Digital Humanities. SEMANTiCS 2017: 81-88 - [c73]Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx:
On Search Powered Navigation. ICTIR 2017: 317-320 - [i10]Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke:
Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. CoRR abs/1701.04273 (2017) - [i9]Alex Olieman, Kaspar Beelen, Milan van Lange, Jaap Kamps, Maarten Marx:
Good Applications for Crummy Entity Linkers? The Case of Corpus Selection in Digital Humanities. CoRR abs/1708.01162 (2017) - [i8]Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx:
On Search Powered Navigation. CoRR abs/1711.00310 (2017) - [i7]Hosein Azarbonyad, Mostafa Dehghani, Kaspar Beelen, Alexandra Arkut, Maarten Marx, Jaap Kamps:
Words are Malleable: Computing Semantic Shifts in Political and Media Discourse. CoRR abs/1711.05603 (2017) - 2016
- [j48]Maarten Marx, Evgeny Sherkhonov:
Containment for queries over trees with attribute value comparisons. Inf. Syst. 58: 1-13 (2016) - [j47]Steven Laan, Maarten Marx, Robert J. Mokken:
Close communities in social networks: boroughs and 2-clubs. Soc. Netw. Anal. Min. 6(1): 20:1-20:16 (2016) - [c72]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
Generalized Group Profiling for Content Customization. CHIIR 2016: 245-248 - [c71]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Djoerd Hiemstra, Maarten Marx:
Luhn Revisited: Significant Words Language Models. CIKM 2016: 1301-1310 - [c70]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
Two-Way Parsimonious Classification Models for Evolving Hierarchies. CLEF 2016: 69-82 - [c69]Janneke M. van der Zwaan, Maarten Marx, Jaap Kamps:
Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings. ECAI 2016: 28-36 - [c68]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
On Horizontal and Vertical Separation in Hierarchical Text Classification. ICTIR 2016: 185-194 - [c67]Mostafa Dehghani, Jaap Kamps, Hosein Azarbonyad, Maarten Marx:
Significant Words Language Models for Contextual Suggestion. TREC 2016 - [i6]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
Generalized Group Profiling for Content Customization. CoRR abs/1609.00511 (2016) - [i5]Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:
On Horizontal and Vertical Separation in Hierarchical Text Classification. CoRR abs/1609.00514 (2016) - 2015
- [j46]Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov:
Containment for Conditional Tree Patterns. Log. Methods Comput. Sci. 11(2) (2015) - [c66]Hosein Azarbonyad, Ferron Saan, Mostafa Dehghani, Maarten Marx, Jaap Kamps:
Are Topically Diverse Documents Also Interesting? CLEF 2015: 215-221 - [c65]Mostafa Dehghani, Hosein Azarbonyad, Maarten Marx, Jaap Kamps:
Sources of Evidence for Automatic Indexing of Political Texts. ECIR 2015: 568-573 - [c64]Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder:
A Hybrid Approach to Domain-Specific Entity Linking. SEMANTiCS (Posters & Demos) 2015: 55-58 - [c63]Hosein Azarbonyad, Mostafa Dehghani, Maarten Marx, Jaap Kamps:
Time-Aware Authorship Attribution for Short Text Streams. SIGIR 2015: 727-730 - [i4]Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder:
A Hybrid Approach to Domain-Specific Entity Linking. CoRR abs/1509.01865 (2015) - [i3]Steven Laan, Maarten Marx, Robert J. Mokken:
Close Communities in Social Networks: Boroughs and 2-Clubs. CoRR abs/1510.08662 (2015) - 2014
- [j45]Hinke Piersma, Ismee Tames, Lars Buitinck, Johan van Doornik, Maarten Marx:
War in Parliament: What a Digital Approach Can Add to the Study of Parliamentary History. Digit. Humanit. Q. 8(1) (2014) - [j44]Suzan Verberne, Eva D'hondt, Antal van den Bosch, Maarten Marx:
Automatic thematic classification of election manifestos. Inf. Process. Manag. 50(4): 554-567 (2014) - [c62]Alex Olieman, Hosein Azarbonyad, Mostafa Dehghani, Jaap Kamps, Maarten Marx:
Entity linking by focusing DBpedia candidate entities. ERD@SIGIR 2014: 13-24 - [i2]Maarten Marx:
Linking Historical Entities to the Linked Open Data Cloud. ERCIM News 2014(96) (2014) - 2013
- [j43]Steven Grijzenhout, Maarten Marx:
The quality of the XML Web. J. Web Semant. 19: 59-68 (2013) - [c61]Bart de Goede, Justin van Wees, Maarten Marx:
PoliticalMashup Ngramviewer. DIR 2013: 54-55 - [c60]Bart de Goede, Justin van Wees, Maarten Marx, Ridho Reinanda:
PoliticalMashup Ngramviewer - Tracking Who Said What and When in Parliament. TPDL 2013: 446-449 - [c59]Tatiana Tarasova, Maarten Marx:
ParlBench: A SPARQL Benchmark for Electronic Publishing Applications. ESWC (Satellite Events) 2013: 5-21 - [c58]Victor de Boer, Johan van Doornik, Lars Buitinck, Maarten Marx, Tim Veken, Kees Ribbens:
Linking the kingdom: enriched access to a historiographical text. K-CAP 2013: 17-24 - [c57]Tatiana Tarasova, Massimo Argenti, Maarten Marx:
Semantically-Enabled Environmental Data Discovery and Integration: Demonstration Using the Iceland Volcano Use Case. KESW 2013: 289-297 - [c56]Evgeny Sherkhonov, Maarten Marx:
Containment for Tree Patterns with Attribute Value Comparisons. WebDB 2013: 7-12 - 2012
- [j42]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, 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) - [j41]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, Josiane Mothe, Michael Preminger, Georgina 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) - [c55]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 - [c54]Lars Buitinck, Maarten Marx:
Two-Stage Named-Entity Recognition Using Averaged Perceptrons. NLDB 2012: 171-176 - 2011
- [j40]Maarten Marx, Tim Gielissen:
Digital weight watching: reconstruction of scanned documents. Int. J. Document Anal. Recognit. 14(2): 229-239 (2011) - [j39]Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees:
30 Years of PODS in facts and figures. SIGMOD Rec. 40(3): 54-60 (2011) - [c53]Steven Grijzenhout, Maarten Marx:
The quality of the XML web. CIKM 2011: 1719-1724 - [c52]Anne Schuth, Maarten Marx:
Evaluation Methods for Rankings of Facetvalues for Faceted Search. CLEF 2011: 131-136 - [c51]Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees:
Succinct summaries of narrative events using social networks. HT 2011: 299-304 - [c50]Qiuyue Wang, Georgina Ramírez, Maarten Marx, Martin Theobald, Jaap Kamps:
Overview of the INEX 2011 Data-Centric Track. INEX 2011: 118-137 - [c49]Anne Schuth, Maarten Marx:
University of Amsterdam Data Centric Ad Hoc and Faceted Search Runs. INEX 2011: 155-160 - 2010
- [j38]Rianne Kaptein, Maarten Marx:
Focused retrieval and result aggregation with political data. Inf. Retr. 13(5): 412-433 (2010) - [j37]Balder ten Cate, Tadeusz Litak, Maarten Marx:
Complete axiomatizations for XPath fragments. J. Appl. Log. 8(2): 153-172 (2010) - [c48]Maarten Marx:
The surplus value of semantic annotations. ESAIR 2010: 3-4 - [c47]Maarten Marx, Nelleke Aders, Anne Schuth:
Digital sustainable publication of legacy parliamentary proceedings. DG.O 2010: 99-104 - [c46]Maarten Marx, Anne Schuth:
DutchParl. The Parliamentary Documents in Dutch. LREC 2010 - [c45]Maarten Marx, Arjan Nusselder:
What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. OKCon 2010: 22-28 - [c44]Maria-Hendrike Peetz, Maarten Marx:
Tree patterns with Full Text Search. WebDB 2010
2000 – 2009
- 2009
- [j36]Maarten Marx:
Advanced Information Access to Parliamentary Debates. J. Digit. Inf. 10(6) (2009) - [j35]Balder ten Cate, Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009) - [c43]Tim Gielissen, Maarten Marx:
Digital weight watching: reconstruction of scanned documents. AND 2009: 25-31 - [c42]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 - [c41]Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner:
Recursion in XQuery: put your distributivity safety belt on. EDBT 2009: 345-356 - [c40]Maarten Marx:
Logical Foundations of XML and XQuery. Reasoning Web 2009: 111-157 - [c39]Rianne Kaptein, Maarten Marx, Jaap Kamps:
Who said what to whom?: capturing the structure of debates. SIGIR 2009: 831-832 - 2008
- [j34]Loredana Afanasiev, Maarten Marx:
An analysis of XQuery benchmarks. Inf. Syst. 33(2): 155-181 (2008) - [c38]Maarten Marx:
XPath: (P)DL on Trees. Description Logics 2008 - [c37]Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner:
An Inflationary Fixed Point Operator in XQuery. ICDE 2008: 1504-1506 - [c36]Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke:
Named entity normalization in user generated content. AND 2008: 23-30 - 2007
- [b2]Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437 - [j33]Balder ten Cate, Maarten Marx:
Navigational XPath: calculus and algebra. SIGMOD Rec. 36(2): 19-26 (2007) - [c35]Balder ten Cate, Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148 - [c34]Maarten Marx:
Queries determined by views: pack your views. PODS 2007: 23-30 - [c33]Anne Schuth, Maarten Marx, Maarten de Rijke:
Extracting the discussion structure in comments on news-articles. WIDM 2007: 97-104 - [c32]Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren:
Electoral search using the VerkiezingsKijker: an experience report. WWW 2007: 1155-1156 - [p1]Maarten Marx:
Complexity of modal logic. Handbook of Modal Logic 2007: 139-179 - [i1]Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner:
An Inflationary Fixed Point Operator in XQuery. CoRR abs/0711.3375 (2007) - 2006
- [j32]Maarten Marx:
Navigation in XML Trees. Bull. EATCS 88: 126-140 (2006) - [j31]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) - [c31]Loredana Afanasiev, Maarten Marx:
An Analysis of the Current XQuery Benchmarks. ExpDB 2006: 9-20 - [c30]Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics. KR 2006: 79-89 - [c29]Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel:
XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250 - 2005
- [j30]Balder ten Cate, Maarten Marx, Jorge Petrucio Viana:
Hybrid logics with Sahlqvist axioms. Log. J. IGPL 13(3): 293-300 (2005) - [j29]Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke:
PDL for Ordered Trees. J. Appl. Non Class. Logics 15(2): 115-135 (2005) - [j28]Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche:
The Semijoin Algebra and the Guarded Fragment. J. Log. Lang. Inf. 14(3): 331-343 (2005) - [j27]Maarten Marx, Maarten de Rijke:
Semantic characterizations of navigational XPath. SIGMOD Rec. 34(2): 41-46 (2005) - [j26]Maarten Marx:
Conditional XPath. ACM Trans. Database Syst. 30(4): 929-959 (2005) - [c28]Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson:
Structured queries in XML retrieval. CIKM 2005: 4-11 - [c27]Maarten Marx:
XML Navigation and Tarski's Relation Algebras. CSL 2005: 1-2 - [c26]Maarten Marx:
First Order Paths in Ordered Trees. ICDT 2005: 114-128 - [c25]Evan Goris, Maarten Marx:
Looping Caterpillars. LICS 2005: 51-60 - 2004
- [c24]Maarten Marx:
XPath with Conditional Axis Relations. EDBT 2004: 477-494 - [c23]Jaap Kamps, Maarten Marx, Robert J. Mokken, Maarten de Rijke:
Using WordNet to Measure Semantic Orientations of Adjectives. LREC 2004 - [c22]Maarten Marx:
Conditional XPath, the First Order Complete XPath Dialect. PODS 2004: 13-22 - [c21]Irini Fundulaki, Maarten Marx:
Specifying access control policies for XML documents with XPath. SACMAT 2004: 61-69 - [c20]Willem Robert van Hage, Maarten de Rijke, Maarten Marx:
Information Retrieval Support for Ontology Construction and Use. ISWC 2004: 518-533 - [c19]Maarten Marx, Maarten de Rijke:
Semantic Characterization of Navigational XPath. TDM 2004: 73-79 - [c18]Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke:
CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124 - [c17]Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson:
Best-Match Querying from Document-Centric XML. WebDB 2004: 55-60 - 2003
- [j25]Carlos Areces, Patrick Blackburn, Maarten Marx:
Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. 124(1-3): 287-299 (2003) - [j24]Patrick Blackburn, Maarten Marx:
Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003) - [j23]Nick Bezhanishvili, Maarten Marx:
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Stud Logica 73(3): 367-382 (2003) - [j22]Maarten Marx, Michael Masuch:
Regular equivalence and dynamic logic. Soc. Networks 25(1): 51-65 (2003) - [c16]Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx:
Handling Boolean A Boxes. Description Logics 2003 - [c15]Irini Fundulaki, Maarten Marx:
Mediation of XML Data through Entity Relationship Models. SWDB 2003: 357-380 - [c14]Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson:
XML retrieval: what to retrieve? SIGIR 2003: 409-410 - [c13]Maarten Marx:
XPath and Modal Logics of Finite DAG's. TABLEAUX 2003: 150-164 - 2002
- [j21]Patrick Blackburn, Maarten Marx:
Remarks on Gregory's "Actually" Operator. J. Philos. Log. 31(3): 281-288 (2002) - [j20]Eva Hoogland, Maarten Marx:
Interpolation and Definability in Guarded Fragments. Stud Logica 70(3): 373-409 (2002) - [j19]Maarten Marx:
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Stud Logica 72(2): 233-252 (2002) - [j18]Maarten Marx, Szabolcs Mikulás:
An Elementary Construction for a Non-elementary Procedure. Stud Logica 72(2): 253-263 (2002) - [c12]Maarten Marx:
Narcissists, Stepmothers and Spies. Description Logics 2002 - [c11]Maarten Marx, Mehdi Dastani:
Anaphoric Definitions in Description Logic. EurAsia-ICT 2002: 410-417 - [c10]Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson:
The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002: 41-48 - [c9]Jaap Kamps, Maarten Marx:
Notions of Indistinguishability for Semantic Web Languages. ISWC 2002: 30-38 - [c8]Patrick Blackburn, Maarten Marx:
Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52 - 2001
- [j17]Maarten Marx, Szabolcs Mikulás:
Products, or How to Create Modal Logics of High Complexity. Log. J. IGPL 9(1): 71-82 (2001) - [j16]Patrick Blackburn, Maarten Marx:
Third International Workshop on Hybrid Logic (HyLo'01). Log. J. IGPL 9(5): 735-737 (2001) - [j15]Maarten Marx:
Tolerance Logic. J. Log. Lang. Inf. 10(3): 353-374 (2001) - [j14]Carlos Areces, Patrick Blackburn, Maarten Marx:
Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001) - [j13]Maarten Marx:
Relation Algebra with Binders. J. Log. Comput. 11(5): 691-700 (2001) - [c7]Patrick Blackburn, Jaap Kamps, Maarten Marx:
Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260 - 2000
- [j12]Carlos Areces, Patrick Blackburn, Maarten Marx:
The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL 8(5): 653-679 (2000) - [c6]Maarten Marx, Szabolcs Mikulás, Mark Reynolds:
The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
1990 – 1999
- 1999
- [j11]Maarten Marx, Szabolcs Mikulás, Stefan Schlobach:
Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Log. J. IGPL 7(6): 755-778 (1999) - [j10]Maarten Marx:
Relation Algebras can Tile. Inf. Sci. 119(3-4): 173-191 (1999) - [j9]Maarten Marx:
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. J. Log. Lang. Inf. 8(4): 478-481 (1999) - [j8]Szabolcs Mikulás, Maarten Marx:
Undecidable Relativizations of Algebras of Relations. J. Symb. Log. 64(2): 747-760 (1999) - [j7]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) - [j6]Maarten Marx:
Complexity of Products of Modal Logics. J. Log. Comput. 9(2): 197-214 (1999) - [j5]Maarten Marx, Mark Reynolds:
Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999) - [c5]Carlos Areces, Patrick Blackburn, Maarten Marx:
A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321 - [c4]Eva Hoogland, Maarten Marx, Martin Otto:
Beth Definability for the Guarded Fragment. LPAR 1999: 273-285 - 1998
- [j4]Maarten Marx:
Amalgamation in Relational Algebras. J. Symb. Log. 63(2): 479-484 (1998) - [j3]Maarten Marx, Carlos Areces:
Failure of Interpolation in Combined Modal Logics. Notre Dame J. Formal Log. 39(2): 253-273 (1998) - [c3]Maarten Marx:
Interpolation in Modal Logic. AMAST 1998: 154-163 - 1997
- [b1]Maarten Marx, Yde Venema:
Multi-dimensional modal logic. Applied logic series 4, Kluwer 1997, ISBN 978-0-7923-4345-5, pp. 1-155 - [c2]Maarten Marx:
Relation Algebras Can Tile. RelMiCS 1997: 225-238 - 1996
- [j2]Maarten Marx:
Multi-Dimensional Semantics for Modal Logics. Notre Dame J. Formal Log. 37(1): 25-34 (1996) - [c1]Maarten Marx:
Mosaics and Cylindric Modal Logic of Dimension~2. Advances in Modal Logic 1996: 141-156 - 1995
- [j1]Maarten Marx, Szabolcs Mikulás, István Németi:
Taming Logic. J. Log. Lang. Inf. 4(3): 207-226 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
