Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Browse by Current Cardiff authors

Number of items: 61.

Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X 2025. Advances in logic-based entity resolution: enhancing ASPEN with local merges and optimality criteria. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning, Melbourne, Australia, November 11-17 2025. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization, pp. 659-669. 10.24963/kr.2025/64
file

Wang, Meng, Liu, Jinshuo, Gutiérrez-Basulto, Víctor ORCID: https://orcid.org/0000-0002-6117-5459, Wang, Lina and Pan, Jeff Z. 2025. AQE-RF: An adaptive quantifier extension and rule-filtering graph network for logical reasoning of text. IEEE Transactions on Neural Networks and Learning Systems 36 (10) , pp. 18517-18529. 10.1109/tnnls.2025.3588525
file

Bienvenu, Meghyn, Cima, Gianluca, Gutiérrez-Basulto, Víctor ORCID: https://orcid.org/0000-0002-6117-5459, Ibáñez-García, Yazmín ORCID: https://orcid.org/0000-0002-1276-904X and Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289 2025. Recent advances in logic-based entity resolution. SIGMOD record 54 (3) , pp. 7-21. 10.1145/3774303.3774305
file

He, Jie, Yu, Simon, Gutiérrez Basulto, Víctor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff Z. 2025. N2C2: Nearest neighbor enhanced confidence calibration for cross-lingual in-context learning. Procedia Computer Science 264 , pp. 94-103. 10.1016/j.procs.2025.07.121
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Li, Ru and Pan, Jeff Z. 2025. Multi-level mixture of experts for multimodal entity linking. Presented at: 31st SIGKDD Conference on Knowledge Discovery and Data Mining, Toronto, Canada, 3-7 August 2025. Published in: Antonie, A., Pei, J., Yu, X., Chierichetti, F., Lauw, H. W., Sun, Y. and Parthasarathy, S. eds. Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. New York, NY, USA: Association for Computing Machinery, pp. 979-990. 10.1145/3711896.3737060
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Li, Ru and Pan, Jeff Z. 2025. Multi-level matching network for multimodal entity linking. Presented at: 31st SIGKDD Conference on Knowledge Discovery and Data Mining, Toronto, Canada, 3-7 August 2025. Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. New York, NY, United States: Association for Computing Machinery, pp. 508-519. 10.1145/3690624.3709306
file

Han, Xiaoqi, Li, Ru, Yi, Ran, Tan, Hongye, Liang, Zhuomin, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff Z. 2025. Uncovering and mitigating transient blindness in multimodal model editing. Presented at: 40th Annual AAAI Conference on Artificial Intelligence (AAAI'26), Singapore, 20-27 January 2026.
file

He, Jie, Yang, Yijun, Long, Wanqiu, Xiong, Deyi, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff Z. 2025. Evaluating and improving graph-to-text generation with large language models. Presented at: 2025 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL), Albuquerque, New Mexico, 29 April - 4 May 2025.
file

Zhou, Xiongtao, He, Jie, Chen, Lanyu, Li, Jingyu, Chen, Haojing, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Pan, Jeff Z. and Chen, Hanjie 2025. MiCEval: Unveiling multimodal chain of thought's quality via image description and reasoning steps. Presented at: 2025 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL), Albuquerque, New Mexico, USA, 29 April - 4 May 2025.
file

