{"id":118,"date":"2015-05-02T23:56:46","date_gmt":"2015-05-02T23:56:46","guid":{"rendered":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/?page_id=118"},"modified":"2015-06-20T20:17:22","modified_gmt":"2015-06-20T20:17:22","slug":"conference-papers-50-1","status":"publish","type":"page","link":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/publications\/conference-papers\/conference-papers-50-1\/","title":{"rendered":"Conference papers"},"content":{"rendered":"
most recent<\/a> | 100-51<\/a> | 50-1<\/div>\n

 <\/p>\n

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

    most recent | 100-51 | 50-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 C. Caracciolo, M. de Rijke, and J. Kircz. Towards Scientific Information Disclosure through Concept Hierarchies. In: Proceedings ELPUB 2002, 2002. PostScript, PDF G. Infante-Lopez,…<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":76,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/118"}],"collection":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/comments?post=118"}],"version-history":[{"count":13,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/118\/revisions"}],"predecessor-version":[{"id":742,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/118\/revisions\/742"}],"up":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/76"}],"wp:attachment":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/media?parent=118"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}