Lucía Gómez Álvarez
Dr. Lucía Gómez Álvarez
Wissenschaftliche Mitarbeiterin Computational Logic
Since April 2020, I am a postdoctoral research assistant at the Computational Logic Group at the Technische Universität Dresden.
My research interests are in the area of Knowledge Representation and Reasoning. I am particularly (but not exclusively) interested in the representation of concepts and of semantically variable languages, and I look at theoretical issues (linguistic and philosophical), at representational frameworks (mostly logic-based) and at applications.
Before joining the TU Dresden I was awarded the degree of PhD in Computer Science in March 2020 at the University of Leeds, where I was working under the supervision of Brandon Bennett.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311-321, 2023. IJCAI Inc
Details Download
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023
Details Download
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, to appear
Details Download
Vagueness in Predicates and Objects
Proceedings of the 13th International Conference on Formal Ontology in Information Systems, FOIS 2023, to appear
Details Download
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Inc
Details Download
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, 77:45-61, 2023
Details
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263, August 2022. CEUR Workshop Proceedings
Details Download
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, October 2022. Springer
Details Download
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden.
Volume 3249, 2022. CEUR Workshop Proceedings
Details
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
Details Download
Lehrveranstaltungen
- Advanced Problem Solving and Search (SS 2023)
- Advanced Problem Solving and Search (WS 2022)
- Advanced Problem Solving and Search (SS 2022)
- Advanced Problem Solving and Search (WS 2021)
- Advanced Problem Solving and Search (SS 2021)
weitere Lehrveranstaltungen anzeigen
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence