| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Maarten de Rijke Valentin Jijkoun , Maarten de Rijke: Answer Selection in a Multi-stream Open Domain Question Answering System. ECIR 2004 : 99-111 Jaap Kamps , Maarten de Rijke: The effectiveness of combining information retrieval strategies for European languages. SAC 2004 : 1073-1077 Vera Hollink , Jaap Kamps , Christof Monz , Maarten de Rijke: Monolingual Document Retrieval for European Languages. Inf. Retr. 7 (1-2): 33-52 (2004) 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 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 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 Boris Chidlovskii , Jon Ragetli , Maarten de Rijke: Automatic Wrapper Generation for Web Search Engines. Web-Age Information Management 2000 : 399-410 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 [ 28 ] 2 [ 21 ] [ 40 ] 3 [ 19 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 32 ] [ 35 ] [ 37 ] 4 [ 42 ] 5 [ 3 ] [ 7 ] [ 9 ] [ 11 ] [ 13 ] 6 [ 27 ] [ 29 ] 7 [ 47 ] [ 48 ] 8 [ 33 ] [ 34 ] 9 [ 40 ] 10 [ 42 ] 11 [ 42 ] 12 [ 45 ] 13 [ 32 ] [ 42 ] 14 [ 38 ] 15 [ 3 ] 16 [ 35 ] [ 47 ] [ 48 ] 17 [ 32 ] 18 [ 35 ] 19 [ 6 ] 20 [ 49 ] 21 [ 42 ] 22 [ 42 ] 23 [ 51 ] 24 [ 43 ] [ 46 ] [ 49 ] [ 50 ] 25 [ 12 ] [ 14 ] [ 15 ] [ 25 ] 26 [ 24 ] 27 [ 46 ] 28 [ 7 ] 29 [ 8 ] [ 10 ] 30 [ 16 ] [ 17 ] [ 18 ] [ 26 ] [ 39 ] [ 41 ] [ 43 ] [ 49 ] 31 [ 30 ] [ 37 ] [ 44 ] 32 [ 38 ] 33 [ 38 ] 34 [ 33 ] [ 34 ] 35 [ 32 ] [ 45 ] 36 [ 24 ] 37 [ 46 ] 38 [ 4 ]  ©2004 Association for Computing Machinery |
