Informatics Institute Annual Report 004 Chapter introduction

Books, bookchapters and special issues

[1] P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2004. Reprinted with corrections.

Conference contributions
[1] S. Fissaha Adafre, W.R. van Hage, J. Kamps, G. Lacerda de Melo and M. de Rijke. The Universiteit van Amsterdam at CLEF 2004. In C. Peters and F. Borri, editors, Working Notes for the CLEF 2004 Workshop, pp 91­98, 2004.
[2] L. Afanasiev. XML query evaluation via CTL symbolic model checking. In Proceedings of the ESSLLI 2004 Student Session, Nancy, 2004.
[3] L. Afanasiev, M. Franceschet, M. Marx and M. de Rijke. CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning (TIME 2004), IEEE Computer Society Press, 2004.
[4] D. Ahn, S. Fissaha Adafre, V. Jijkoun and M. de Rijke. The University of Amsterdam at Senseval-3: Semantic Roles and Logic Forms. In Proceedings of Senseval-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text, pages 49­53, Association for Computational Linguistics, 2004.
[5] D. Ahn, V. Jijkoun, J. Kamps, G. Mishne, K. Müller, M. de Rijke and S. Schlobach: The University of Amsterdam at TREC 2004. In TREC 2004 Conference Notebook, pages 43­56, Gaithersburg, Maryland USA, 2004.
[6] D.D. Ahn. Presupposition incorporation in quantifier domains (extended abstract). In Sinn und Bedeutung 9. Gesellschaft für Semantik, 2004.
[7] D. Ahn, V. Jijkoun, G. Mishne, K. Müller, M. de Rijke and S. Schlobach. A Recall Oriented Approach to Open Domain Question Answering (abstract). In 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004), 2004.
[8] R. Bernardi, I. Dahn, G. Mishne, M. Moortgat, M. de Rijke and H. Uszkoreit. Dynamic teaching materials for ESSLLI. In P. Monachesi, C. Vertan, W. von Hahn, and S. Jekat, editors, Proceedings LREC Workshop on Language Resources: Integration and Development in e-Learning and in Teaching Computational Linguistics, 2004.
[9] N. Bezhanishvili, B. ten Cate, M. Marx and P.Viana. Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004, pp 44­61, University of Manchester.
[10] P. Blackburn and B. ten Cate. Pure extensions, proof rules and hybrid axiomatics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004, pp 16­29, University of Manchester.
[11] S. Brand, R. Gennari and M. de Rijke. Constraint methods for modal satisfiability. In K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, editors, Recent Advances in Constraints, 2003, volume 3010 of LNAI, pp 66­86, Springer, 2004.
[12] C. Caracciolo, W. van Hage and M. de Rijke. Topic driven access to full text documents. In Proceedings of the 8th European Conference on Digital Libraries (ECDL 2004), LNCS, pp 495­500, Springer,2004.
[13] S. Fissaha, D. Ahn and M. de Rijke. Temporal expression extraction using conditional random fields (abstract). In 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004), 2004.
[14] I. Fundulaki and M. Marx. Specifying Access Control Policies for XML Documents with XPath. In Proceedings of the 9th ACM Symposium on Access Control Models and Technologies (SACMAT), pp 61­69,Yorktown Heights, New York, USA, June 2004, ACM Press.
[15] W.R. van Hage, M. de Rijke and M. Marx. Information retrieval support for ontology construction and use. In S.A. McIlraith, D. Plexousakis, and F. van Harmelen, editors, Proceedings 3rd International Semantic Web Conference (ISWC 2004), LNCS 3298, pages 518­533, 2004.
[16] G. Infante-Lopez and M. de Rijke. Alternative approaches for generating bodies of grammar rules. In Proceedings 42nd Annual Meeting of the Association for Computational Linguistics(ACL 2004), pp 454­461, 2004.
[17] G. Infante-Lopez and M. de Rijke. Comparing the ambiguity reduction abilities of probabilistic context-free grammars. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC 2004).
[18] G. Infante-Lopez and M. de Rijke. Expressive power and consistency properties of state-of-the-art natural language parsers. In J.L. Vicedo, P. Martinez-Barco, and R. Munoz et al., editors, Proceedings Advances in Natural Language Processing: 4th International Conference, EsTAL 2004, pp 149­160, 2004.
[19] G. Infante-Lopex and M. de Rijke. Alternative approaches for generating bodies of grammar rules (extended abstract). In R. Verbrugge, N. Taatgen, and L. Schomaker, editors, Proceedings BNAIC 2004, 2004, pages 337­339.
[20] V. Jijkoun and M. de Rijke. Answer selection in a multi-stream open domain question answering system. In S. McDonald and J. Tait, editors, Proceedings 26th European Conference on Information Retrieval(ECIR'04), volume 2997 of LNCS, pp 99­111, Springer, 2004.
[21] V. Jijkoun and M. de Rijke. Enriching the output of a parser using memory-based learning, In Proceedings 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004), pp 311­318, 2004.
[22] V. Jijkoun, M. de Rijke and J. Mur. Information extraction for question answering: Improving recall through syntactic patterns. In Proceedings of the 20th International on Computational Linguistics (COLING 2004), 2004.
[23] V. Jijkoun, G. Mishne and M. de Rijke. How frogs built the Berlin Wall. In C. Peters, J. Gonzalo, M. Braschler, and M. Kluck, editors, Comparative Evaluation of Multilingual Information Access Systems,CLEF 2003, volume 3237 of Lecture Notes in Computer Science, pp 523­534, Springer, 2004.
[24] V. Jijkoun, G. Mishne, M. de Rijke, S. Schlobach, D. Ahn and K. Müller. The University of Amsterdam at qa@clef 2004. In C. Peters and F. Borri, editors, Working Notes for the CLEF 2004 Workshop, pp 321­324, 2004.
[25] V. Jijkoun, G. Mishne, C. Monz, M. de Rijke, S. Schlobach and O. Tsur. The Universiteit of Amsterdam at the TREC 2003 Question Answering Track. In Proceedings TREC 2003, pp 586­593, 2004.
[26] J. Kamps and M. de Rijke. The effectiveness of combining information retrieval strategies for European languages. In Proceedings 19th Annual ACM Symposium on Applied Computing, pp 1073­1077, 2004.
[27] J. Kamps, M. de Rijke., and B. Sigurbjörnsson. Length normalization in XML retrieval. In Proceedings 27th Annual International ACM SIGIR Conference (SIGIR 2004), pages 80­87, 2004.
[28] J. Kamps, M. Marx, M. de Rijke, and B. Sigurbjörnsson. Best-match querying from document-centric XML. In S. Amer-Yahia and L. Gravano, editors, Proceedings Seventh International Workshop on the Web and Databases (WebDB 2004), pages 55­60, 2004.
[29] J. Kamps, M. Marx, R.J. Mokken and M. de Rijke. Using WordNet to measure semantic orientations of adjectives. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC 2004), volume IV, pages 1115­1118, 2004.

