Search

Your search keyword '"Alvarez, Lucía"' showing total 185 results
Start Over Author "Alvarez, Lucía"
185 results on '"Alvarez, Lucía"'

7. Automated reasoning support for Standpoint-OWL 2

Author

Emmrich, Florian, Álvarez, Lucía Gómez, and Strass, Hannes

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
Abstract

We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that we also recall. The tool works by translating the standpoint-enhanced version of the description logic SROIQ to its plain (i.e. classical) version. Existing reasoners can then be directly used to provide automated support for reasoning about diverse standpoints.

Published
2023

8. Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Author

Álvarez, Lucía Gómez, Rudolph, Sebastian, and Strass, Hannes

Subjects
Computer Science - Artificial Intelligence
Abstract

Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives. Advantageously, its satisfiability problem has recently been shown to be in PTime, making it a promising framework for large-scale knowledge integration. In this paper, we show that we can further push the expressivity of this formalism, arriving at an extended logic, called Standpoint EL+, which allows for axiom negation, role chain axioms, self-loops, and other features, while maintaining tractability. This is achieved by designing a satisfiability-checking deduction calculus, which at the same time addresses the need for practical algorithms. We demonstrate the feasibility of our calculus by presenting a prototypical Datalog implementation of its deduction rules.

Published
2023

9. Standpoint Linear Temporal Logic

Author

