Victor Gutierrez Basulto

Articles

• Gutierrez Basulto, V., Ibanez Garcia, Y., Jung, J. C. and Murlak, F. 2023. Answering regular path queries mediated by unrestricted SQ ontologies. Artificial Intelligence 314, article number: 103808. (10.1016/j.artint.2022.103808)
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schröder, L. 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58, pp. 1-66. (10.1613/jair.5222)
• Klarman, S. and Gutierrez Basulto, V. 2016. Description logics of context. Journal of Logic and Computation 26(3), pp. 817-854. (10.1093/logcom/ext011)
• Gutierrez Basulto, V., Ibanez-García, Y., Kontchakov, R. and Kostylev, E. V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35(4), pp. 184-202. (10.1016/j.websem.2015.06.002)

Conferences

• Xiang, Z., Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 2024. ASPEN: ASP-Based system for collective entity resolution. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, Vietnam, 2 - 8 November 2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild. IJCAI Organization pp. 788-799., (10.24963/kr.2024/74)
• Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. A. and Murlak, F. 2024. Containment of graph queries modulo schema. Presented at: 2024 ACM SIGMOD/PODS International Conference on Management of Data, Santiago, Chile, 9-14 June 2024 Presented at Agrawal, D. ed.Proceedings of the ACM on Management of Data. Association for Computing Machinery pp. 1-26., (10.1145/3651140)
• Myung, J. et al. 2024. BLEND: A benchmark for LLMs on everyday knowledge in diverse cultures and languages. Presented at: 38th Conference on Neural Information Processing Systems (NeurIPS 2024) Track on Datasets and Benchmarks, Vancouver, BC, Canada, 9-15 December 2024.
• Zhou, X., He, J., Ke, Y., Zhu, G., Gutierrez Basulto, V. and Pan, J. Z. 2024. An empirical study on parameter-efficient fine-tuning for multimodal large language models. Presented at: 62nd Annual Meeting of the Association for Computational Linguistics (ACL 2024), Bangkok, Thailand, 11-16 August 2024.
• Yang, Y., He, J., Chen, P., Gutierrez Basulto, V. and Pan, J. Z. 2024. UniArk: Improving generalisation and consistency for factual knowledge extraction through debiasing. Presented at: 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Mexico City, Mexico, 16-21 June 2024.
• Akash Anil, A., Gutierrez Basulto, V., Ibanez Garcia, Y. and Schockaert, S. 2024. Inductive knowledge graph completion with GNNs and rules: An analysis. Presented at: 2024 Joint International Conference On Computational Linguistics, Language Resources And Evaluation (LREC-COLING 2024), Turin, Italy, 20-25 May 2024.
• Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. HyperFormer: Enhancing entity and relation interaction for hyper-relational knowledge graph completion. Presented at: 32nd ACM International Conference on Information and Knowledge Management, Birmingham, UK, 21-25 October 2023.
• Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 2023. Finite entailment of UCRPQs over ALC ontologies (Extended Abstract). Presented at: 32nd International Joint Conference on Artificial Intelligence, Macao, China, 19-25 August 2023.
• Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2023. REPLACE: A logical framework for combining collective entity resolution and repairing. Presented at: 32nd International Joint Conference on Artificial Intelligence, Macao, China, 19-25 August 2023.
• He, J., Chi Lok U, S., Gutierrez Basulto, V. and Pan, J. Z. 2023. BUCA: A binary classification approach to unsupervised commonsense question answering. Presented at: 61st Annual Meeting of the Association for Computational Linguistics (ACL?23), Toronto, Canada, 9-14 July 2023.
• Bienvenu, M., Cima, G., Gutierrez Basulto, V. and Ibanez Garcia, Y. 2023. Combining global and local merges in logic-based entity resolution. Presented at: 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, 2-8 September 2023.
• Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2023. Multi-view contrastive learning for entity typing over knowledge graphs. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
• Chi Lok U, S., He, J., Gutierrez Basulto, V. and Pan, J. Z. 2023. Instances and labels: Hierarchy-aware joint supervised contrastive learning for hierarchical multi-label text classification. Presented at: 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore, 06 -10 December 2023.
• Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, R. and Pan, J. Z. 2022. Transformer-based entity typing in knowledge graphs. Presented at: Conference on Empirical Methods in Natural Language Processing (EMNLP), Abu Dhabi, 07-11 December 2022Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics. pp. 5988-6001.
• Bouraoui, Z., Gutierrez Basulto, V. and Schockaert, S. 2022. Integrating ontologies and vector space embeddings using conceptual spaces. Presented at: International Research School in Artificial Intelligence in Bergen (AIB 2022), 7-11 June 2022The OpenAccess Series in Informatics, Vol. 99. Open Access Series in Informatics (OASIcs) Dagstuhl, Germany: Dagstuhl Publishing pp. 3:1-3:30., (10.4230/OASIcs.AIB.2022.3)
• Hu, Z., Gutierrez Basulto, V., Xiang, Z., Li, X., Li, R. and Pan, J. Z. 2022. Type-aware embeddings for multi-hop reasoning over knowledge graphs. Presented at: 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, 23-29 July 2022.
• Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 2022. Finite entailment of UCRPQs over ALC Ontologies. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, 31 July - 05 August 2022.
• Bienvenu, M., Cima, G. and Gutierrez Basulto, V. 2022. LACE: A Logical Approach to Collective Entity resolution. Presented at: 41st ACM SIGMOD/PODS International Conference on Management of Data 2022, Philadelphia, PA, United States, 12-17 June 2022.
• Schockaert, S. and Gutierrez Basulto, V. 2021. Modelling symbolic knowledge using neural representations. Presented at: Reasoning Web Summer School 2021, Leuven, Belgium, 8-15 September 2021.
• Schockaert, S., Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. Modelling concept interpolation in description logics using abstract betweenness relations. Presented at: 34th International Workshop on Description Logics (DL 2021), Bratislava, Slovakia, 19-22 September 2021.
• Schockaert, S., Ibanez Garcia, Y. and Gutierrez Basulto, V. 2021. A description logic for analogical reasoning. Presented at: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, 21-26 August 2021.
• Tsamoura, E., Gutierrez Basulto, V. and Kimmig, A. 2020. Beyond the grounding bottleneck: Datalog techniques for inference in probabilistic logic programs. Presented at: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA, 7-12 February 2020.
• Ibanez Garcia, Y., Gutierrez Basulto, V. and Schockaert, S. 2020. Plausible reasoning about EL-Ontologies using concept interpolation. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020.
• Gogacz, T., Gutierrez Basulto, V., Gutowski, A., Ibanez Garcia, Y. and Murlak, F. 2020. On finite entailment of non-local queries in description logics. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020.
• Gogacz, T., Gutierrez Basulto, V., Ibanez Garcia, Y., Murlak, F., Ortiz, M. and Simkus, M. 2020. Ontology focusing: knowledge-enriched databases on demand. Presented at: 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, 8/06/2020 -12/06/2020. pp. -.
• Gogacz, T., Gutierrez Basulto, V., Ibanez Garcia, Y., Jung, J. C. and Murlak, F. 2019. On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles. Presented at: 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Macao, China, 10-16 August 2019. pp. -.
• Gutierrez Basulto, V. and Schockaert, S. 2018. From knowledge graph embedding to ontology embedding? An analysis of the compatibility between vector space representations and rules. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, Arizona, 27 Oct - 2 Nov 2018.
• Gutierrez Basulto, V., Jung, J. C. and Sabellek, L. 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018 Presented at Lang, J. ed.IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press
• Gutierrez Basulto, V., Ibanez Garcia, Y. and Jung, J. C. 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 2-7 February 2018Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications pp. -.
• Gutierrez Basulto, V., Jung, J. C. and Kuzelka, O. 2018. Quantified Markov logic networks. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), Tempe, Arizona, USA, 30 October-2 November 2018International Conference on Principles of Knowledge Representation and Reasoning.
• Gutierrez Basulto, V., Ibanez Garcia, Y. and Jung, J. C. 2017. Number restrictions on transitive roles in description logics with nominals. Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, California, USA, 4-9 Feb 2017.
• Gutierrez Basulto, V., Ibanez-Garcia, Y. and Jung, J. C. 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.
• Gutierrez Basulto, V. and Jung, J. C. 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization pp. 1074-1080., (10.24963/ijcai.2017/149)
• Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press pp. 1102-1108.
• Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.
• Gutierrez Basulto, V., Jung, J. C. and Ozaki, A. 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016 Presented at Kaminka, G. A. et al. eds.Frontiers in Artifical Intelligence and Applications, Vol. 285. Amsterdam: IOS Press pp. 837-845., (10.3233/978-1-61499-672-9-837)
• Gutierrez Basulto, V., Jung, J. C. and Schneider:, T. 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
• Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.
• Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications
• Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)
• Gutierrez Basulto, V., Jung, J. C. and Lutz, C. 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012Frontiers in Artificial Intelligence and Applications, Vol. 242. IOS Press pp. 390-395., (10.3233/978-1-61499-098-7-390)
• Gutierrez Basulto, V., Ibanez-Garcia, Y. and Kontchakov, R. 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012Web Reasoning and Rule Systems. pp. 75-89., (10.1007/978-3-642-33203-6_7)
• Gutierrez Basulto, V. and Klarman, S. 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer pp. 90-105., (10.1007/978-3-642-33203-6_8)
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)