[30] J. Kamps, C. Monz, M. de Rijke, and B. Sigurbjörnsson. Language-dependent and language-independent approaches to crosslingual text retrieval. In C. Peters, J. Gonzalo, M. Braschler, and M. Kluck, editors, Comparative Evaluation of Multilingual Information Access Systems, CLEF 2003, volume 3237 of Lecture Notes in Computer Science, pages 152­165, Springer, 2004.

[31] J. Kamps, C. Monz, M. de Rijke and B. Sigurbjörnsson. Approaches to robust and web retrieval. In Proceedings TREC 2003, pages 594­600, 2004.
[32] B. Magnini, S. Romagnoli, A. Vallin, J. Herrera, A. Penas, V. Peinado, F. Verdejo, and M. de Rijke. Creating the DISEQuA corpus: a multilingual test set for the monolingual question answering tasks at CLEF 2003. In C. Peters, J. Gonzalo, M. Braschler, and M. Kluck, editors, Comparative Evaluation of Multilingual Information Access Systems, CLEF 2003, volume 3237 of Lecture Notes in Computer Science, pages 487­500, Springer, 2004.
[33] B. Magnini, S. Romagnoli, A. Vallin, J. Herrera, A. Penas, V. Peinado, F. Verdejo, and M. de Rijke. The multiple language question answering track at CLEF 2003. In Carol Peters, Julio Gonzalo, Martin Braschler and Michael Kluck, editors, Comparative Evaluation of Multilingual Information Access Systems, CLEF 2003, volume 3237 of Lecture Notes in Computer Science, pages 471­486, Springer, 2004.
[34] B. Magnini, A. Vallin, C. Ayache, G. Erbach, A. Penas, M. de Rijke, D. Rocha, K. Simov, and R. Sutcliffe. Overview of the clef 2004 multilingual question answering track. In C. Peters and F. Borri, editors, Working Notes for the CLEF 2004 Workshop, pages 281­294, 2004.
[35] M. Marx. Conditional XPath, the first order complete XPath dialect. In Proceedings of PODS'04, pages 13­22. ACM Press, June 2004.
[36] M. Marx. XPath with conditional axis relations. In Proceedings of EDBT'04, volume 2992 of LNCS, pages 477­494, 2004.
[37] M. Marx and M. de Rijke. Semantic characterizations of navigational XPath. In V. Mihajlovic and D. Hiemstra, editors, Proceedings of the First Twente Data Management Workshop (TDM'04), pages 67­73, 2004.

[38] G. Mishne and M. de Rijke. Source code retrieval using conceptual similarity. In Proceedings RIAO 2004, pages 539­554, 2004.

[39] K. Müller. Semi-Automatic Construction of a Question Treebank. In Proceedings of the 4th International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Portugal, 2004.
[40] K. Müller. Revealing Automatically Phonological Similarities of Dutch and German (abstract). In 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004), 2004.
[41] L. Polanyi, C. Culy, M. van den Berg, G.L. Thione, and D.D. Ahn. A rule based approach to discourse parsing. In Proceedings of the 5th SIGdial Workshop in Discourse and Dialogue, pages 108­117, 2004.
[42] L. Polanyi, C. Culy, M. van den Berg, G.L. Thione, and D.D. Ahn. Sentential structure and discourse parsing. In Proceedings of the ACL 2004 Workshop on Discourse Annotation, 2004.
[43] S. Schlobach. Explaining subsumption by optimal interpolation. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04), LNAI. Springer, 2004.
[44] S. Schlobach and R. Cornet. Logical support for terminological modeling. In M. Fieschi, E. Coeira, and Yu-Chan Jack Li, editors, Proceedings of MedInfo 2004, number 107 in Studies in Health Technology and Informatics, 2004.
[45] S. Schlobach, M. Olsthoorn and M. de Rijke. Type checking in open- domain question answering. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pages 398­402. IOS Press, 2004.
[46] S. Schlobach, M. Olsthoorn and M. de Rijke. Type checking in open-domain question answering (extended abstract). In R. Verbrugge, N. Taatgen, and L. Schomaker, editors, Proceedings BNAIC 2004, 2004, pages 367­368.
[47] B. Sigurbjörnsson, J. Kamps, and M. de Rijke. An element-based approch to XML retrieval. In N. Fuhr and S. Malik, editors, Proceedings INEX 2003, pages 19­26, 2004.
[48] B. Sigurbjörnsson, J. Kamps and M. de Rijke. Multiple sources of evidence for XML retrieval. In Proceedings 27th Annual International ACM SIGIR Conference (SIGIR 2004), 2004.
[49] B. Sigurbjörnsson, J. Kamps and M. de Rijke. Processing content-and- structure queries for XML retrieval. In V. Mihajlovic and D. Hiemstra, editors, Proceedings of the First Twente Data Management Workshop (TDM'04), pages 32­38, 2004.

[50] B. Sigurbjörnsson, J. Kamps and M. de Rijke. Processing content- oriented XPath queries. In Proceedings of the Thirteenth ACM conference on Information and knowledge management, pages 371­380. ACM Press, 2004.

[51] B. Sigurbjörnsson, J. Kamps and M. de Rijke. The University of Amsterdam at INEX 2004. In N. Fuhr, M. Lalmas, S. Malik, and Z. Szl´avik, editors, INEX 2004 Workshop Proceedings, pages 104­109, 2004.
[52] B. Sigurbjörnsson and A. Trotman. Queries: INEX 2003 working group report. In N. Fuhr and S. Malik, editors, Proceedings INEX 2003, pages 167­170, 2004.
[53] B. Sigurbjörnsson, J. Kamps and M. de Rijke. Building a multilingual web retrieval collection (abstract). In 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004), 2004.
[54] B. Sigurbjörnsson, J. Kamps and M. de Rijke. Length normalization in XML retrieval (extended abstract). In R. Verbrugge, N. Taatgen, and L. Schomaker, editors, Proceedings BNAIC 2004, 2004, pages 369­370.