Myung, Junho, Lee, Nayeon, Zhou, Yi ORCID: https://orcid.org/0000-0001-7009-8515, Jin, Jiho, Afina Putri, Rifki, Antypas, Dimosthenis, Borkakoty, Hsuvas, Kim, Eunsu, Perez-Almendros, Carla ORCID: https://orcid.org/0000-0001-9360-4011, Ali Ayele, Abinew, Gutiérrez-Basulto, Víctor ORCID: https://orcid.org/0000-0002-6117-5459, Ibáñez-García, Yazmín, Lee, Hwaran, Hassan Muhammad, Shamsuddeen, Park, Kiwoong, Sabuhi Rzayev, Anar, White, Nina, Muhie Yimam, Seid, Taher Pilehvar, Mohammad, Ousidhoum, Nedjma, Camacho-Collados, Jose ORCID: https://orcid.org/0000-0003-1618-7239 and Oh, Alice 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. Published in: Globerson, A., Mackey, L., Belgrave, D., Fan, A., Paquet, U., Tomczak, J. and Zhang, C. eds. NeurIPS Proceedings: Advances in Neural Information Processing Systems. , vol.37 Curran Associates, Inc., pp. 78104-78146.
file

Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X 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 2024. Proceedings 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
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin A. ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip 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. Published in: Agrawal, Divyakant ed. Proceedings of the ACM on Management of Data. Association for Computing Machinery, pp. 1-26. 10.1145/3651140
file

Yang, Yijun, He, Jie, Chen, Pinzhen, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff 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. Published in: Duh, K., Gomez, H. and Bethard, S. eds. Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. ACL, pp. 7011-7028.
file

Akash Anil, Akash, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 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. Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. ELRA and ICCL, pp. 9036-9049.
file

Zhou, Xiongtao, He, Jie, Ke, Yuhua, Zhu, Guangyao, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff 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. Findings of the Association for Computational Linguistics: ACL 2024. Association for Computational Linguistics, pp. 10057-10084. 10.18653/v1/2024.findings-acl.598
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Li, Ru and Pan, Jeff 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. CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. ACM, pp. 803-812. 10.1145/3583780.3614922
file

Bienvenu, Meghyn, Cima, Gianluca and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 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. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, pp. 3132-3139. 10.24963/ijcai.2023/349
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, Jung, Jean Christoph and Murlak, Filip 2023. Answering regular path queries mediated by unrestricted SQ ontologies. Artificial Intelligence 314 , 103808. 10.1016/j.artint.2022.103808
file

Chi Lok U, Simon, He, Jie, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff 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.
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Li, Ru and Pan, Jeff 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.
file

Bienvenu, Meghyn, Cima, Gianluca, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X 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. Published in: Marquis, P., Son, T. C. and Kern-Isberner, G. eds. Proceedings of the International Conference on Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence, pp. 742-746.
file

He, Jie, Chi Lok U, Simon, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Pan, Jeff 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.
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Xiang, Zhiliang ORCID: https://orcid.org/0000-0002-0263-7289, Li, Ru and Pan, Jeff 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 2022. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics., pp. 5988-6001.
file

Bienvenu, Meghyn, Cima, Gianluca and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 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. Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. New York, NY, US: Association for Computing Machinery, pp. 379-391. 10.1145/3517804.3526233
file

Bouraoui, Zied, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 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 2022. The OpenAccess Series in Informatics. International Research School in Artificial Intelligence in Bergen. Open Access Series in Informatics (OASIcs) , vol.99 Dagstuhl, Germany: Dagstuhl Publishing, 3:1-3:30. 10.4230/OASIcs.AIB.2022.3
file

Hu, Zhiwei, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Xiang, Zhiliang, Li, Xiaoli, Li, Ru and Pan, Jeff 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip 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 - 5 August 2022. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence, pp. 184-194.
file

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2021. A description logic for analogical reasoning. Presented at: 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, 21-26 August 2021. Published in: Zhou, Zhi-Hua ed. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, pp. 2040-2046. 10.24963/ijcai.2021/281
file

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2021. Modelling symbolic knowledge using neural representations. Presented at: Reasoning Web Summer School 2021, Leuven, Belgium, 8-15 September 2021. Reasoning Web. Lecture Notes in Computer Science Springer, pp. 59-75. 10.1007/978-3-030-95481-9_3
file

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 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.
file

Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 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. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, pp. 506-516. 10.24963/kr.2020/51
file

Gogacz, Tomasz, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip 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. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI, pp. 423-432.
file

