| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Maarten de Rijke Gabriel Infante-Lopez , Maarten de Rijke: Sequences of Part of Speech Tags vs. Sequences of Phrase Labels: How Do They Help in Parsing? CICLing 2006 : 180-191 Gilad Mishne , Maarten de Rijke: A Study of Blog Search. ECIR 2006 : 289-301 Caterina Caracciolo , Maarten de Rijke: Generating and Retrieving Text Segments for Focused Access to Scientific Documents. ECIR 2006 : 350-361 Marijn Koolen , Frans Adriaans , Jaap Kamps , Maarten de Rijke: A Cross-Language Approach to Historic Document Retrieval. ECIR 2006 : 407-419 Lucas Bouma , Maarten de Rijke: Specificity Helps Text Classification. ECIR 2006 : 539-542 David Ahn , Sisay Fissaha Adafre , Maarten de Rijke: Towards Task-Based Temporal Extraction and Recognition. Annotating, Extracting and Reasoning about Time and Events 2005 Gilad Mishne , Maarten de Rijke: Boosting Web Retrieval through Query Operations. BNAIC 2005 : 369-370 Jaap Kamps , Maarten Marx , Maarten de Rijke, Börkur Sigurbjörnsson : Structured queries in XML retrieval. CIKM 2005 : 4-11 Valentin Jijkoun , Maarten de Rijke: Retrieving answers from frequently asked questions pages on the web. CIKM 2005 : 76-83 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: Recognizing Textual Entailment: Is Word Similarity Enough?. MLCW 2005 : 449-460 Leonie IJzereef , Jaap Kamps , Maarten de Rijke: Biomedical Retrieval: How Can a Thesaurus Help?. OTM Conferences (2) 2005 : 1432-1448 David Ahn , Sisay Fissaha Adafre , Maarten de Rijke: Recognizing and Interpreting Temporal Expressions in Open Domain Texts. We Will Show Them! (1) 2005 : 31-50 Jaap Kamps , Maarten de Rijke, Börkur Sigurbjörnsson : The Importance of Length Normalization for XML Retrieval. Inf. Retr. 8 (4): 631-654 (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) Maarten Marx , Maarten de Rijke: Semantic characterizations of navigational XPath. SIGMOD Record 34 (2): 41-46 (2005) 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 Jaap Kamps , Sisay Fissaha Adafre , Maarten de Rijke: Effective Translation, Tokenization and Combination for Cross-Lingual Retrieval. CLEF 2004 : 123-134 Bernardo Magnini , Alessandro Vallin , Christelle Ayache , Gregor Erbach , Anselmo Peñas , Maarten de Rijke, Paulo Rocha , Kiril Ivanov Simov , Richard F. E. Sutcliffe : Overview of the CLEF 2004 Multilingual Question Answering Track. CLEF 2004 : 371-391 David Ahn , Valentin Jijkoun , Karin Müller , Maarten de Rijke, Stefan Schlobach , Gilad Mishne : Making Stone Soup: Evaluating a Recall-Oriented Multi-stream Question Answering System for Dutch. CLEF 2004 : 423-434 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 Natasha Alechina , Stéphane Demri , Maarten de Rijke: A Modal Perspective on Path Constraints. J. Log. Comput. 13 (6): 939-956 (2003) Hans de Nivelle , Maarten de Rijke: Deciding the guarded fragments by resolution. J. Symb. Comput. 35 (1): 21-58 (2003) Frank Wolter , Heinrich Wansing , Maarten de Rijke, Michael Zakharyaschev : Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000 World Scientific 2002 Gabriel Infante-Lopez , Carlos Areces , Maarten de Rijke: Controlled Model Exploration. Advances in Modal Logic 2002 : 205-220 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) Michael Zakharyaschev , Krister Segerberg , Maarten de Rijke, Heinrich Wansing : Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 CSLI Publications 2000 Carlos Areces , Maarten de Rijke: From Description to Hybrid Logics, and Back. Advances in Modal Logic 2000 : 17-36 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) Michael Zakharyaschev , Krister Segerberg , Maarten de Rijke, Heinrich Wansing : The Origins of Modern Modal Logic. Advances in Modal Logic 1998 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 [ 38 ] 2 [ 82 ] [ 89 ] [ 97 ] 3 [ 99 ] 4 [ 70 ] [ 87 ] 5 [ 80 ] [ 89 ] [ 97 ] 6 [ 29 ] 7 [ 21 ] [ 47 ] [ 56 ] 8 [ 19 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 33 ] [ 38 ] [ 40 ] [ 41 ] [ 44 ] [ 53 ] 9 [ 81 ] 10 [ 49 ] 11 [ 3 ] [ 7 ] [ 9 ] [ 11 ] [ 13 ] [ 87 ] 12 [ 98 ] 13 [ 28 ] [ 30 ] [ 38 ] 14 [ 61 ] [ 62 ] 15 [ 78 ] [ 100 ] 16 [ 37 ] [ 39 ] 17 [ 47 ] [ 56 ] 18 [ 87 ] 19 [ 49 ] 20 [ 81 ] 21 [ 49 ] 22 [ 59 ] [ 68 ] [ 70 ] 23 [ 33 ] [ 49 ] 24 [ 45 ] 25 [ 87 ] 26 [ 3 ] 27 [ 40 ] [ 61 ] [ 62 ] 28 [ 33 ] 29 [ 87 ] 30 [ 74 ] [ 78 ] 31 [ 40 ] 32 [ 64 ] [ 65 ] 33 [ 6 ] 34 [ 67 ] 35 [ 49 ] 36 [ 49 ] 37 [ 90 ] 38 [ 53 ] [ 102 ] 39 [ 58 ] [ 63 ] [ 77 ] [ 80 ] [ 85 ] [ 91 ] [ 94 ] 40 [ 50 ] [ 51 ] [ 52 ] [ 57 ] [ 60 ] [ 66 ] [ 67 ] [ 69 ] [ 71 ] [ 72 ] [ 73 ] [ 75 ] [ 82 ] [ 83 ] [ 88 ] [ 90 ] [ 95 ] [ 99 ] 41 [ 99 ] 42 [ 12 ] [ 14 ] [ 15 ] [ 26 ] 43 [ 25 ] 44 [ 76 ] [ 84 ] 45 [ 64 ] [ 65 ] [ 81 ] 46 [ 51 ] [ 60 ] [ 69 ] [ 70 ] [ 74 ] [ 86 ] [ 87 ] [ 95 ] 47 [ 7 ] 48 [ 58 ] [ 63 ] [ 80 ] [ 92 ] [ 93 ] [ 96 ] [ 101 ] 49 [ 8 ] [ 10 ] [ 68 ] 50 [ 16 ] [ 17 ] [ 18 ] [ 27 ] [ 34 ] [ 35 ] [ 36 ] [ 46 ] [ 48 ] [ 50 ] [ 52 ] [ 57 ] [ 58 ] [ 66 ] [ 67 ] 51 [ 80 ] 52 [ 31 ] [ 44 ] [ 55 ] 53 [ 45 ] 54 [ 45 ] 55 [ 79 ] 56 [ 64 ] [ 65 ] 57 [ 64 ] [ 65 ] [ 81 ] 58 [ 37 ] [ 39 ] 59 [ 81 ] 60 [ 64 ] [ 65 ] 61 [ 33 ] [ 59 ] 62 [ 58 ] [ 79 ] [ 80 ] 63 [ 22 ] [ 42 ] 64 [ 25 ] 65 [ 51 ] [ 57 ] [ 60 ] [ 66 ] [ 69 ] [ 71 ] [ 72 ] [ 75 ] [ 83 ] [ 88 ] [ 95 ] 66 [ 81 ] 67 [ 81 ] 68 [ 58 ] 69 [ 64 ] [ 65 ] [ 81 ] 70 [ 4 ] 71 [ 64 ] [ 65 ] 72 [ 22 ] [ 42 ] [ 54 ] 73 [ 54 ] 74 [ 22 ] [ 42 ] [ 54 ]  ©2006 Association for Computing Machinery |
