dblp.uni-trier.dewww.uni-trier.de

Maarten de Rijke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
183EEMaarten de Rijke: Searching User Generated Content: What's Next?. ECIR 2009: 2
182EEWouter Weerkamp, Krisztian Balog, Maarten de Rijke: Using Contextual Information to Improve Search in Email Archives. ECIR 2009: 400-411
181EEManos Tsagkias, Martha Larson, Maarten de Rijke: Exploiting Surface Features for the Prediction of Podcast Preference. ECIR 2009: 473-484
180EEMartha Larson, Manos Tsagkias, Jiyin He, Maarten de Rijke: Investigating the Global Semantic Impact of Speech Recognition Error on Spoken Content Collections. ECIR 2009: 755-760
179EEKrisztian Balog, Leif Azzopardi, Maarten de Rijke: A language modeling framework for expert finding. Inf. Process. Manage. 45(1): 1-19 (2009)
2008
178EEValentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke: Named entity normalization in user generated content. AND 2008: 23-30
177EEJiyin He, Wouter Weerkamp, Martha Larson, Maarten de Rijke: Blogger, stick to your story: modeling topical noise in blogs with coherence measures. AND 2008: 39-46
176EEKrisztian Balog, Maarten de Rijke: Non-local evidence for expert finding. CIKM 2008: 489-498
175EEWouter Weerkamp, Krisztian Balog, Maarten de Rijke: Finding Key Bloggers, One Post At A Time. ECAI 2008: 318-322
174EEKrisztian Balog, Maarten de Rijke: Associating People and Documents. ECIR 2008: 296-308
173EEJiyin He, Martha Larson, Maarten de Rijke: Using Coherence-Based Measures to Predict Query Difficulty. ECIR 2008: 689-694
172EEMahboob Alam Khalid, Valentin Jijkoun, Maarten de Rijke: The Impact of Named Entity Normalization on Information Retrieval for Question Answering. ECIR 2008: 705-710
171EEBouke Huurnink, Katja Hofmann, Maarten de Rijke: Assessing concept selection for video retrieval. Multimedia Information Retrieval 2008: 459-466
170EEKrisztian Balog, Wouter Weerkamp, Maarten de Rijke: A few examples go a long way: constructing query models from elaborate query formulations. SIGIR 2008: 371-378
169EEErik Elgersma, Maarten de Rijke: Personal vs non-personal blogs: initial classification experiments. SIGIR 2008: 723-724
168EEKrisztian Balog, Maarten de Rijke, Wouter Weerkamp: Bloggers as experts: feed distillation using expert retrieval models. SIGIR 2008: 753-754
167EEManos Tsagkias, Martha Larson, Maarten de Rijke: Term clouds as surrogates for user generated speech. SIGIR 2008: 773-774
166EEEdgar Meij, Dolf Trieschnigg, Maarten de Rijke, Wessel Kraaij: Parsimonious concept modeling. SIGIR 2008: 815-816
165EEEdgar Meij, Wouter Weerkamp, Krisztian Balog, Maarten de Rijke: Parsimonious relevance models. SIGIR 2008: 817-818
164EEDolf Trieschnigg, Edgar Meij, Maarten de Rijke, Wessel Kraaij: Measuring concept relatedness using language models. SIGIR 2008: 823-824
163EEKrisztian Balog, Maarten de Rijke: Combining Candidate and Document Models for Expert Search. TREC 2008
162EEWouter Weerkamp, Maarten de Rijke: External Query Expansion in the Blogosphere. TREC 2008
161EEEdgar Meij, Wouter Weerkamp, Jiyin He, Maarten de Rijke: Incorporating Non-Relevance Information in the Estimation of Query Models. TREC 2008
160EEManos Tsagkias, Martha Larson, Wouter Weerkamp, Maarten de Rijke: PodCred: a framework for analyzing podcast preference. WICOW 2008: 67-74
2007
159 Carol Peters, Paul Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten de Rijke, Maximilian Stempfhuber: Evaluation of Multilingual and Multi-modal Information Retrieval, 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers Springer 2007
158EEJanneke van der Zwaan, Erik F. Tjong Kim Sang, Maarten de Rijke: An Experiment in Automatic Classification of Pathological Reports. AIME 2007: 207-216
157EELuís Sarmento, Valentin Jijkoun, Maarten de Rijke, Eugenio Oliveira: "More like these": growing entity classes from seeds. CIKM 2007: 959-962
156EEBouke Huurnink, Maarten de Rijke: The value of stories for speech-based video search. CIVR 2007: 266-271
155EEValentin Jijkoun, Katja Hofmann, David Ahn, Mahboob Alam Khalid, Joris van Rantwijk, Maarten de Rijke, Erik F. Tjong Kim Sang: The University of Amsterdam's Question Answering System at QA@CLEF 2007. CLEF 2007: 344-351
154EEValentin Jijkoun, Maarten de Rijke: Overview of WebCLEF 2007. CLEF 2007: 725-731
153EEValentin Jijkoun, Maarten de Rijke: Using Centrality to Rank Web Snippets. CLEF 2007: 737-741
152EEMahboob Alam Khalid, Valentin Jijkoun, Maarten de Rijke: Machine Learning for Question Answering from Tabular Data. DEXA Workshops 2007: 392-396
151EEEdgar Meij, Maarten de Rijke: Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments. ECDL 2007: 247-258
150EEBouke Huurnink, Maarten de Rijke: Term Selection and Query Operations for Video Retrieval. ECIR 2007: 708-711
149EEDavid Ahn, Joris van Rantwijk, Maarten de Rijke: A Cascaded Machine Learning Approach to Interpreting Temporal Expressions. HLT-NAACL 2007: 420-427
148EESisay Fissaha Adafre, Maarten de Rijke: Ask the Crowd to Find out What's Important. ICDM Workshops 2007: 3-8
147EEKrisztian Balog, Maarten de Rijke: Determining Expert Profiles (With an Application to Expert Finding). IJCAI 2007: 2657-2662
146EEBouke Huurnink, Maarten de Rijke: Exploiting redundancy in cross-channel video retrieval. Multimedia Information Retrieval 2007: 177-186
145 Sisay Fissaha Adafre, Maarten de Rijke: Estimating Importance Features for Fact Mining (With a Case Study in Biography Mining). RIAO 2007
144 Edgar Meij, Maarten de Rijke: Using Prior Information Derived from Citations in Literature Search. RIAO 2007
143EELeif Azzopardi, Maarten de Rijke, Krisztian Balog: Building simulated queries for known-item topics: an analysis using six european languages. SIGIR 2007: 455-462
142EEKrisztian Balog, Toine Bogers, Leif Azzopardi, Maarten de Rijke, Antal van den Bosch: Broad expertise retrieval in sparse data environments. SIGIR 2007: 551-558
141EEKrisztian Balog, Maarten de Rijke: Finding similar experts. SIGIR 2007: 821-822
140EEBreyten Ernsting, Wouter Weerkamp, Maarten de Rijke: Language Modeling Approaches to Blog Postand Feed Finding. TREC 2007
139EEKrisztian Balog, Katja Hofmann, Wouter Weerkamp, Maarten de Rijke: Query and Document Models for Enterprise Search. TREC 2007
138EEAnne Schuth, Maarten Marx, Maarten de Rijke: Extracting the discussion structure in comments on news-articles. WIDM 2007: 97-104
137EEValentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren: Electoral search using the VerkiezingsKijker: an experience report. WWW 2007: 1155-1156
136EESisay Fissaha Adafre, Valentin Jijkoun, Maarten de Rijke: Fact Discovery in Wikipedia. Web Intelligence 2007: 177-183
135EECees G. M. Snoek, Bouke Huurnink, Laura Hollink, Maarten de Rijke, Guus Schreiber, Marcel Worring: Adding Semantics to Detectors for Video Retrieval. IEEE Transactions on Multimedia 9(5): 975-986 (2007)
134EEStefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun: Data-driven type checking in open domain question answering. J. Applied Logic 5(1): 121-143 (2007)
2006
133EEKhalil Sima'an, Maarten de Rijke, Remko Scha, Rob van Son: Computational Linguistics in the Netherlands 2005, Proceedings 16th Meeting of Computational Linguistics in the Netherlands, December 16, 2005, University of Amsterdam Grafisch Centrum Amsterdam 2006
132 Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini, Maarten de Rijke: Accessing Multilingual Information Repositories, 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers Springer 2006
131EEGabriel G. Infante López, Maarten de Rijke: Sequences of Part of Speech Tags vs. Sequences of Phrase Labels: How Do They Help in Parsing? CICLing 2006: 180-191
130EEValentin Jijkoun, Maarten de Rijke: Overview of the WiQA Task at CLEF 2006. CLEF 2006: 265-274
129EEDavid Ahn, Valentin Jijkoun, Joris van Rantwijk, Maarten de Rijke, Erik F. Tjong Kim Sang: Quartz: A Question Answering System for Dutch. CLEF 2006: 362-371
128EESisay Fissaha Adafre, Valentin Jijkoun, Maarten de Rijke: Link-Based vs. Content-Based Retrieval for Question Answering Using Wikipedia. CLEF 2006: 537-540
127EEKrisztian Balog, Leif Azzopardi, Jaap Kamps, Maarten de Rijke: Overview of WebCLEF 2006. CLEF 2006: 803-819
126EEKrisztian Balog, Maarten de Rijke: Index Combinations and Query Reformulations for Mixed Monolingual Web Retrieval. CLEF 2006: 830-833
125EEJaap Kamps, Marijn Koolen, Frans Adriaans, Maarten de Rijke: A Cross-Language Approach to Historic Document Retrieval. Digital Historical Corpora 2006
124EEKrisztian Balog, Gilad Mishne, Maarten de Rijke: Why Are They Excited? Identifying and Explaining Spikes in Blog Mood Levels. EACL 2006
123EEGilad Mishne, Maarten de Rijke: A Study of Blog Search. ECIR 2006: 289-301
122EECaterina Caracciolo, Maarten de Rijke: Generating and Retrieving Text Segments for Focused Access to Scientific Documents. ECIR 2006: 350-361
121EEMarijn Koolen, Frans Adriaans, Jaap Kamps, Maarten de Rijke: A Cross-Language Approach to Historic Document Retrieval. ECIR 2006: 407-419
120EELucas Bouma, Maarten de Rijke: Specificity Helps Text Classification. ECIR 2006: 539-542
119EEGilad Mishne, Maarten de Rijke: Language Model Mixtures for Contextual Ad Placement in Personal Blogs. FinTAL 2006: 435-446
118EEKrisztian Balog, Leif Azzopardi, Maarten de Rijke: Formal models for expert finding in enterprise corpora. SIGIR 2006: 43-50
117EELeif Azzopardi, Maarten de Rijke: Automatic construction of known-item finding test beds. SIGIR 2006: 603-604
116EEEdgar Meij, Maarten de Rijke, Machiel Jansen: Expanding Queries Using Multiple Resources. TREC 2006
115EEKrisztian Balog, Edgar Meij, Maarten de Rijke: Language Models for Enterprise Search: Query Expansion and Combination of Evidence. TREC 2006
114EEIadh Ounis, Craig Macdonald, Maarten de Rijke, Gilad Mishne, Ian Soboroff: Overview of the TREC 2006 Blog Track. TREC 2006
113EEKrisztian Balog, Maarten de Rijke: Finding experts and their eetails in e-mail corpora. WWW 2006: 1035-1036
112EEGilad Mishne, Maarten de Rijke: Deriving wishlists from blogs show us your blog, and we'll tell you what books to buy. WWW 2006: 925-926
111EEJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Articulating information needs in XML query languages. ACM Trans. Inf. Syst. 24(4): 407-436 (2006)
110EEMassimo Franceschet, Maarten de Rijke: Model checking hybrid logics (with an application to semistructured data). J. Applied Logic 4(3): 279-304 (2006)
109EEGabriel G. Infante López, Maarten de Rijke: A Note on the Expressive Power of Probabilistic Context Free Grammars. Journal of Logic, Language and Information 15(3): 219-231 (2006)
2005
108EEDavid Ahn, Sisay Fissaha Adafre, Maarten de Rijke: Towards Task-Based Temporal Extraction and Recognition. Annotating, Extracting and Reasoning about Time and Events 2005
107 Gilad Mishne, Maarten de Rijke: Boosting Web Retrieval through Query Operations. BNAIC 2005: 369-370
106EEJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Structured queries in XML retrieval. CIKM 2005: 4-11
105EEValentin Jijkoun, Maarten de Rijke: Retrieving answers from frequently asked questions pages on the web. CIKM 2005: 76-83
104EEAnna Tordai, Maarten de Rijke: Four Stemmers and a Funeral: Stemming in Hungarian at CLEF 2005. CLEF 2005: 179-186
103EEAlessandro Vallin, Bernardo Magnini, Danilo Giampiccolo, Lili Aunimo, Christelle Ayache, Petya Osenova, Anselmo Peñas, Maarten de Rijke, Bogdan Sacaleanu, Diana Santos, Richard F. E. Sutcliffe: Overview of the CLEF 2005 Multilingual Question Answering Track. CLEF 2005: 307-331
102EEDavid Ahn, Valentin Jijkoun, Karin Müller, Maarten de Rijke, Erik F. Tjong Kim Sang: Towards an Offline XML-Based Strategy for Answering Questions. CLEF 2005: 449-456
101EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: Overview of WebCLEF 2005. CLEF 2005: 810-824
100EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: EuroGOV: Engineering a Multilingual Web Corpus. CLEF 2005: 825-836
99EEJaap Kamps, Maarten de Rijke, Börkur Sigurbjörnsson: Combination Methods for Crosslingual Web Retrieval. CLEF 2005: 856-864
98EEGilad Mishne, Maarten de Rijke: Boosting Web Retrieval Through Query Operations. ECIR 2005: 502-516
97EEGilad Mishne, Maarten de Rijke: Query Formulation for Answer Projection. ECIR 2005: 523-526
96EEValentin Jijkoun, Maarten de Rijke: Recognizing Textual Entailment: Is Word Similarity Enough?. MLCW 2005: 449-460
95EELeonie IJzereef, Jaap Kamps, Maarten de Rijke: Biomedical Retrieval: How Can a Thesaurus Help?. OTM Conferences (2) 2005: 1432-1448
94 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
93EEJaap Kamps, Maarten de Rijke, Börkur Sigurbjörnsson: The Importance of Length Normalization for XML Retrieval. Inf. Retr. 8(4): 631-654 (2005)
92 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)
91EEMaarten Marx, Maarten de Rijke: Semantic characterizations of navigational XPath. SIGMOD Record 34(2): 41-46 (2005)
2004
90EEValentin Jijkoun, Maarten de Rijke: Enriching the Output of a Parser Using Memory-based Learning. ACL 2004: 311-318
89EEGabriel G. Infante López, Maarten de Rijke: Alternative approaches for Generating Bodies of Grammar Rules. ACL 2004: 454-461
88EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: Processing content-oriented XPath queries. CIKM 2004: 371-380
87EEJaap Kamps, Sisay Fissaha Adafre, Maarten de Rijke: Effective Translation, Tokenization and Combination for Cross-Lingual Retrieval. CLEF 2004: 123-134
86EEBernardo 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
85EEDavid 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
84 Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke: Type Checking in Open-Domain Question Answering. ECAI 2004: 398-402
83EECaterina Caracciolo, Willem Robert van Hage, Maarten de Rijke: Towards Topic Driven Access to Full Text Documents. ECDL 2004: 495-500
82EEValentin Jijkoun, Maarten de Rijke: Answer Selection in a Multi-stream Open Domain Question Answering System. ECIR 2004: 99-111
81EEGabriel G. Infante López, Maarten de Rijke: Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers. EsTAL 2004: 149-160
80EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: Mixture Models, Overlap, and Structural Hints in XML Element Retrieval. INEX 2004: 196-210
79EEWillem Robert van Hage, Maarten de Rijke, Maarten Marx: Information Retrieval Support for Ontology Construction and Use. International Semantic Web Conference 2004: 518-533
78 Gilad Mishne, Maarten de Rijke: Source Code Retrieval using Conceptual Similarity. RIAO 2004: 539-554
77EEJaap Kamps, Maarten de Rijke: The effectiveness of combining information retrieval strategies for European languages. SAC 2004: 1073-1077
76EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: Multiple sources of evidence for XML retrieval. SIGIR 2004: 554-555
75EEJaap Kamps, Maarten de Rijke, Börkur Sigurbjörnsson: Length normalization in XML retrieval. SIGIR 2004: 80-87
74EEBörkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke: Processing Content-And-Structure Queries for XML Retrieval. TDM 2004: 35-41
73EEMaarten Marx, Maarten de Rijke: Semantic Characterization of Navigational XPath. TDM 2004: 73-79
72EELoredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124
71EEJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Best-Match Querying from Document-Centric XML. WebDB 2004: 55-60
70EEMassimo 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)
69 Vera Hollink, Jaap Kamps, Christof Monz, Maarten de Rijke: Monolingual Document Retrieval for European Languages. Inf. Retr. 7(1-2): 33-52 (2004)
2003
68EEJaap 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
67EEBernardo 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
66EEBernardo 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
65EEValentin 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
64EESebastian Brand, Rosella Gennari, Maarten de Rijke: Constraint Programming for Modelling and Solving Modal Satisfability. CP 2003: 795-800
63EESebastian Brand, Rosella Gennari, Maarten de Rijke: Constraint Methods for Modal Satisfiability. CSCLP 2003: 66-86
62EEJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: XML retrieval: what to retrieve? SIGIR 2003: 409-410
61EEMassimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173
60EEValentin 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
59EEJaap Kamps, Christof Monz, Maarten de Rijke, Börkur Sigurbjörnsson: Approaches to Robust and Web Retrieval. TREC 2003: 594-599
58EENatasha Alechina, Stéphane Demri, Maarten de Rijke: A Modal Perspective on Path Constraints. J. Log. Comput. 13(6): 939-956 (2003)
57EEHans de Nivelle, Maarten de Rijke: Deciding the guarded fragments by resolution. J. Symb. Comput. 35(1): 21-58 (2003)
2002
56 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
55 Gabriel G. Infante López, Carlos Areces, Maarten de Rijke: Controlled Model Exploration. Advances in Modal Logic 2002: 205-220
54EEJaap Kamps, Christof Monz, Maarten de Rijke: Combining Evidence for Cross-Language Information Retrieval. CLEF 2002: 111-126
53EECaterina Caracciolo, Maarten de Rijke, Joost Kircz: Towards Scientific Information Disclosure Through Concept Hierarchies. ELPUB 2002
52 Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002: 41-48
51EEChristof Monz, Jaap Kamps, Maarten de Rijke: The University of Amsterdam at TREC 2002. TREC 2002
50 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)
2001
49EEChristof Monz, Maarten de Rijke: Shallow Morphological Analysis in Monolingual Information Retrieval for Dutch, German, and Italian. CLEF 2001: 262-277
48EENatasha Alechina, Stéphane Demri, Maarten de Rijke: Path Constraints from a Modal Logic Point of View. KRDB 2001
47EEChristof Monz, Maarten de Rijke: Tequesta: The University of Amsterdam's Textual Question Answering System. TREC 2001
46 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
45EEBreanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem: Ensemble-based prediction of SAT search behaviour. Electronic Notes in Discrete Mathematics 9: 278-289 (2001)
44EECarlos Areces, Maarten de Rijke, Hans de Nivelle: Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. 11(5): 717-736 (2001)
43 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)
2000
42 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
41 Carlos Areces, Maarten de Rijke: From Description to Hybrid Logics, and Back. Advances in Modal Logic 2000: 17-36
40 Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203
39EEBoris Chidlovskii, Jon Ragetli, Maarten de Rijke: Wrapper Generation via Grammar Induction. ECML 2000: 96-108
38 Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke: Features as Constraints. FIW 2000: 210-225
37EEBoris Chidlovskii, Jon Ragetli, Maarten de Rijke: Automatic Wrapper Generation for Web Search Engines. Web-Age Information Management 2000: 399-410
36EEChristof Monz, Maarten de Rijke: A Tableaux Calculus for Ambiguous Quantification CoRR cs.CL/0009015: (2000)
35EEChristof Monz, Maarten de Rijke: A Tableau Calculus for Pronoun Resolution CoRR cs.CL/0009017: (2000)
34EEChristof Monz, Maarten de Rijke: A Resolution Calculus for Dynamic Semantics CoRR cs.CL/0009018: (2000)
33EECarlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): (2000)
32 Maarten de Rijke: A Note on Graded Modal Logic. Studia Logica 64(2): 271-283 (2000)
1999
31EECarlos Areces, Hans de Nivelle, Maarten de Rijke: Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999: 187-201
30EECarlos Areces, Wiet Bouma, Maarten de Rijke: Description Logics and Feature Interaction. Description Logics 1999
29EEMarco Aiello, Carlos Areces, Maarten de Rijke: Spatial Reasoning for Image Retrieval. Description Logics 1999
28EECarlos Areces, Wiet Bouma, Maarten de Rijke: Feature Interaction as a Satisfiability Problem. MASCOTS 1999: 339-
27 Christof Monz, Maarten de Rijke: A Tableau Calculus for Pronoun Resolution. TABLEAUX 1999: 247-262
26EENatasha Kurtonina, Maarten de Rijke: Expressiveness of Concept Expressions in First-Order Description Logics. Artif. Intell. 107(2): 303-333 (1999)
25 Oliver Lemon, Maarten de Rijke, Atsushi Shimojima: Editorial: Efficacy of Diagrammatic Reasoning. Journal of Logic, Language and Information 8(3): 265-271 (1999)
24 Maarten de Rijke: Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds. Journal of Logic, Language and Information 8(3): 387-390 (1999)
23 Maarten de Rijke: Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. Journal of Logic, Language and Information 8(4): 476-478 (1999)
1998
22 Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: The Origins of Modern Modal Logic. Advances in Modal Logic 1998
21EENatasha Alechina, Maarten de Rijke: Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998: 167-168
20EEMaarten de Rijke: Description Logics and Modal Logics. Description Logics 1998
19EECarlos Areces, Maarten de Rijke: Expressiveness Revisited. Description Logics 1998
18EEChristof Monz, Maarten de Rijke: A Resolution Calculus for Dynamic Semantics. JELIA 1998: 184-198
17EEChristof Monz, Maarten de Rijke: Deductions with Meaning. LACL 1998: 1-10
16EEChristof Monz, Maarten de Rijke: A Tableaux Calculus for Ambiguous Quantification. TABLEAUX 1998: 232-246
1997
15EENatasha Kurtonina, Maarten de Rijke: Classifying Description Logics. Description Logics 1997
14 Natasha Kurtonina, Maarten de Rijke: Simulating Without Negation. J. Log. Comput. 7(4): 501-522 (1997)
13 Patrick Blackburn, Maarten de Rijke: Zooming In, Zooming Out. Journal of Logic, Language and Information 6(1): 5-31 (1997)
12 Natasha Kurtonina, Maarten de Rijke: Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6(4): 403-425 (1997)
11 Patrick Blackburn, Maarten de Rijke: Why Combine Logics? Studia Logica 59(1): 5-27 (1997)
10EEAngelo Montanari, Maarten de Rijke: Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183(2): 187-214 (1997)
1996
9 Patrick Blackburn, Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37(2): 161-166 (1996)
1995
8 Angelo Montanari, Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995: 385-399
7 Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke: A Proof System for Finite Trees. CSL 1995: 86-105
6 Wiebe van der Hoek, Maarten de Rijke: Counting Objects. J. Log. Comput. 5(3): 325-345 (1995)
5 Maarten de Rijke: The Logic of Peirce Algebras. Journal of Logic, Language and Information 4(3): 227-250 (1995)
4 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)
1994
3 Patrick Blackburn, Claire Gardent, Maarten de Rijke: Back and Forth Through Time and Events. ICTL 1994: 225-237
1992
2 Maarten de Rijke: The Modal Logic of Inequality. J. Symb. Log. 57(2): 566-584 (1992)
1 Maarten de Rijke: Unary Interpretation Logic. Notre Dame Journal of Formal Logic 33(2): 249-272 (1992)