Gogacz, Tomasz, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, Murlak, Filip, Ortiz, Magdalena and Simkus, Mantas 2020. Ontology focusing: knowledge-enriched databases on demand. Presented at: 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, 29 August - 8 September 2020. Proceedings of the 24th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications , vol.325 IOS Press, pp. 745-752. 10.3233/FAIA200162
file

Tsamoura, Efthymia, Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Kimmig, Angelika ORCID: https://orcid.org/0000-0002-6742-4057 2020. Beyond the grounding bottleneck: Datalog techniques for inference in probabilistic logic programs. Presented at: 34th AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA, 7-12 February 2020. Proceedings of the Conference on Artificial Intelligence. AAAI Press, pp. 10284-10291.
file

Gogacz, Tomasz, Gutierrez-Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X, Jung, Jean Christoph and Murlak, Filip 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. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 1719-1725. 10.24963/ijcai.2019/238
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Sabellek, Leif 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. Published in: Lang, Jerome ed. IJCAI'18: Proceedings of the 27th International Joint Conference on Artificial Intelligence. AAAI Press,
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 2-7 February 2018. Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications, -.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Kuzelka, Ondrej 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 2018. International Conference on Principles of Knowledge Representation and Reasoning.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph, Lutz, Carsten and Schröder, Lutz 2017. Probabilistic description logics for subjective uncertainty. Journal of Artificial Intelligence Research 58 , pp. 1-66. 10.1613/jair.5222
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin and Jung, Jean Christoph 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Jung, Jean Christoph 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 2017. Proceedings 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
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Kontchakov, Roman 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. Published in: Brewka, Gerhard ed. IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 1102-1108.

Klarman, Szymon and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2016. Description logics of context. Journal of Logic and Computation 26 (3) , pp. 817-854. 10.1093/logcom/ext011
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Ozaki, Ana 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. Published in: Kaminka, Gal A., Fox, Maria, Bouquet, Paolo, Hüllermeier, Eyke, Dignum, Virginia, Dignum, Frank and van Harmelen, Frank eds. Frontiers in Artifical Intelligence and Applications. , vol.285 Amsterdam: IOS Press, pp. 837-845. 10.3233/978-1-61499-672-9-837
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Kontchakov, Roman 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-García, Yazmín, Kontchakov, Roman and Kostylev, Egor 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
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Schneider:, Thomas 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Schneider, Thomas 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.
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Schneider, Thomas 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 2014. Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Publications,
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin, Kontchakov, Roman and Kostylev, Egor 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. Published in: Faber, Wolfgang and Lembo, Domenico 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
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph and Lutz, Carsten 2012. Complexity of branching temporal description logics. Presented at: 20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, France, 27-31 Aug 2012. Frontiers in Artificial Intelligence and Applications. , vol.242 IOS Press, pp. 390-395. 10.3233/978-1-61499-098-7-390
file

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin and Kontchakov, Roman 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 2012. Web Reasoning and Rule Systems. LECTURE NOTES IN COMPUTER SCIENCE. pp. 75-89. 10.1007/978-3-642-33203-6_7

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 and Klarman, Szymon 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 2012. Web 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, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph, Lutz, Carsten and Schroder, Lutz 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, Szymon and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 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, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Jung, Jean Christoph, Lutz, Carsten and Schroder, Lutz 2011. The complexity of probabilistic EL. Presented at: 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011.
file

Klarman, Szymon and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2011. Two-dimensional description logics of context. Presented at: 24th International Workshop on Description Logics, DL 2011), Barcelona, Spain, July 13-16, 2011.
file

Klarman, Szymon and Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459 2010. ALC_ALC: A context description logic. Presented at: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Logics in Artificial Intelligence. Lecture Notes in Computer Science. Lecture Notes in Computer Science Berlin, Heidelberg: Springer, 10.1007/978-3-642-15675-5_19
file

This list was generated on Tue Dec 2 08:03:42 2025 GMT.