[55] E. Tjong Kim Sang. Introduction to FactMine (abstract). In 15th Meeting of Computational Linguistics in the Netherlands (CLIN 2004), 2004.

[56] O. Tsur, M. de Rijke and K. Sima'an. Biographer: Biography questions as a restricted domain question answering task. In Proceedings ACL 2004 Workshop on Question Answering in Restricted Domains, 2004.
[57] A. Weber and K. Müller. Word order variation in German main clauses: A corpus analysis. In Proceedings of the 5th International Workshop on Linguistically Interpreted Corpora (LINC-04), Geneva, Switzerland, 2004.
Reports
[1] J. van Benthem, G. Bezhanishvili, B. ten Cate and D. Sarenac. Modal logics for products of topologies. Technical Report PP-2004-15, ILLC, Universiteit van Amsterdam, 2004.
[2] N. Bezhanishvili and B. ten Cate. Transfer results for hybrid logic ­ part i: the case without satisfaction operators. Technical Report PP-2004-06, ILLC, Universiteit van Amsterdam, 2004.

[3] B. ten Cate. The first order formulas preserved under ultrafilter ex tensions are not recursively enumerable. Technical Report PP-2004-27, ILLC, Universiteit van Amsterdam, 2004.

[4] B. ten Cate and M. Franceschet. Guarded fragments with constants. Technical Report PP-2004-32, ILLC, Universiteit van Amsterdam, 2004.
Other products
Miscellanea
[1] B. ten Cate, M. Marx and P. Viana. Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, chapter Sahlqvist theory for hybrid logic. 2004.
[9] M. Marx. Book review of Relation Algebras and Games by R. Hirsch and I. Hodkinson. Studia Logica, 77(1):129­147, 2004.

