| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Maarten de Rijke Gilad Mishne , Maarten de Rijke: Boosting Web Retrieval Through Query Operations. ECIR 2005 : 502-516 Gilad Mishne , Maarten de Rijke: Query Formulation for Answer Projection. ECIR 2005 : 523-526 Valentin Jijkoun , Maarten de Rijke: Enriching the Output of a Parser Using Memory-based Learning. ACL 2004 : 311-318 Gabriel G. Infante López , Maarten de Rijke: Alternative approaches for Generating Bodies of Grammar Rules. ACL 2004 : 454-461 Börkur Sigurbjörnsson , Jaap Kamps , Maarten de Rijke: Processing content-oriented XPath queries. CIKM 2004 : 371-380 Stefan Schlobach , Marius Olsthoorn , Maarten de Rijke: Type Checking in Open-Domain Question Answering. ECAI 2004 : 398-402 Caterina Caracciolo , Willem Robert van Hage , Maarten de Rijke: Towards Topic Driven Access to Full Text Documents. ECDL 2004 : 495-500 Valentin Jijkoun , Maarten de Rijke: Answer Selection in a Multi-stream Open Domain Question Answering System. ECIR 2004 : 99-111 Gabriel G. Infante López , Maarten de Rijke: Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers. EsTAL 2004 : 149-160 Börkur Sigurbjörnsson , Jaap Kamps , Maarten de Rijke: Mixture Models, Overlap, and Structural Hints in XML Element Retrieval. INEX 2004 : 196-210 Willem Robert van Hage , Maarten de Rijke, Maarten Marx : Information Retrieval Support for Ontology Construction and Use. International Semantic Web Conference 2004 : 518-533 Jaap Kamps , Maarten de Rijke: The effectiveness of combining information retrieval strategies for European languages. SAC 2004 : 1073-1077 Börkur Sigurbjörnsson , Jaap Kamps , Maarten de Rijke: Multiple sources of evidence for XML retrieval. SIGIR 2004 : 554-555 Jaap Kamps , Maarten de Rijke, Börkur Sigurbjörnsson : Length normalization in XML retrieval. SIGIR 2004 : 80-87 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 Massimo Franceschet , Angelo Montanari , Maarten de Rijke: Model Checking for Combined Logics with an Application to Mobile Systems. Autom. Softw. Eng. 11 (3): 289-321 (2004) Vera Hollink , Jaap Kamps , Christof Monz , Maarten de Rijke: Monolingual Document Retrieval for European Languages. Inf. Retr. 7 (1-2): 33-52 (2004) Jaap Kamps , Christof Monz , Maarten de Rijke, Börkur Sigurbjörnsson : Language-Dependent and Language-Independent Approaches to Cross-Lingual Text Retrieval. CLEF 2003 : 152-165 Bernardo Magnini , Simone Romagnoli , Alessandro Vallin , Jesús Herrera , Anselmo Peñas , Víctor Peinado , Felisa Verdejo , Maarten de Rijke: The Multiple Language Question Answering Track at CLEF 2003. CLEF 2003 : 471-486 Bernardo Magnini , Simone Romagnoli , Alessandro Vallin , Jesús Herrera , Anselmo Peñas , Víctor Peinado , Felisa Verdejo , Maarten de Rijke: Creating the DISEQuA Corpus: A Test Set for Multilingual Question Answering. CLEF 2003 : 487-500 Valentin Jijkoun , Gilad Mishne , Maarten de Rijke: How Frogs Built the Berlin Wall: A Detailed Error Analysis of a Question Answering System for Dutch. CLEF 2003 : 523-534 Sebastian Brand , Rosella Gennari , Maarten de Rijke: Constraint Programming for Modelling and Solving Modal Satisfability. CP 2003 : 795-800 Sebastian Brand , Rosella Gennari , Maarten de Rijke: Constraint Methods for Modal Satisfiability. CSCLP 2003 : 66-86 Jaap Kamps , Maarten Marx , Maarten de Rijke, Börkur Sigurbjörnsson : XML retrieval: what to retrieve? SIGIR 2003 : 409-410 Massimo Franceschet , Maarten de Rijke, Bernd-Holger Schlingloff : Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003 : 166-173 Valentin Jijkoun , Gilad Mishne , Christof Monz , Maarten de Rijke, Stefan Schlobach , Oren Tsur : The University of Amsterdam at the TREC 2003 Question Answering Track. TREC 2003 : 586-593 Jaap Kamps , Christof Monz , Maarten de Rijke, Börkur Sigurbjörnsson : Approaches to Robust and Web Retrieval. TREC 2003 : 594-599 Hans de Nivelle , Maarten de Rijke: Deciding the guarded fragments by resolution. J. Symb. Comput. 35 (1): 21-58 (2003) Jaap Kamps , Christof Monz , Maarten de Rijke: Combining Evidence for Cross-Language Information Retrieval. CLEF 2002 : 111-126 Jaap Kamps , Maarten Marx , Maarten de Rijke, Börkur Sigurbjörnsson : The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002 : 41-48 Christof Monz , Jaap Kamps , Maarten de Rijke: The University of Amsterdam at TREC 2002. TREC 2002 Brandon Bennett , Clare Dixon , Michael Fisher , Ullrich Hustadt , Enrico Franconi , Ian Horrocks , Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17 (1): 1-20 (2002) Christof Monz , Maarten de Rijke: Shallow Morphological Analysis in Monolingual Information Retrieval for Dutch, German, and Italian. CLEF 2001 : 262-277 Natasha Alechina , Stéphane Demri , Maarten de Rijke: Path Constraints from a Modal Logic Point of View. KRDB 2001 Christof Monz , Maarten de Rijke: Tequesta: The University of Amsterdam's Textual Question Answering System. TREC 2001 Hans Jürgen Ohlbach , Andreas Nonnengart , Maarten de Rijke, Dov M. Gabbay : Encoding Two-Valued Nonclassical Logics in Classical Logic. Handbook of Automated Reasoning 2001 : 1403-1486 Carlos Areces , Maarten de Rijke, Hans de Nivelle : Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. 11 (5): 717-736 (2001) Maarten de Rijke: Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds. Journal of Logic, Language and Information 10 (4): 518-523 (2001) Carlos Areces , Rosella Gennari , Juan Heguiabehere , Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000 : 199-203 Boris Chidlovskii , Jon Ragetli , Maarten de Rijke: Wrapper Generation via Grammar Induction. ECML 2000 : 96-108 Rafael Accorsi , Carlos Areces , Wiet Bouma , Maarten de Rijke: Features as Constraints. FIW 2000 : 210-225 Boris Chidlovskii , Jon Ragetli , Maarten de Rijke: Automatic Wrapper Generation for Web Search Engines. Web-Age Information Management 2000 : 399-410 Christof Monz , Maarten de Rijke: A Tableaux Calculus for Ambiguous Quantification CoRR cs.CL/0009015 : (2000) Christof Monz , Maarten de Rijke: A Tableau Calculus for Pronoun Resolution CoRR cs.CL/0009017 : (2000) Christof Monz , Maarten de Rijke: A Resolution Calculus for Dynamic Semantics CoRR cs.CL/0009018 : (2000) Carlos Areces , Enrico Franconi , Rajeev Goré , Maarten de Rijke, Bernd-Holger Schlingloff : Editorial. Logic Journal of the IGPL 8 (3): (2000) Maarten de Rijke: A Note on Graded Modal Logic. Studia Logica 64 (2): 271-283 (2000) Carlos Areces , Hans de Nivelle , Maarten de Rijke: Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999 : 187-201 Carlos Areces , Wiet Bouma , Maarten de Rijke: Description Logics and Feature Interaction. Description Logics 1999 Marco Aiello , Carlos Areces , Maarten de Rijke: Spatial Reasoning for Image Retrieval. Description Logics 1999 Carlos Areces , Wiet Bouma , Maarten de Rijke: Feature Interaction as a Satisfiability Problem. MASCOTS 1999 : 339- Christof Monz , Maarten de Rijke: A Tableau Calculus for Pronoun Resolution. TABLEAUX 1999 : 247-262 Natasha Kurtonina , Maarten de Rijke: Expressiveness of Concept Expressions in First-Order Description Logics. Artif. Intell. 107 (2): 303-333 (1999) Oliver Lemon , Maarten de Rijke, Atsushi Shimojima : Editorial: Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information 8 (3): 265-271 (1999) Maarten de Rijke: Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. Journal of Logic, Language and Information 8 (3): 387-390 (1999) Maarten de Rijke: Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language and Information 8 (4): 476-478 (1999) Natasha Alechina , Maarten de Rijke: Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998 : 167-168 Maarten de Rijke: Description Logics and Modal Logics. Description Logics 1998 Carlos Areces , Maarten de Rijke: Expressiveness Revisited. Description Logics 1998 Christof Monz , Maarten de Rijke: A Resolution Calculus for Dynamic Semantics. JELIA 1998 : 184-198 Christof Monz , Maarten de Rijke: Deductions with Meaning. LACL 1998 : 1-10 Christof Monz , Maarten de Rijke: A Tableaux Calculus for Ambiguous Quantification. TABLEAUX 1998 : 232-246 Natasha Kurtonina , Maarten de Rijke: Classifying Description Logics. Description Logics 1997 Natasha Kurtonina , Maarten de Rijke: Simulating Without Negation. J. Log. Comput. 7 (4): 501-522 (1997) Patrick Blackburn , Maarten de Rijke: Zooming In, Zooming Out. Journal of Logic, Language and Information 6 (1): 5-31 (1997) Natasha Kurtonina , Maarten de Rijke: Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4): 403-425 (1997) Patrick Blackburn , Maarten de Rijke: Why Combine Logics? Studia Logica 59 (1): 5-27 (1997) Angelo Montanari , Maarten de Rijke: Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183 (2): 187-214 (1997) Patrick Blackburn , Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37 (2): 161-166 (1996) Angelo Montanari , Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995 : 385-399 Patrick Blackburn , Wilfried Meyer-Viol , Maarten de Rijke: A Proof System for Finite Trees. CSL 1995 : 86-105 Wiebe van der Hoek , Maarten de Rijke: Counting Objects. J. Log. Comput. 5 (3): 325-345 (1995) Maarten de Rijke: The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3): 227-250 (1995) Maarten de Rijke, Yde Venema : Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica 54 (1): 61-78 (1995) Patrick Blackburn , Claire Gardent , Maarten de Rijke: Back and Forth Through Time and Events. ICTL 1994 : 225-237 Maarten de Rijke: The Modal Logic of Inequality. J. Symb. Log. 57 (2): 566-584 (1992) Maarten de Rijke: Unary Interpretation Logic. Notre Dame Journal of Formal Logic 33 (2): 249-272 (1992) 1 [ 37 ] 2 [ 64 ] 3 [ 28 ] 4 [ 21 ] [ 44 ] 5 [ 19 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 32 ] [ 37 ] [ 39 ] [ 41 ] 6 [ 46 ] 7 [ 3 ] [ 7 ] [ 9 ] [ 11 ] [ 13 ] 8 [ 27 ] [ 29 ] [ 37 ] 9 [ 55 ] [ 56 ] 10 [ 72 ] 11 [ 36 ] [ 38 ] 12 [ 44 ] 13 [ 46 ] 14 [ 46 ] 15 [ 53 ] [ 62 ] [ 64 ] 16 [ 32 ] [ 46 ] 17 [ 42 ] 18 [ 3 ] 19 [ 39 ] [ 55 ] [ 56 ] 20 [ 32 ] 21 [ 68 ] [ 72 ] 22 [ 39 ] 23 [ 58 ] [ 59 ] 24 [ 6 ] 25 [ 61 ] 26 [ 46 ] 27 [ 46 ] 28 [ 52 ] [ 57 ] [ 71 ] [ 76 ] 29 [ 47 ] [ 48 ] [ 49 ] [ 51 ] [ 54 ] [ 60 ] [ 61 ] [ 63 ] [ 65 ] [ 66 ] [ 67 ] [ 69 ] [ 74 ] 30 [ 12 ] [ 14 ] [ 15 ] [ 25 ] 31 [ 24 ] 32 [ 70 ] [ 75 ] 33 [ 58 ] [ 59 ] 34 [ 48 ] [ 54 ] [ 63 ] [ 64 ] [ 68 ] 35 [ 7 ] 36 [ 52 ] [ 57 ] [ 77 ] [ 78 ] 37 [ 8 ] [ 10 ] [ 62 ] 38 [ 16 ] [ 17 ] [ 18 ] [ 26 ] [ 33 ] [ 34 ] [ 35 ] [ 43 ] [ 45 ] [ 47 ] [ 49 ] [ 51 ] [ 52 ] [ 60 ] [ 61 ] 39 [ 30 ] [ 41 ] [ 50 ] 40 [ 42 ] 41 [ 42 ] 42 [ 73 ] 43 [ 58 ] [ 59 ] 44 [ 58 ] [ 59 ] 45 [ 36 ] [ 38 ] 46 [ 58 ] [ 59 ] 47 [ 32 ] [ 53 ] 48 [ 52 ] [ 73 ] 49 [ 24 ] 50 [ 48 ] [ 51 ] [ 54 ] [ 60 ] [ 63 ] [ 65 ] [ 66 ] [ 69 ] [ 74 ] 51 [ 52 ] 52 [ 58 ] [ 59 ] 53 [ 4 ] 54 [ 58 ] [ 59 ]  ©2005 Association for Computing Machinery |
