| 2008 |
|---|
| 149 | EE | Krisztian Balog,
Maarten de Rijke:
Associating People and Documents.
ECIR 2008: 296-308 |
| 148 | EE | Jiyin He,
Martha Larson,
Maarten de Rijke:
Using Coherence-Based Measures to Predict Query Difficulty.
ECIR 2008: 689-694 |
| 147 | EE | Mahboob Alam Khalid,
Valentin Jijkoun,
Maarten de Rijke:
The Impact of Named Entity Normalization on Information Retrieval for Question Answering.
ECIR 2008: 705-710 |
| 2007 |
|---|
| 146 | | 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 |
| 145 | EE | Janneke van der Zwaan,
Erik F. Tjong Kim Sang,
Maarten de Rijke:
An Experiment in Automatic Classification of Pathological Reports.
AIME 2007: 207-216 |
| 144 | EE | Luís Sarmento,
Valentin Jijkoun,
Maarten de Rijke,
Eugenio Oliveira:
"More like these": growing entity classes from seeds.
CIKM 2007: 959-962 |
| 143 | EE | Bouke Huurnink,
Maarten de Rijke:
The value of stories for speech-based video search.
CIVR 2007: 266-271 |
| 142 | EE | Mahboob Alam Khalid,
Valentin Jijkoun,
Maarten de Rijke:
Machine Learning for Question Answering from Tabular Data.
DEXA Workshops 2007: 392-396 |
| 141 | EE | Edgar Meij,
Maarten de Rijke:
Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments.
ECDL 2007: 247-258 |
| 140 | EE | Bouke Huurnink,
Maarten de Rijke:
Term Selection and Query Operations for Video Retrieval.
ECIR 2007: 708-711 |
| 139 | EE | Sisay Fissaha Adafre,
Maarten de Rijke:
Ask the Crowd to Find out What's Important.
ICDM Workshops 2007: 3-8 |
| 138 | EE | Krisztian Balog,
Maarten de Rijke:
Determining Expert Profiles (With an Application to Expert Finding).
IJCAI 2007: 2657-2662 |
| 137 | EE | Bouke Huurnink,
Maarten de Rijke:
Exploiting redundancy in cross-channel video retrieval.
Multimedia Information Retrieval 2007: 177-186 |
| 136 | EE | Leif Azzopardi,
Maarten de Rijke,
Krisztian Balog:
Building simulated queries for known-item topics: an analysis using six european languages.
SIGIR 2007: 455-462 |
| 135 | EE | Krisztian Balog,
Toine Bogers,
Leif Azzopardi,
Maarten de Rijke,
Antal van den Bosch:
Broad expertise retrieval in sparse data environments.
SIGIR 2007: 551-558 |
| 134 | EE | Krisztian Balog,
Maarten de Rijke:
Finding similar experts.
SIGIR 2007: 821-822 |
| 133 | EE | Anne Schuth,
Maarten Marx,
Maarten de Rijke:
Extracting the discussion structure in comments on news-articles.
WIDM 2007: 97-104 |
| 132 | EE | Valentin Jijkoun,
Maarten Marx,
Maarten de Rijke,
Frank van Waveren:
Electoral search using the VerkiezingsKijker: an experience report.
WWW 2007: 1155-1156 |
| 131 | EE | Sisay Fissaha Adafre,
Valentin Jijkoun,
Maarten de Rijke:
Fact Discovery in Wikipedia.
Web Intelligence 2007: 177-183 |
| 130 | EE | Cees 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) |
| 129 | EE | Stefan 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 |
|---|
| 128 | EE | Khalil 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 |
| 127 | | 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 |
| 126 | EE | Gabriel 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 |
| 125 | EE | Valentin Jijkoun,
Maarten de Rijke:
Overview of the WiQA Task at CLEF 2006.
CLEF 2006: 265-274 |
| 124 | EE | David 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 |
| 123 | EE | Sisay Fissaha Adafre,
Valentin Jijkoun,
Maarten de Rijke:
Link-Based vs. Content-Based Retrieval for Question Answering Using Wikipedia.
CLEF 2006: 537-540 |
| 122 | EE | Krisztian Balog,
Leif Azzopardi,
Jaap Kamps,
Maarten de Rijke:
Overview of WebCLEF 2006.
CLEF 2006: 803-819 |
| 121 | EE | Krisztian Balog,
Maarten de Rijke:
Index Combinations and Query Reformulations for Mixed Monolingual Web Retrieval.
CLEF 2006: 830-833 |
| 120 | EE | Jaap Kamps,
Marijn Koolen,
Frans Adriaans,
Maarten de Rijke:
A Cross-Language Approach to Historic Document Retrieval.
Digital Historical Corpora 2006 |
| 119 | EE | Krisztian Balog,
Gilad Mishne,
Maarten de Rijke:
Why Are They Excited? Identifying and Explaining Spikes in Blog Mood Levels.
EACL 2006 |
| 118 | EE | Gilad Mishne,
Maarten de Rijke:
A Study of Blog Search.
ECIR 2006: 289-301 |
| 117 | EE | Caterina Caracciolo,
Maarten de Rijke:
Generating and Retrieving Text Segments for Focused Access to Scientific Documents.
ECIR 2006: 350-361 |
| 116 | EE | Marijn Koolen,
Frans Adriaans,
Jaap Kamps,
Maarten de Rijke:
A Cross-Language Approach to Historic Document Retrieval.
ECIR 2006: 407-419 |
| 115 | EE | Lucas Bouma,
Maarten de Rijke:
Specificity Helps Text Classification.
ECIR 2006: 539-542 |
| 114 | EE | Gilad Mishne,
Maarten de Rijke:
Language Model Mixtures for Contextual Ad Placement in Personal Blogs.
FinTAL 2006: 435-446 |
| 113 | EE | Krisztian Balog,
Leif Azzopardi,
Maarten de Rijke:
Formal models for expert finding in enterprise corpora.
SIGIR 2006: 43-50 |
| 112 | EE | Leif Azzopardi,
Maarten de Rijke:
Automatic construction of known-item finding test beds.
SIGIR 2006: 603-604 |
| 111 | EE | Krisztian Balog,
Maarten de Rijke:
Finding experts and their eetails in e-mail corpora.
WWW 2006: 1035-1036 |
| 110 | EE | Gilad 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 |
| 109 | EE | Jaap 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) |
| 108 | EE | Massimo Franceschet,
Maarten de Rijke:
Model checking hybrid logics (with an application to semistructured data).
J. Applied Logic 4(3): 279-304 (2006) |
| 107 | EE | Gabriel 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 |
|---|
| 106 | EE | David Ahn,
Sisay Fissaha Adafre,
Maarten de Rijke:
Towards Task-Based Temporal Extraction and Recognition.
Annotating, Extracting and Reasoning about Time and Events 2005 |
| 105 | | Gilad Mishne,
Maarten de Rijke:
Boosting Web Retrieval through Query Operations.
BNAIC 2005: 369-370 |
| 104 | EE | Jaap Kamps,
Maarten Marx,
Maarten de Rijke,
Börkur Sigurbjörnsson:
Structured queries in XML retrieval.
CIKM 2005: 4-11 |
| 103 | EE | Valentin Jijkoun,
Maarten de Rijke:
Retrieving answers from frequently asked questions pages on the web.
CIKM 2005: 76-83 |
| 102 | EE | Anna Tordai,
Maarten de Rijke:
Four Stemmers and a Funeral: Stemming in Hungarian at CLEF 2005.
CLEF 2005: 179-186 |
| 101 | EE | Alessandro 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 |
| 100 | EE | David 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 |
| 99 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
Overview of WebCLEF 2005.
CLEF 2005: 810-824 |
| 98 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
EuroGOV: Engineering a Multilingual Web Corpus.
CLEF 2005: 825-836 |
| 97 | EE | Jaap Kamps,
Maarten de Rijke,
Börkur Sigurbjörnsson:
Combination Methods for Crosslingual Web Retrieval.
CLEF 2005: 856-864 |
| 96 | EE | Gilad Mishne,
Maarten de Rijke:
Boosting Web Retrieval Through Query Operations.
ECIR 2005: 502-516 |
| 95 | EE | Gilad Mishne,
Maarten de Rijke:
Query Formulation for Answer Projection.
ECIR 2005: 523-526 |
| 94 | EE | Valentin Jijkoun,
Maarten de Rijke:
Recognizing Textual Entailment: Is Word Similarity Enough?.
MLCW 2005: 449-460 |
| 93 | EE | Leonie IJzereef,
Jaap Kamps,
Maarten de Rijke:
Biomedical Retrieval: How Can a Thesaurus Help?.
OTM Conferences (2) 2005: 1432-1448 |
| 92 | | 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 |
| 91 | EE | Jaap Kamps,
Maarten de Rijke,
Börkur Sigurbjörnsson:
The Importance of Length Normalization for XML Retrieval.
Inf. Retr. 8(4): 631-654 (2005) |
| 90 | | 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) |
| 89 | EE | Maarten Marx,
Maarten de Rijke:
Semantic characterizations of navigational XPath.
SIGMOD Record 34(2): 41-46 (2005) |
| 2004 |
|---|
| 88 | EE | Valentin Jijkoun,
Maarten de Rijke:
Enriching the Output of a Parser Using Memory-based Learning.
ACL 2004: 311-318 |
| 87 | EE | Gabriel G. Infante López,
Maarten de Rijke:
Alternative approaches for Generating Bodies of Grammar Rules.
ACL 2004: 454-461 |
| 86 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
Processing content-oriented XPath queries.
CIKM 2004: 371-380 |
| 85 | EE | Jaap Kamps,
Sisay Fissaha Adafre,
Maarten de Rijke:
Effective Translation, Tokenization and Combination for Cross-Lingual Retrieval.
CLEF 2004: 123-134 |
| 84 | EE | 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 |
| 83 | EE | 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 |
| 82 | | Stefan Schlobach,
Marius Olsthoorn,
Maarten de Rijke:
Type Checking in Open-Domain Question Answering.
ECAI 2004: 398-402 |
| 81 | EE | Caterina Caracciolo,
Willem Robert van Hage,
Maarten de Rijke:
Towards Topic Driven Access to Full Text Documents.
ECDL 2004: 495-500 |
| 80 | EE | Valentin Jijkoun,
Maarten de Rijke:
Answer Selection in a Multi-stream Open Domain Question Answering System.
ECIR 2004: 99-111 |
| 79 | EE | 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 |
| 78 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
Mixture Models, Overlap, and Structural Hints in XML Element Retrieval.
INEX 2004: 196-210 |
| 77 | EE | Willem Robert van Hage,
Maarten de Rijke,
Maarten Marx:
Information Retrieval Support for Ontology Construction and Use.
International Semantic Web Conference 2004: 518-533 |
| 76 | EE | Jaap Kamps,
Maarten de Rijke:
The effectiveness of combining information retrieval strategies for European languages.
SAC 2004: 1073-1077 |
| 75 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
Multiple sources of evidence for XML retrieval.
SIGIR 2004: 554-555 |
| 74 | EE | Jaap Kamps,
Maarten de Rijke,
Börkur Sigurbjörnsson:
Length normalization in XML retrieval.
SIGIR 2004: 80-87 |
| 73 | EE | Börkur Sigurbjörnsson,
Jaap Kamps,
Maarten de Rijke:
Processing Content-And-Structure Queries for XML Retrieval.
TDM 2004: 35-41 |
| 72 | EE | Maarten Marx,
Maarten de Rijke:
Semantic Characterization of Navigational XPath.
TDM 2004: 73-79 |
| 71 | EE | Loredana Afanasiev,
Massimo Franceschet,
Maarten Marx,
Maarten de Rijke:
CTL Model Checking for Processing Simple XPath Queries.
TIME 2004: 117-124 |
| 70 | EE | Jaap Kamps,
Maarten Marx,
Maarten de Rijke,
Börkur Sigurbjörnsson:
Best-Match Querying from Document-Centric XML.
WebDB 2004: 55-60 |
| 69 | EE | 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) |
| 68 | | Vera Hollink,
Jaap Kamps,
Christof Monz,
Maarten de Rijke:
Monolingual Document Retrieval for European Languages.
Inf. Retr. 7(1-2): 33-52 (2004) |
| 2003 |
|---|
| 67 | EE | 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 |
| 66 | EE | 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 |
| 65 | EE | 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 |
| 64 | EE | 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 |
| 63 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Programming for Modelling and Solving Modal Satisfability.
CP 2003: 795-800 |
| 62 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Methods for Modal Satisfiability.
CSCLP 2003: 66-86 |
| 61 | EE | Jaap Kamps,
Maarten Marx,
Maarten de Rijke,
Börkur Sigurbjörnsson:
XML retrieval: what to retrieve?
SIGIR 2003: 409-410 |
| 60 | EE | Massimo Franceschet,
Maarten de Rijke,
Bernd-Holger Schlingloff:
Hybrid Logics on Linear Structures: Expressivity and Complexity.
TIME 2003: 166-173 |
| 59 | EE | 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 |
| 58 | EE | Jaap Kamps,
Christof Monz,
Maarten de Rijke,
Börkur Sigurbjörnsson:
Approaches to Robust and Web Retrieval.
TREC 2003: 594-599 |
| 57 | EE | Natasha Alechina,
Stéphane Demri,
Maarten de Rijke:
A Modal Perspective on Path Constraints.
J. Log. Comput. 13(6): 939-956 (2003) |
| 56 | EE | Hans de Nivelle,
Maarten de Rijke:
Deciding the guarded fragments by resolution.
J. Symb. Comput. 35(1): 21-58 (2003) |
| 2002 |
|---|
| 55 | | 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 |
| 54 | | Gabriel G. Infante López,
Carlos Areces,
Maarten de Rijke:
Controlled Model Exploration.
Advances in Modal Logic 2002: 205-220 |
| 53 | EE | Jaap Kamps,
Christof Monz,
Maarten de Rijke:
Combining Evidence for Cross-Language Information Retrieval.
CLEF 2002: 111-126 |
| 52 | EE | Caterina Caracciolo,
Maarten de Rijke,
Joost Kircz:
Towards Scientific Information Disclosure Through Concept Hierarchies.
ELPUB 2002 |
| 51 | | Jaap Kamps,
Maarten Marx,
Maarten de Rijke,
Börkur Sigurbjörnsson:
The Importance of Morphological Normalization for XML Retrieval.
INEX Workshop 2002: 41-48 |
| 50 | EE | Christof Monz,
Jaap Kamps,
Maarten de Rijke:
The University of Amsterdam at TREC 2002.
TREC 2002 |
| 49 | | 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 |
|---|
| 48 | EE | Christof Monz,
Maarten de Rijke:
Shallow Morphological Analysis in Monolingual Information Retrieval for Dutch, German, and Italian.
CLEF 2001: 262-277 |
| 47 | EE | Natasha Alechina,
Stéphane Demri,
Maarten de Rijke:
Path Constraints from a Modal Logic Point of View.
KRDB 2001 |
| 46 | EE | Christof Monz,
Maarten de Rijke:
Tequesta: The University of Amsterdam's Textual Question Answering System.
TREC 2001 |
| 45 | | 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 |
| 44 | EE | Carlos 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 |
| 39 | EE | Boris 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 |
| 37 | EE | Boris Chidlovskii,
Jon Ragetli,
Maarten de Rijke:
Automatic Wrapper Generation for Web Search Engines.
Web-Age Information Management 2000: 399-410 |
| 36 | EE | Christof Monz,
Maarten de Rijke:
A Tableaux Calculus for Ambiguous Quantification
CoRR cs.CL/0009015: (2000) |
| 35 | EE | Christof Monz,
Maarten de Rijke:
A Tableau Calculus for Pronoun Resolution
CoRR cs.CL/0009017: (2000) |
| 34 | EE | Christof Monz,
Maarten de Rijke:
A Resolution Calculus for Dynamic Semantics
CoRR cs.CL/0009018: (2000) |
| 33 | EE | Carlos 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 |
|---|
| 31 | EE | Carlos Areces,
Hans de Nivelle,
Maarten de Rijke:
Prefixed Resolution: A Resolution Method for Modal and Description Logics.
CADE 1999: 187-201 |
| 30 | EE | Carlos Areces,
Wiet Bouma,
Maarten de Rijke:
Description Logics and Feature Interaction.
Description Logics 1999 |
| 29 | EE | Marco Aiello,
Carlos Areces,
Maarten de Rijke:
Spatial Reasoning for Image Retrieval.
Description Logics 1999 |
| 28 | EE | Carlos 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 |
| 26 | EE | Natasha 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 |
| 21 | EE | Natasha Alechina,
Maarten de Rijke:
Describing and Quering Semistructured Data: Some Expressiveness Results.
BNCOD 1998: 167-168 |
| 20 | EE | Maarten de Rijke:
Description Logics and Modal Logics.
Description Logics 1998 |
| 19 | EE | Carlos Areces,
Maarten de Rijke:
Expressiveness Revisited.
Description Logics 1998 |
| 18 | EE | Christof Monz,
Maarten de Rijke:
A Resolution Calculus for Dynamic Semantics.
JELIA 1998: 184-198 |
| 17 | EE | Christof Monz,
Maarten de Rijke:
Deductions with Meaning.
LACL 1998: 1-10 |
| 16 | EE | Christof Monz,
Maarten de Rijke:
A Tableaux Calculus for Ambiguous Quantification.
TABLEAUX 1998: 232-246 |
| 1997 |
|---|
| 15 | EE | Natasha 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) |
| 10 | EE | Angelo 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) |