Gigante, Nicola, Alvarez}, Lucia {Gomez, and Lyon, Tim S.

Subjects
Computer Science - Artificial Intelligence
Abstract

Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason with diverse and potentially conflicting viewpoints by means of indexed modalities. Another multi-modal logic of import is linear temporal logic (LTL) - a formalism used to express temporal properties of systems and processes, having prominence in formal methods and fields related to artificial intelligence. In this paper, we present standpoint linear temporal logic (SLTL), a new logic that combines the temporal features of LTL with the multi-perspective modelling capacity of SL. We define the logic SLTL, its syntax, and its semantics, establish its decidability and complexity, and provide a terminating tableau calculus to automate SLTL reasoning. Conveniently, this offers a clear path to extend existing LTL reasoners with practical reasoning support for temporal reasoning in multi-perspective settings.

Published
2023

10. Vagueness in Predicates and Objects

Author

Bennett, Brandon and Álvarez, Lucía Gómez

Subjects
Computer Science - Artificial Intelligence
Abstract

Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects. Non-logical terms and quantification are then interpreted directly in terms of elements and subsets of this domain. We explore ways to generalise this classical picture of precise predicates and objects to account for variability of meaning due to factors such as vagueness, context and diversity of definitions or opinions. Both names and predicative expressions can be given either multiple semantic referents or be associated with semantic referents that incorporate some model of variability. We present a semantic framework, Variable Reference Semantics, that can accommodate several modes of variability in relation to both predicates and objects.

Published
2023

11. Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

Author

Álvarez, Lucía Gómez, Rudolph, Sebastian, and Strass, Hannes

Subjects
Computer Science - Artificial Intelligence
Abstract

The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, comprehensive domains with a broad user base are often at odds with strong axiomatisations otherwise useful for inferencing, since these are usually context-dependent and subject to diverging perspectives. In this paper we introduce Standpoint EL, a multi-modal extension of EL that allows for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints (or contexts), which can be hierarchically organised and put in relation to each other. We establish that Standpoint EL still exhibits EL's favourable PTime standard reasoning, whereas introducing additional features like empty standpoints, rigid roles, and nominals makes standard reasoning tasks intractable.

Published
2023

12. How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

Author

Álvarez, Lucía Gómez, Rudolph, Sebastian, and Strass, Hannes

Subjects
Computer Science - Artificial Intelligence
Abstract

The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing ontology management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way. As an alternative, we propose Standpoint Logic, a simple, yet versatile multi-modal logic "add-on" for existing KR languages intended for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints, which can be hierarchically organised, combined and put in relation to each other. Starting from the generic framework of First-Order Standpoint Logic (FOSL), we subsequently focus our attention on the fragment of sentential formulas, for which we provide a polytime translation into the standpoint-free version. This result yields decidability and favourable complexities for a variety of highly expressive decidable fragments of first-order logic. Using some elaborate encoding tricks, we then establish a similar translation for the very expressive description logic SROIQb_s underlying the OWL 2 DL ontology language. By virtue of this result, existing highly optimised OWL reasoners can be used to provide practical reasoning support for ontology languages extended by standpoint modelling.

Published
2022

13. Automating Reasoning with Standpoint Logic via Nested Sequents

Author

Lyon, Tim S. and Álvarez, Lucía Gómez

Subjects
Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Data Structures and Algorithms, Computer Science - Multiagent Systems, Mathematics - Logic
Abstract

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics--proof systems that manipulate trees whose nodes are multisets of formulae--and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input., Comment: Accepted to KR 2022: https://kr2022.cs.tu-dortmund.de/

Published
2022

17. Biliary tract cancer

Author

Søreide, Kjetil, Dopazo, Cristina, Berrevoet, Frederik, Carrion-Alvarez, Lucia, Diaz-Nieto, Rafael, Andersson, Bodil, and Stättner, Stefan

Published
2024
Full Text
View/download PDF

18. Hepatocellular carcinoma

Author

Dopazo, Cristina, Søreide, Kjetil, Rangelova, Elena, Mieog, Sven, Carrion-Alvarez, Lucia, Diaz-Nieto, Rafael, Primavesi, Florian, and Stättner, Stefan

Published
2024
Full Text
View/download PDF

19. EORTC 1409 GITCG/ESSO 01 - A prospective colorectal liver metastasis database for borderline or initially unresectable diseases (CLIMB): Lessons learnt from real life. From paradigm to unmet need

Author

Collienne, Maike, Neven, Anouk, Caballero, Carmela, Kataoka, Kozo, Carrion-Alvarez, Lucia, Nilsson, Henrik, Désolneux, Grégoire, Rivoire, Michel, Ruers, Theo, Gruenberger, Thomas, Protic, Mladjan, Troisi, Roberto Ivan, Primavesi, Florian, Staettner, Stefan, Rahbari, Nuh, Schnitzbauer, Andreas, Malik, Hassan, Swijnenburg, Rutger-Jan, Mauer, Murielle, Ducreux, Michel, and Evrard, Serge

Published
2023
Full Text
View/download PDF

21. Participatory Simulation Framework for Agent-Based Model Validation in Air Traffic Management

Author

Roungas, Bill, Álvarez, Lucía Herrero, Meijer, Sebastiaan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dhar, Upinder, editor, Dubey, Jigyasu, editor, Dumblekar, Vinod, editor, Meijer, Sebastiaan, editor, and Lukosch, Heide, editor

Published
2022
Full Text
View/download PDF

25. First Characterization of Kombucha Beverages Brewed in Argentina: Flavors, Off‐Flavors, and Chemical Profiles.

Author

Moccia, Tobías, Antuña, Carolina, Bruzone, Clara, Burini, Julieta Amalia, Libkind, Diego, Alvarez, Lucía Paula, and Spano, Mattia

Subjects
SWEETNESS (Taste), BEVERAGE analysis, GLUCURONIC acid, SUGAR analysis, ACETIC acid, KOMBUCHA tea
Abstract

Kombucha is an acidic beverage obtained through the fermentation of sweetened tea by bacteria and yeast. The kombucha market is relatively new and shows sustained growth. Given kombucha's inherent characteristics, compliance with regulations may be challenging. The aim of this study was to characterize the chemical and sensory diversity of commercial kombuchas in Argentina. Acetic acid was the predominant acid, while lactic and glucuronic acids were present in 70% and 50% of the kombuchas, respectively. Only 20% of the kombuchas met the ethanol limit, while all fell within the established pH range. Ninety percent had sugar concentrations exceeding the limit set by Argentinian Law. As assessed by a trained panel, drinkability was positively associated with sweetness and fruity tastes and negatively associated with astringency, bitterness, and off‐flavors. This work represents the first comprehensive analysis of kombuchas in Argentina, revealing their variability and providing relevant insights for producers and consumers. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

26. Global and regional epidemiology of HIV-1 recombinants in 1990–2015: a systematic review and global survey

Author

Abimiku, Alash'le G, Agwale, Simon, Archibald, Chris, Avidor, Boaz, Barbás, María Gabriela, Barre-Sinoussi, Francoise, Barugahare, Banson, Belabbes, El Hadj, Bertagnolio, Silvia, Birx, Deborah, Bobkov, Aleksei F, Brandful, James, Bredell, Helba, Brennan, Catherine A, Brooks, James, Bruckova, Marie, Buonaguro, Luigi, Buonaguro, Franco, Buttò, Stefano, Buvé, Anne, Campbell, Mary, Carr, Jean, Carrera, Alex, Carrillo, Manuel Gómez, Celum, Connie, Chaplin, Beth, Charles, Macarthur, Chatzidimitriou, Dimitrios, Chen, Zhiwei, Chijiwa, Katsumi, Cooper, David, Cunningham, Philip, Dagnra, Anoumou, de Gascun, Cillian F, Del Amo, Julia, Delgado, Elena, Dietrich, Ursula, Dwyer, Dominic, Ellenberger, Dennis, Ensoli, Barbara, Essex, Max, Gao, Feng, Fleury, Hervé, Fonjungo, Peter N, Foulongne, Vincent, Gadkari, Deepak A, García, Federico, Garsia, Roger, Gershy-Damet, Guy Michel, Glynn, Judith R, Goodall, Ruth, Grossman, Zehava, Lindenmeyer-Guimarães, Monick, Hahn, Beatrice, Hamers, Raph L, Hamouda, Osamah, Handema, Ray, He, Xiang, Herbeck, Joshua, Ho, David D, Holguin, Africa, Hosseinipour, Mina, Hunt, Gillian, Ito, Masahiko, Bel Hadj Kacem, Mohamed Ali, Kahle, Erin, Kaleebu, Pontiano, Kalish, Marcia, Kamarulzaman, Adeeba, Kang, Chun, Kanki, Phyllis, Karamov, Edward, Karasi, Jean-Claude, Kayitenkore, Kayitesi, Kelleher, Tony, Kitayaporn, Dwip, Kostrikis, Leondios G, Kucherer, Claudia, Lara, Claudia, Leitner, Thomas, Liitsola, Kirsi, Lingappa, Jai, Linka, Marek, Lorenzana de Rivera, Ivette, Lukashov, Vladimir, Maayan, Shlomo, Mayr, Luzia, McCutchan, Francine, Meda, Nicolas, Menu, Elisabeth, Mhalu, Fred, Mloka, Doreen, Mokili, John L, Montes, Brigitte, Mor, Orna, Morgado, Mariza, Mosha, Fausta, Moussi, Awatef, Mullins, James, Najera, Rafael, Nasr, Mejda, Ndembi, Nicaise, Neilson, Joel R, Nerurkar, Vivek R, Neuhann, Florian, Nolte, Claudine, Novitsky, Vlad, Nyambi, Philippe, Ofner, Marianna, Paladin, Fem J, Papa, Anna, Pape, Jean, Parkin, Neil, Parry, Chris, Peeters, Martine, Pelletier, Alexandra, Pérez-Álvarez, Lucía, Pillay, Deenan, Pinto, Angie, Quang, Trinh Duy, Rademeyer, Cecilia, Raikanikoda, Filimone, Rayfield, Mark A, Reynes, Jean-Marc, Rinke de Wit, Tobias, Robbins, Kenneth E, Rolland, Morgane, Rousseau, Christine, Salazar-Gonzales, Jesus, Salem, Hanan, Salminen, Mika, Salomon, Horacio, Sandstrom, Paul, Santiago, Mario L, Sarr, Abdoulaye D, Schroeder, Bryan, Segondy, Michel, Selhorst, Philippe, Sempala, Sylvester, Servais, Jean, Shaik, Ansari, Shao, Yiming, Slim, Amine, Soares, Marcelo A, Songok, Elijah, Stewart, Debbie, Stokes, Julie, Subbarao, Shambavi, Sutthent, Ruengpung, Takehisa, Jun, Tanuri, Amilcar, Tee, Kok Keng, Thapa, Kiran, Thomson, Michael, Tran, Tyna, Urassa, Willy, Ushijima, Hiroshi, van de Perre, Philippe, van der Groen, Guido, van Laethem, Kristel, van Oosterhout, Joep, van Sighem, Ard, van Wijngaerden, Eric, Vandamme, Anne-Mieke, Vercauteren, Jurgen, Vidal, Nicole, Wallace, Lesley, Williamson, Carolyn, Wolday, Dawit, Xu, Jianqing, Yang, Chunfu, Zhang, Linqi, Zhang, Rong, Hemelaar, Joris, Elangovan, Ramyiadarsini, Yun, Jason, Dickson-Tetteh, Leslie, Kirtley, Shona, Gouws-Williams, Eleanor, and Ghys, Peter D

Published
2020
Full Text
View/download PDF

29. Building a collaboration to improve surgical research through EORTC/ESSO 1409-CLIMB study: A prospective liver metastasis database with an integrated quality assurance program

Author

Caballero, Carmela, Burock, Susen, Carrion-Alvarez, Lucia, Nilsson, Henrik, Ruers, Theo, Senellart, Perrine, Rivoire, Michel, Stattner, Stefan, Primavesi, Florian, Troisi, Roberto, Gruenberger, Thomas, Heil, Jan, Schnitzbauer, Andreas A., Rahbari, Nuh N., Swijnenburg, Rutger-Jan, Malik, Hassan, Protic, Mladjan, Kataoka, Kozo, Mauer, Murielle, Ducreux, Michel, Poston, Graeme, and Evrard, Serge

Published
2019
Full Text
View/download PDF

31. Global and regional molecular epidemiology of HIV-1, 1990–2015: a systematic review, global survey, and trend analysis

Author

Abimiku, Alash'le G, Agwale, Simon, Archibald, Chris, Avidor, Boaz, Barbás, María Gabriela, Barre-Sinoussi, Francoise, Barugahare, Banson, Belabbes, El Hadj, Bertagnolio, Silvia, Birx, Deborah, Bobkov, Aleksei F, Brandful, James, Bredell, Helba, Brennan, Catherine A, Brooks, James, Bruckova, Marie, Buonaguro, Luigi, Buonaguro, Franco, Buttò, Stefano, Buve, Anne, Campbell, Mary, Carr, Jean, Carrera, Alex, Carrillo, Manuel Gómez, Celum, Connie, Chaplin, Beth, Charles, Macarthur, Chatzidimitriou, Dimitrios, Chen, Zhiwei, Chijiwa, Katsumi, Cooper, David, Cunningham, Philip, Dagnra, Anoumou, de Gascun, Cillian F, Del Amo, Julia, Delgado, Elena, Dietrich, Ursula, Dwyer, Dominic, Ellenberger, Dennis, Ensoli, Barbara, Essex, Max, Gao, Feng, Fleury, Herve, Fonjungo, Peter N, Foulongne, Vincent, Gadkari, Deepak A, García, Federico, Garsia, Roger, Gershy-Damet, Guy Michel, Glynn, Judith R, Goodall, Ruth, Grossman, Zehava, Lindenmeyer-Guimarães, Monick, Hahn, Beatrice, Hamers, Raph L, Hamouda, Osamah, Handema, Ray, He, Xiang, Herbeck, Joshua, Ho, David D, Holguin, Africa, Hosseinipour, Mina, Hunt, Gillian, Ito, Masahiko, Bel Hadj Kacem, Mohamed Ali, Kahle, Erin, Kaleebu, Pontiano Kaleebu, Kalish, Marcia, Kamarulzaman, Adeeba, Kang, Chun, Kanki, Phyllis, Karamov, Edward, Karasi, Jean-Claude, Kayitenkore, Kayitesi, Kelleher, Tony, Kitayaporn, Dwip, Kostrikis, Leondios G, Kucherer, Claudia, Lara, Claudia, Leitner, Thomas, Liitsola, Kirsi, Lingappa, Jai, Linka, Marek, Lorenzana de Rivera, Ivette, Lukashov, Vladimir, Maayan, Shlomo, Mayr, Luzia, McCutchan, Francine, Meda, Nicolas, Menu, Elisabeth, Mhalu, Fred, Mloka, Doreen, Mokili, John L, Montes, Brigitte, Mor, Orna, Morgado, Mariza, Mosha, Fausta, Moussi, Awatef, Mullins, James, Najera, Rafael, Nasr, Mejda, Ndembi, Nicaise, Neilson, Joel R, Nerurkar, Vivek R, Neuhann, Florian, Nolte, Claudine, Novitsky, Vlad, Nyambi, Philippe, Ofner, Marianna, Paladin, Fem J, Papa, Anna, Pape, Jean, Parkin, Neil, Parry, Chris, Peeters, Martine, Pelletier, Alexandra, Pérez-Álvarez, Lucía, Pillay, Deenan, Pinto, Angie, Quang, Trinh Duy, Rademeyer, Cecilia, Raikanikoda, Filimone, Rayfield, Mark A, Reynes, Jean-Marc, Rinke de Wit, Tobias, Robbins, Kenneth E, Rolland, Morgane, Rousseau, Christine, Salazar-Gonzales, Jesus, Salem, Hanan, Salminen, Mika, Salomon, Horacio, Sandstrom, Paul, Santiago, Mario L, Sarr, Abdoulaye D, Schroeder, Bryan, Segondy, Michel, Selhorst, Philippe, Sempala, Sylvester, Servais, Jean, Shaik, Ansari, Shao, Yiming, Slim, Amine, Soares, Marcelo A, Songok, Elijah, Stewart, Debbie, Stokes, Julie, Subbarao, Shambavi, Sutthent, Ruengpung, Takehisa, Jun, Tanuri, Amilcar, Tee, Kok Keng, Thapa, Kiran, Thomson, Michael, Tran, Tyna, Urassa, Willy, Ushijima, Hiroshi, van de Perre, Philippe, van der Groen, Guido, van Laethem, Kristel, van Oosterhout, Joep, van Sighem, Ard, van Wijngaerden, Eric, Vandamme, Anne-Mieke, Vercauteren, Jurgen, Vidal, Nicole, Wallace, Lesley, Williamson, Carolyn, Wolday, Dawit, Xu, Jianqing, Yang, Chunfu, Zhang, Linqi, Zhang, Rong, Hemelaar, Joris, Elangovan, Ramyiadarsini, Yun, Jason, Dickson-Tetteh, Leslie, Fleminger, Isabella, Kirtley, Shona, Williams, Brian, Gouws-Williams, Eleanor, and Ghys, Peter D

Published
2019
Full Text
View/download PDF

33. Disparities in cancer treatment: How different do we apply guidelines? A study from the Eysac research academy

Author

Herrera Kok, Johnn Henry, Adeyeye, Ademola, Garrefa, Emanuele, Sayyed, Raza, Brandl, Andreas, Lundon, Dara, Sgarbura, Olivia, Suppan, Ina, Bonci, Eduard-Alexandru, Vasileva-Slaveva, Mariela, Santrac, Nada, Holmberg, Carl Jacob, Vassos, Nikolaos, Lorenzon, Laura, Schrage, Yvonne, Caballero, Carmela, Ben-Yaacov, Almog, D'Ugo, Domenico, Ceelen, Wim, and Carrion-Alvarez, Lucia

Published
2024
Full Text
View/download PDF

39. Identificación de parásitos en carnívoros silvestres de la provincia de Buenos Aires

Author

Butti, Marcos Javier, Lagala, Fiamma Hebe, Alvarez, Lucía, Origlia, Javier Aníbal, Terminiello Correa, Jonatan Damián, Carpinetti, Bruno, Amendola, Hernán, Gamboa, María Inés, Zuccolilli, Gustavo Oscar, and Radman, Nilda Ester

Subjects
Ciencias Veterinarias, zorro gris, gato montés, Parásitos
Abstract

El zorro gris pampeano (Pseudalopex gymnocercus) y el gato montés (Leopardus geoffroyi) se encuentran clasificados como de «preocupación menor» según IUCN. La capacidad de estos animales de adaptarse a áreas de vegetación natural y a entornos antropizados, sumada a la modificación de los hábitats, influyen en la epidemiología y transmisión de muchas enfermedades infecciosas de relevancia para la salud pública. De este modo, la fauna silvestre cumple un rol importante en la transmisión de zoonosis parasitarias, al actuar como reservorios y diseminadores de las mismas. El objetivo de este trabajo fue estudiar las parasitosis del zorro gris pampeano y del gato montés en la provincia de Buenos Aires y detectar la presencia de especies de importancia zoonótica., Facultad de Ciencias Veterinarias

Published
2022

44. Nietzsche y su Sombra : Consideraciones sobre lo poético y lo artístico

Author

Antoranz, Sergio, Piquero, Emma, Rodríguez, Laura, Andrés, Carlos M., López, Sergio Antoranz, Navarro, Epicteto Díaz, Frendo, Mario, Gimber, Arno, García, Carmen Gómez, Jin, Danfeng, Lavernia, Kilian, Soriano, Ana María Leyra, Álvarez, Lucía Piquero, Frías, Laura Rodríguez, Meca, Diego Sánchez, Romero, Sergio Santiago, Antoranz, Sergio, Piquero, Emma, Rodríguez, Laura, Andrés, Carlos M., López, Sergio Antoranz, Navarro, Epicteto Díaz, Frendo, Mario, Gimber, Arno, García, Carmen Gómez, Jin, Danfeng, Lavernia, Kilian, Soriano, Ana María Leyra, Álvarez, Lucía Piquero, Frías, Laura Rodríguez, Meca, Diego Sánchez, and Romero, Sergio Santiago

Published
2019
Full Text
View/download PDF

46. Molecular characterization of Brucella ovis in Argentina

Author

Alvarez, Lucía P., primary, Ruiz-Villalobos, Nazaret, additional, Suárez-Esquivel, Marcela, additional, Thomson, Nicholas R., additional, Marcellino, Romanela, additional, Víquez-Ruiz, Eunice, additional, Robles, Carlos A., additional, and Guzmán-Verri, Caterina, additional

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results