• Gutierrez Basulto, V., Jung, J. C. and Sabellek, L. 2018. Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. Presented at: IJCAI-ECAI 2018, Stockholm, Sweden, 13-19 July 2018 Presented at Lang, J. ed.IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press
• Gutierrez Basulto, V., Ibanez Garcia, Y. and Jung, J. C. 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 2-7 February 2018Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications pp. -.
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schröder, L. 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58, pp. 1-66. (10.1613/jair.5222)
• Gutierrez Basulto, V., Ibanez Garcia, Y. and Jung, J. C. 2017. Number restrictions on transitive roles in description logics with nominals. Presented at: Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, California, USA, 4-9 Feb 2017.
• Gutierrez Basulto, V., Ibanez-Garcia, Y. and Jung, J. C. 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017.
• Gutierrez Basulto, V. and Jung, J. C. 2017. Combining DL-LiteNbool with branching time: a gentle marriage. Presented at: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August 2017Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Marina del Rey, Ca.: International Joint Conferences on Artificial Intelligence Organization pp. 1074-1080., (10.24963/ijcai.2017/149)
• Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. Presented at: Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, NY, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press pp. 1102-1108.
• Klarman, S. and Gutierrez Basulto, V. 2016. Description logics of context. Journal of Logic and Computation 26(3), pp. 817-854. (10.1093/logcom/ext011)
• Gutierrez Basulto, V., Jung, J. C. and Kontchakov, R. 2016. On decidability and tractability of querying in temporal EL. Presented at: 29th International Workshop on Description Logics, Cape Town, South Africa, 22-25 April 2016.
• Gutierrez Basulto, V., Jung, J. C. and Ozaki, A. 2016. On metric temporal description logics. Presented at: 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, The Netherlands, 29 August-2 September 2016 Presented at Kaminka, G. A. et al. eds.Frontiers in Artifical Intelligence and Applications, Vol. 285. Amsterdam: IOS Press pp. 837-845., (10.3233/978-1-61499-672-9-837)
• Gutierrez Basulto, V., Ibanez-García, Y., Kontchakov, R. and Kostylev, E. V. 2015. Queries with negation and inequalities over lightweight ontologies. Journal of Web Semantics 35(4), pp. 184-202. (10.1016/j.websem.2015.06.002)
• Gutierrez Basulto, V., Jung, J. C. and Schneider:, T. 2015. Lightweight temporal description logics with rigid roles and restricted TBoxes. Presented at: Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
• Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2015. The complexity of temporal description logics with rigid roles and restricted TBoxes: in quest of saving a troublesome marriage. Presented at: 28th International Workshop on Description Logics, Athens, Greece, 7-10 June 2015.
• Gutierrez Basulto, V., Jung, J. C. and Schneider, T. 2014. Lightweight description logics and branching time: a troublesome marriage. Presented at: Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, 20-24 July 2014Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications
• Gutierrez Basulto, V., Ibanez-Garcia, Y., Kontchakov, R. and Kostylev, E. V. 2013. Conjunctive queries with negation over DL-Lite: A closer look. Presented at: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, 27-29 July 2013 Presented at Faber, W. and Lembo, D. eds.Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science Springer pp. 109-122., (10.1007/978-3-642-39666-3_9)
• Gutierrez Basulto, V., Jung, J. C. and Lutz, C. 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012Frontiers in Artificial Intelligence and Applications, Vol. 242. IOS Press pp. 390-395., (10.3233/978-1-61499-098-7-390)
• Gutierrez Basulto, V., Ibanez-Garcia, Y. and Kontchakov, R. 2012. An update on query answering with restricted forms of negation. Presented at: 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 Sep 2012Web Reasoning and Rule Systems. pp. 75-89., (10.1007/978-3-642-33203-6_7)
• Gutierrez Basulto, V. and Klarman, S. 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer pp. 90-105., (10.1007/978-3-642-33203-6_8)
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. A closer look at the probabilistic description logic prob-EL. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics for context-based semantic interoperability. Presented at: Twenty-Fifth {AAAI} Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011.
• Gutierrez Basulto, V., Jung, J. C., Lutz, C. and Schroder, L. 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
• Klarman, S. and Gutierrez Basulto, V. 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010Logics in Artificial Intelligence. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, (10.1007/978-3-642-15675-5_19)