[12] B. Sigurbjörnsson. Book review: Language Modeling for Information Retrieval (eds. W.B. Croft and J. Lafferty). Journal of Logic, Language and Information, 13(4):531­534, 2004.

Software
[1] L. Afanasiev. XMChecker, An XML Model Checker. http://ilps.science.uva.nl/Resources
[2] D. Ahn. System for Recognizing and Normalizing Temporal Expressions. URL:

http://ilps.science.uva.nl/Resources

[3] N. Caarls and R. Mokken HORUS. A Platform for Spatial Feature Detection in Multispectral Images from Remote Sensing (version 1.08)
[4] M. Franceschet. XPathMark: An XPath benchmark for XMark, URL:

http://www.science.uva.nl/~francesc/xpathmark

[5] G. Mishne. ILPS Extensions to Lucene. URL: http://ilps.science.uva.nl/Resources
[6] B. Sigurbjörnsson. XML Retrieval Extensions to Lucene. URL: http://ilps.science.uva.nl/Resources/
[7] E. Tjong Kim Sang. FactMine Dutch QA Demo. URL: http: //staff.science.uva.nl/~erikt/factmine/qademo.cgi
Corpora.
[1] V. Jijkoun. Answer Type Classification. Guidelines plus evaluation corpus. URL:

http://ilps.science.uva.nl/Resources/

[2] V. Jijkoun. Question-Answer Pairs Collection. URL: http://ilps.science.uva.nl/Resources/
[3] J. Kamps, M. de Rijke, B. Sigurbjörnsson. EuroGOV: A Multilingual Web Retrieval Collection. URL: http://ilps.science.uva.nl/WebCLEF/
[4] G. Mishne. Blog Comment Spam Collection. URL: http://ilps.science.uva.nl/Resources/blogspam
[5] G. Mishne. Source Code Retrieval Corpus+Assessments. URL: http://www.science.uva.nl/~gilad/scg

[6] K. Müller. Evaluation corpus for Tagging Questions. URL: http://ilps.science.uva.nl/Resources/

