| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Maarten Marx Maarten Marx: First Order Paths in Ordered Trees. ICDT 2005 : 114-128 Maarten Marx: XPath with Conditional Axis Relations. EDBT 2004 : 477-494 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: 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 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 , Bernadette Martinez Hernandez , Maarten Marx: Handling Boolean A Boxes. Description Logics 2003 Jaap Kamps , Maarten Marx, Maarten de Rijke , Börkur Sigurbjörnsson : XML retrieval: what to retrieve? SIGIR 2003 : 409-410 Irini Fundulaki , Maarten Marx: Mediation of XML Data through Entity Relationship Models. SWDB 2003 : 357-380 Maarten Marx: XPath and Modal Logics of Finite DAG's. TABLEAUX 2003 : 150-164 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) 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 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) Patrick Blackburn , Jaap Kamps , Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001 : 253-260 Maarten Marx: Relation Algebra with Binders. J. Log. Comput. 11 (5): 691-700 (2001) Carlos Areces , Patrick Blackburn , Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66 (3): 977-1010 (2001) Maarten Marx: Tolerance Logic. Journal of Logic, Language and Information 10 (3): 353-374 (2001) Maarten Marx, Szabolcs Mikulás : Products, or How to Create Modal Logics of High Complexity. Logic Journal of the IGPL 9 (1): (2001) Patrick Blackburn , Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9 (5): (2001) Maarten Marx, Szabolcs Mikulás , Mark Reynolds : The Mosaic Method for Temporal Logics. TABLEAUX 2000 : 324-340 Carlos Areces , Patrick Blackburn , Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8 (5): (2000) 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: Relation Algebras can Tile. Inf. Sci. 119 (3-4): 173-191 (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) 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: The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Journal of Logic, Language and Information 8 (4): 478-481 (1999) 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: Interpolation in Modal Logic. AMAST 1998 : 154-163 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: 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) 1 [ 38 ] 2 [ 4 ] [ 15 ] [ 16 ] [ 21 ] [ 36 ] 3 [ 31 ] 4 [ 15 ] [ 16 ] [ 18 ] [ 21 ] [ 23 ] [ 27 ] [ 32 ] [ 36 ] 5 [ 30 ] 6 [ 38 ] 7 [ 34 ] [ 39 ] 8 [ 41 ] 9 [ 36 ] 10 [ 14 ] [ 26 ] 11 [ 23 ] [ 28 ] [ 29 ] [ 35 ] [ 37 ] 12 [ 1 ] [ 7 ] [ 9 ] [ 10 ] [ 17 ] [ 19 ] [ 24 ] 13 [ 1 ] 14 [ 14 ] 15 [ 11 ] [ 17 ] 16 [ 29 ] [ 35 ] [ 37 ] [ 38 ] [ 41 ] 17 [ 7 ] 18 [ 29 ] [ 35 ] [ 37 ]  ©2005 Association for Computing Machinery |
