| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Maarten de Rijke 31 Brandon Bennett , Clare Dixon , Michael Fisher , Ullrich Hustadt , Enrico Franconi , Ian Horrocks , Maarten de Rijke: Combinations of Modal Logics. Artificial Intelligence Review 17 (1): 1-20 (2002) 30 Christof Monz , Maarten de Rijke: Shallow Morphological Analysis in Monolingual Information Retrieval for Dutch, German, and Italian. CLEF 2001 : 262-277 29 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 28 Natasha Alechina , Stéphane Demri , Maarten de Rijke: Path Constraints from a Modal Logic Point of View. KRDB 2001 27 Christof Monz , Maarten de Rijke: Tequesta: The University of Amsterdam's Textual Question Answering System. TREC 2001 26 Boris Chidlovskii , Jon Ragetli , Maarten de Rijke: Wrapper Generation via Grammar Induction. ECML 2000 : 96-108 25 Boris Chidlovskii , Jon Ragetli , Maarten de Rijke: Automatic Wrapper Generation for Web Search Engines. Web-Age Information Management 2000 : 399-410 24 Carlos Areces , Hans de Nivelle , Maarten de Rijke: Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999 : 187-201 23 Carlos Areces , Wiet Bouma , Maarten de Rijke: Description Logics and Feature Interaction. Description Logics 1999 22 Marco Aiello , Carlos Areces , Maarten de Rijke: Spatial Reasoning for Image Retrieval. Description Logics 1999 21 Carlos Areces , Wiet Bouma , Maarten de Rijke: Feature Interaction as a Satisfiability Problem. MASCOTS 1999 : 339- 20 Christof Monz , Maarten de Rijke: A Tableau Calculus for Pronoun Resolution. TABLEAUX 1999 : 247-262 19 Natasha Kurtonina , Maarten de Rijke: Expressiveness of Concept Expressions in First-Order Description Logics. Artificial Intelligence 107 (2): 303-333 (1999) 18 Oliver Lemon , Maarten de Rijke, Atsushi Shimojima : Editorial: Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information 8 (3): 265-271 (1999) 17 Maarten de Rijke: Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. Journal of Logic, Language and Information 8 (3): 387-390 (1999) 16 Maarten de Rijke: Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language and Information 8 (4): 476-478 (1999) 15 Natasha Alechina , Maarten de Rijke: Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998 : 167-168 14 Christof Monz , Maarten de Rijke: A Resolution Calculus for Dynamic Semantics. JELIA 1998 : 184-198 13 Christof Monz , Maarten de Rijke: Deductions with Meaning. LACL 1998 : 1-10 12 Christof Monz , Maarten de Rijke: A Tableaux Calculus for Ambiguous Quantification. TABLEAUX 1998 : 232-246 11 Natasha Kurtonina , Maarten de Rijke: Simulating Without Negation. Journal of Logic and Computation 7 (4): 501-522 (1997) 10 Patrick Blackburn , Maarten de Rijke: Zooming In, Zooming Out. Journal of Logic, Language and Information 6 (1): 5-31 (1997) 9 Natasha Kurtonina , Maarten de Rijke: Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4): 403-425 (1997) 8 Angelo Montanari , Maarten de Rijke: Two-sorted Metric Temporal Logics. TCS 183 (2): 187-214 (1997) 7 Patrick Blackburn , Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37 (2): 161-166 (1996) 6 Angelo Montanari , Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995 : 385-399 5 Patrick Blackburn , Wilfried Meyer-Viol , Maarten de Rijke: A Proof System for Finite Trees. CSL 1995 : 86-105 4 Wiebe van der Hoek , Maarten de Rijke: Counting Objects. Journal of Logic and Computation 5 (3): 325-345 (1995) 3 Maarten de Rijke: The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3): 227-250 (1995) 2 Patrick Blackburn , Claire Gardent , Maarten de Rijke: Back and Forth Through Time and Events. ICTL 1994 : 225-237 1 Maarten de Rijke: The Modal Logic of Inequality. The Journal of Symbolic Logic 57 (2): 566-584 (1992)  DiSC'02 © 2003 Association for Computing Machinery |