The Laboratory for Human Computer Studies
Recent key publications
[1] C.J. van Aart, B.J. Wielinga and A. Th. Schreiber. Organizational Building Blocks for Design of Distributed Intelligent Systems. Int. J. Human-Computer Studies, 61, 567-599, 2004.
[2] Bredeweg, B. and Struss, S. (Eds). Current Topics in Qualitative Reasoning. AI Magazine (special issue), Volume 24, Number 4 (winter), 13-130, 2003.
[3] L.M. Camarinha-Matos and H. Afsarmanesh (Eds). Collaborative networked organizations – A research agenda for emerging business models, Springer and Kluwer Academic Publishers, ISBN 1-4020-7823-4, 2004.
[4] S. Kabel, R. de Hoog, B.J. Wielinga and A. Anjewierden. The added value of task and ontology based mark-up for information retrieval. Journal of the American Society for Information Science and Technology, 55(4), pp 348-362, 2004.
[5] P. van der Putten and M. van Someren. A bias-variance analysis of a real world learning problem: the CoIL challenge 2000. Machine Learning, 57, 177-195, 2004.
Dissertations
[1] C.J. van Aart. Organizational Principles for Multi-Agent Systems, PhD Thesis, Universiteit van Amsterdam, April 2004 (Promotores: Prof. Dr. B.J. Wielinga and Prof. Dr. A.Th. Schreiber).
[2] V. Bessa Machado. Supporting the Construction of Qualitative Knowledge models, PhD Thesis, Universiteit van Amsterdam, November 2004 (Promotor: Prof. Dr. B.J. Wielinga, Co-promotor: Dr. B. Bredeweg).
[3] S. Kabel. Knowledge-rich indexing of learning objects, PhD Thesis, Universiteit van Amsterdam, October 2004 (Promotores: Prof. Dr. B.J. Wielinga, Prof. Dr. R. de Hoog).
[pm] E. C. Kaletas. Scientific Information Management in Collaborative Experimentation Environments, PhD Thesis, Universiteit van Amsterdam, (Promotor: Prof. Dr. L.O. Hertzberger, Co-promotor: Dr. H. Afsarmanesh) May 2004.
Journal Articles
[1] C.J. van Aart, B.J. Wielinga and A. Th. Schreiber. Organizational Building Blocks for Design of Distributed Intelligent Systems. Int. J. Human-Computer Studies 61, 567-599, 2004.
[2] P. Adriaans and M. van Zaanen. Computational Grammar Induction for Linguists. Grammars 7, 57-68, 2004.
[3] P. Adriaans, H. Fernau, C. de la Higuera and M. van Zaanen. Introduction to the Special Issue on Grammar Induction. Grammars, 7, 41-43, 2004.
[4] J. Breuker, A. Valente and R. Winkels. Use and reuse of legal ontologies in knowledge engineering and information management. Artificial Intelligence & Law, Vol 12, special issue on Legal Ontologies, (37 pages), 2004.
[5] H.S.M. Cramer, V. Evers, E.V. Zudilova and P.M.A. Sloot. Context analysis to support development of virtual reality applications. Journal of Virtual Reality, 7(3), 177-186, 2004.
[6] V. Evers, E. del Galdo, D. Cyr and C. Bonanni (Eds). Designing for Global Markets 6. Proceedings of the Sixth International Workshop on Internationalisation of Products and Systems, 8-10 July, Vancouver, Canada, 2004.
[7] L. Hollink, A.Th.Schreiber, B. Wielinga and M.Worring. Classification of User Image Descriptions. International Journal of Human Computer Studies 61(5), 601-626, 2004.
[8] S. Kabel, R. de Hoog, B.J. Wielinga and A. Anjewierden. The added value of task and ontology based mark-up for information retrieval. Journal of the American Society for Information Science and Technology, 55(4), pp 348-362, 2004.
[9] S. Kabel, R. de Hoog, B. J. Wielinga and A. Anjewierden. Indexing learning objects: vocabularies and empirical investigation of consistency. AACE Journal of Educational Multimedia and Hypermedia, 13(4), 405-425, 2004.
[10] N. Lavrac, H. Motoda, T. Fawcett, R. Holte, P. Langley and P. Adriaans. Lessons learned from data mining applications and collaborative problem solving. Machine Learning, 57, 13-34, 2004.
[11] P. van der Putten and M. van Someren. A bias-variance analysis of a real world learning problem: the CoIL challenge 2000. Machine Learning, 57, pp. 177-195, 2004.
[pm] H. Afsarmanesh and L. M. Camarinha-Matos (Eds). International Journal of Networking and Virtual Organizations (Inderscience), Special issue on Infrastructures for new virtual organizations, Vol. 2, Nº 3, 2004.
[pm] H. Afsarmanesh, V. Guevara and L.O. Hertzberger. Management of federated information in tele-assistance environments. The Journal on Information Technology in Healthcare, Vol. 2, Issue 2, London, April 2004.
[pm] L.M. Camarinha-Matos and H. Afsarmanesh. A multi-agent based infrastructure to support virtual communities in elderly care. International Journal of Networking and Virtual Organizations, Inderscience, 2004 Vol. 2, No. 3, pp.246–266, ISSN 1470-9503, 2004.
[pm] L.M. Camarinha-Matos and H. Afsarmanesh. TeleCARE: Collaborative virtual elderly care support communities. The Journal on Information Technology in Healthcare, Vol. 2, Issue 2, London, pp 73-86, ISSN 1479-649X, April 2004.
[pm] E. C. Kaletas, H. Afsarmanesh and L. O. Hertzberger. A Collaborative Experimentation Environment for Biosciences. International Journal of Networking and Virtual Organizations, 2 (3): 209-231, 2004.