Maarten de Rijke

Conference papers

 

  1. M. Franceschet, M. de Rijke, and B.-H. Schlingloff. Hybrid logic on linear structures: expressivity and complexity. In: Proceedings TIME-ICTL, IEEE Computer Society Press. PDF
  2. C. Caracciolo, M. de Rijke, and J. Kircz. Towards Scientific Information Disclosure through Concept Hierarchies. In: Proceedings ELPUB 2002, 2002. PostScript, PDF
  3. G. Infante-Lopez, C. Areces, and M. de Rijke. Decomposing Modal Logic. In: Workshop Proceedings AiML 2002, pages 189-204, IRIT, Toulouse, 2002. PDF
  4. C. Areces and M. de Rijke. From Description to Hybrid Logic, and Back. In: Advances in Modal Logic, Volume 3, pages 17-36, 2002. PostScript, PDF
  5. C. Monz and M. de Rijke. Shallow Morphological Analysis in Monolingual Information Retrieval for Dutch, German and Italian. In: Evaluation of Cross-Language Information Retrieval Systems. Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001., LNCS 2406, Springer, 2002. PDF
  6. C. Caracciolo and M. de Rijke. Structured Access to Scientific Information. In: Proceedings of the First Global WordNet Conference, pages 187-191, CIIL, Mysore, 2002.
  7. C. Caracciolo and M. de Rijke. Organizing and Accessing Online Handbooks. In: CLiP 2001, 2001. PDF
  8. J. HeguiabeHere, G. Infante Lopez, and M. de Rijke. Structured Problems in Modal Satisfiability Testing. In: Workshop Proceedings M4M-2, 2001. PDF
  9. N. Alechina, S. Demri, and M. de Rijke. Path Constraints from a Modal Logic Point of View. In: Proceedings KRDB 2001, 2001. PDF
  10. M.C. Stol and M. de Rijke. Modal Logic and Local Search. In: Proceedings Modal Logic in AI, 2001. PDF
  11. J. Heguiabehere and M. de Rijke. The Random Modal QBF Test Set. Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics, 2001. PDF
  12. C. Monz and M. de Rijke. Light-Weight Entailment Checking for Computational Semantics. In: Proceedings ICoS-3, 2001. PDF
  13. B. O Nuallain, M. de Rijke, and J. van Benthem. Ensemble-based prediction of SAT search behaviour. In: Proceedings LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), 2001. PDF
  14. C. Monz and M. de Rijke. Deductions with Meaning. In: LACL-3, LNCS 2014, Springer, 2001. PDF
  15. C. Areces and M. de Rijke. Description and/or Hybrid Logic. In: Workshop Proceedings AiML 2000 University of Leipzig, 2000. PDF
  16. M. Franceschet, A. Montanari, and M. de Rijke. Model Checking for Combined Logics. In: Workshop Proceedings ICTL 2000, University of Leipzig, 2000. PDF
  17. C. Areces, R. Gennari, J. Heguiabehere, and M. de Rijke. Tree-Based Heuristics in Modal Theorem Proving. In: ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000. PostScript
  18. B. Chidlovskii, J. Ragetli, and M. de Rijke. Automatic Wrapper Generation for Web Search Engines. In: Proceedings International Conference on Web-Age Information Management (WAIM’00), LNCS, Springer. PostScript
  19. R. Accorsi, C. Areces, W. Bouma, and M. de Rijke. Features as Constraints. In: Proceedings Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, pages 210-225, 2000.
  20. B. Chidlovskii, J. Ragetli, and M. de Rijke. Wrapper Generation via Grammar Induction. In: Proceedings European Conference on Machine Learning (ECML’2000), LNCS 1810, Springer, 2000. PostScript
  21. C. Areces, W. Bouma, and M. de Rijke. Feature Interaction as a Satisfiability Problem. In: Proceedings MASCOTS’99, IEEE Press, 1999. PDF
  22. R. Accorsi, C. Areces, and M. de Rijke. Towards Feature Interaction via Stable Models. In: Proceedings WFM’99, 1999. PDF
  23. M. Aiello, C. Areces, and M. de Rijke. Spatial Reasoning for Image Retrieval. In: Proceedings of the International Workshop on Description Logics (DL’99), pages 23-27, Linköpings Universitet, Sweden, 1999. PDF
  24. C. Areces, L.G. Bouma, and M. de Rijke. Description Logics and Feature Interaction. In: Proceedings of the International Workshop on Description Logics (DL’99), pages 28-32, Linköpings Universitet, Sweden, 1999. PDF
  25. C. Areces, H. de Nivelle and M. de Rijke. Prefixed Resolution. In: Cade-16, LNCS 1632, pages 187-201, 1999. PDF
  26. C. Monz and M. de Rijke. A Tableau Calculus for Pronoun Resolution. In: Tableaux ’99, LNCS 1617, Springer, pages 247-262, 1999. PDF
  27. M. de Rijke and H. Sturm. Global vs. Local in Basic Modal Logic. In: Proc. Nicht-klassische Formen der Logik im Rahmen des XVIII. Deutschen Kongresses fuer Philosophie, 1999. PDF
  28. W. van der Hoek and M. de Rijke. Interleaved Contractions. In: Logic, Language and Computation, Vol 2, CSLI Publications, Stanford CA, pages 106-127, 1999. PDF
  29. M. de Rijke. A Modal Characterization of Peirce Algebras. In: Logic at Work, Springer-Verlag, Berlin, pages 109-123, 1998. PDF
  30. C. Monz and M. de Rijke. A Resolution Calculus for Dynamic Reasoning. In: Logics in Artificial Intelligence (JELIA’98). LNAI 1489, Springer, pages 184-198, 1998. PDF
  31. C. Monz and M. de Rijke. Labeled Resolution for Discourse Semantics. In: Proc. Labeled Deduction’98, 1998. PDF
  32. C. Areces and M. de Rijke. Interpolation and Bisimulation in Temporal Logic. In: Proc. WoLLIC’98, IME/USP, Sao Paulo, pages 15-21, 1998. PDF
  33. N. Alechina and M. de Rijke. Describing and Querying Semistructured Data: Some Expressiveness Results. In: Advances in Databases, LNCS 1405, Springer, Berlin, pages 167-169, 1998. PDF
  34. C. Monz and M. de Rijke. A Tableaux Calculus for Ambiguous Quantification. In: Proc. Tableaux’98, LNAI 1397, Spinger, Berlin, pages 232-246, 1998. PDF
  35. C. Areces and M. de Rijke. Expressiveness Revisited. In: Proc. International Workshop on Description Logics (DL’98), ITC-irst, Ref. No. 9805-03, pages 35-43, 1998. PDF
  36. M. de Rijke. Modal Logics and Description Logics. In: Proc. International Workshop on Description Logics (DL’98), ITC-irst, Ref. No. 9805-03, pages 1-3, 1998. PDF
  37. N. Kurtonina and M. de Rijke. Classifying Description Logics. In: Proc. International Workshop on Description Logics (DL’97), LRI, CNRS, Gif sur Yvette, pages 49-53, 1997. PDF
  38. P. Blackburn, W. Meyer-Viol, and M. de Rijke. A Proof System for Finite Trees. In: Computer Science Logic ’95, LNCS, Springer-Verlag, pages 86-105, 1996. PDF
  39. P. Blackburn and M. de Rijke. Logical Aspects of Combined Structures. In: Logic, Language and Computation, CSLI Lecture Notes, Stanford, pages 65-76, 1996. PDF
  40. W. van der Hoek and M. de Rijke. Interleaved Contractions. In: Proceedings 4th ModelAge Workshop, pages 173-186, 1996.
  41. P. Blackburn, C. Gardent, and M. de Rijke. Rich Ontologies for Tense and Aspect. In: Logic, Language and Computation, CSLI Lecture Notes, Stanford, pages 77-92, 1996. PDF
  42. M. de Rijke. What is Modal Logic?. In: Arrow Logics and Multi-Modal Logics, Studies in Logic, Language and Information, CSLI Publications, Stanford, pages 191-202, 1996. PDF
  43. M. de Rijke. A Lindström Theorem for Modal Logic. In: Modal Logic and Process Algebra, Lecture Notes 53, CSLI Publications, Stanford, pages 217-230, 1995. PDF
  44. P. Blackburn, C. Gardent, and M. de Rijke. Ontologies Riches pour le Temps et l’Aspect. In: Time, Space and Movement: Meaning and Knowledge in the Sensible World, Workshop Notes of the 5th International Workshop on Time, Space and Movement (TSM’95), part D, pages 3-16, 1995.
  45. A. Montanari and M. de Rijke. Completeness Results for Two-sorted Metric Temporal Logics. In: Proc. 4th International Conference on Algebraic Methodology and Software Technology, AMAST ’95, LNCS 936, Springer, pages 385-399, 1995. PDF
  46. P. Blackburn, M. de Rijke, and Y. Venema. Relational Methods in Logic, Language and Information. In: Relational Methods in Computer Science, Advances in Computing Science, Springer-Verlag, Wien/New-York, pages 211-225, 1994. PDF
  47. P. Blackburn, C. Gardent, and M. de Rijke. Back and Forth Through Time and Events (Extended abstract). In: Temporal Logic, LNAI 827, Springer, pages 225-337, 1994. (This is a slightly modified version of the Amsterdam Colloquium Paper below.)
  48. P. Blackburn, C. Gardent, and M. de Rijke. Back and Forth Through Time and Events (Extended abstract). In: Proceedings 9th Amsterdam Colloquium, pages 161-174, December 1993. PDF
  49. W. van der Hoek and M. de Rijke. Counting Objects in Generalized Quantifier Theory, Modal Logic and Knowledge Representation. In: Generalized Quantifiers: Theory and Applications, Dutch Network for Language, Logic and Information, pages 115-142, 1992. PDF
  50. M. de Rijke. What is Modal Logic?. In: Conference Proceedings of Logic at Work, CCSOM, University of Amsterdam, 1992.
Copy link
CopyCopied