Coauthor Index

1Rafael Accorsi [38]
2Sisay Fissaha Adafre [87] [94] [108] [128] [136] [145] [148]
3Frans Adriaans [121] [125]
4Loredana Afanasiev [72] [92]
5David Ahn [85] [94] [102] [108] [129] [134] [149] [155]
6Marco Aiello [29]
7Natasha Alechina [21] [48] [58]
8Carlos Areces [19] [28] [29] [30] [31] [33] [38] [40] [41] [44] [55]
9Lili Aunimo [103]
10Christelle Ayache [86] [103]
11Leif Azzopardi [117] [118] [127] [142] [143] [179]
12Krisztian Balog [113] [115] [118] [124] [126] [127] [139] [141] [142] [143] [147] [163] [165] [168] [170] [174] [175] [176] [179] [182]
13Brandon Bennett [50]
14Johan van Benthem [45]
15Patrick Blackburn [3] [7] [9] [11] [13] [92]
16Toine Bogers [142]
17Antal van den Bosch [142]
18Lucas Bouma [120]
19Wiet Bouma (L. G. Bouma) [28] [30] [38]
20Sebastian Brand [63] [64]
21Caterina Caracciolo [53] [83] [122]
22Boris Chidlovskii [37] [39]
23Paul Clough [159]
24Stéphane Demri [48] [58]
25Ioanna Dimitriou [92]
26Clare Dixon [50]
27Erik Elgersma [169]
28Gregor Erbach [86]
29Breyten Ernsting [140]
30Michael Fisher [50]
31Massimo Franceschet [61] [70] [72] [110]
32Enrico Franconi [33] [50]
33Dov M. Gabbay [46]
34Bertrand Gaiffe [92]
35Claire Gardent [3]
36Rosella Gennari [40] [63] [64]
37Fredric C. Gey [132] [159]
38Danilo Giampiccolo [103]
39Julio Gonzalo [132]
40Rajeev Goré [33]
41Evan Goris [92]
42Willem Robert van Hage [79] [83]
43Jiyin He [161] [173] [177] [180]
44Juan Heguiabehere [40]
45Jesús Herrera [66] [67]
46Wiebe van der Hoek [6]
47Katja Hofmann [139] [155] [171]
48Laura Hollink [135]
49Vera Hollink [69]
50Ian Horrocks [50]
51Ullrich Hustadt [50]
52Bouke Huurnink [135] [146] [150] [156] [171]
53Leonie IJzereef [95]
54Machiel Jansen [116]
55Valentin Jijkoun [60] [65] [82] [85] [90] [96] [102] [105] [128] [129] [130] [134] [136] [137] [152] [153] [154] [155] [157] [172] [178]
56Gareth J. F. Jones [132]
57Jaap Kamps [51] [52] [54] [59] [62] [68] [69] [71] [74] [75] [76] [77] [80] [87] [88] [93] [95] [99] [100] [101] [106] [111] [121] [125] [127]
58Jussi Karlgren [159]
59Mahboob Alam Khalid [152] [155] [172] [178]
60Joost Kircz [53]
61Michael Kluck [132]
62Marijn Koolen [121] [125]
63Wessel Kraaij [164] [166]
64Natasha Kurtonina [12] [14] [15] [26]
65Martha Larson [160] [167] [173] [177] [180] [181]
66Oliver Lemon [25]
67Gabriel G. Infante López [55] [81] [89] [109] [131]
68Craig Macdonald [114]
69Bernardo Magnini [66] [67] [86] [103] [132] [159]
70Maarten Marx [52] [62] [71] [72] [73] [79] [91] [92] [106] [111] [137] [138] [178]
71Edgar Meij [115] [116] [144] [151] [161] [164] [165] [166]
72Wilfried Meyer-Viol [7]
73Gilad Mishne [60] [65] [78] [85] [97] [98] [107] [112] [114] [119] [123] [124]
74Angelo Montanari [8] [10] [70]
75Christof Monz [16] [17] [18] [27] [34] [35] [36] [47] [49] [51] [54] [59] [60] [68] [69]
76Henning Müller [132]
77Karin Müller [85] [102]
78Hans de Nivelle [31] [44] [57]
79Andreas Nonnengart [46]
80Breanndán Ó Nualláin [45]
81Douglas W. Oard [159]
82Hans Jürgen Ohlbach [46]
83Eugénio C. Oliveira (Eugenio Oliveira) [157]
84Marius Olsthoorn [84]
85Petya Osenova [103]
86Iadh Ounis [114]
87Víctor Peinado [66] [67]
88Anselmo Peñas [66] [67] [86] [103]
89Carol Peters [132] [159]
90Jon Ragetli [37] [39]
91Joris van Rantwijk [129] [149] [155]
92Paulo Rocha [86]
93Simone Romagnoli [66] [67]
94Bogdan Sacaleanu [103]
95Erik F. Tjong Kim Sang [102] [129] [155] [158]
96Diana Santos [103]
97Luís Sarmento [157]
98Remko Scha [133]
99Bernd-Holger Schlingloff [33] [61]
100Stefan Schlobach [60] [84] [85] [134]
101Guus Schreiber (A. Th. Schreiber) [135]
102Anne Schuth [138]
103Krister Segerberg [22] [42]
104Atsushi Shimojima [25]
105Börkur Sigurbjörnsson [52] [59] [62] [68] [71] [74] [75] [76] [80] [88] [93] [99] [100] [101] [106] [111]
106Khalil Sima'an [133]
107Kiril Ivanov Simov [86]
108Cees Snoek (Cees G. M. Snoek) [135]
109Ian Soboroff [114]
110Rob van Son [133]
111Maximilian Stempfhuber [159]
112Richard F. E. Sutcliffe [86] [103]
113Anna Tordai [104]
114Dolf Trieschnigg [164] [166]
115Manos Tsagkias [160] [167] [180] [181]
116Oren Tsur [60]
117Alessandro Vallin [66] [67] [86] [103]
118Yde Venema [4]
119M. Felisa Verdejo (María Felisa Verdejo Maillo, Felisa Verdejo) [66] [67]
120Heinrich Wansing [22] [42] [56]
121Frank van Waveren [137]
122Wouter Weerkamp [139] [140] [160] [161] [162] [165] [168] [170] [175] [177] [182]
123Frank Wolter [56]
124Marcel Worring [135]
125Michael Zakharyaschev [22] [42] [56]
126Janneke van der Zwaan [158]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)