Alicia Villanueva
Papers
1
Total Citations
3
H-Index
1
About
Alicia Villanueva is a leading researcher in logic programming, with a particular focus on the foundations of semantics, formalisms, and nonmonotonic reasoning. Her major contributions center on advancing the theoretical underpinnings of logic programming, a field that has been central to artificial intelligence and computational logic since the first International Conference on Logic Programming (ICLP) in 1982. Villanueva has been instrumental in shaping the discourse at ICLP, the premier international venue for logic programming research, where her work has helped refine the formal tools used to model complex reasoning systems. Her most-cited paper, a technical communication from the 35th ICLP in 2019, has garnered 3 citations, reflecting its targeted impact within the specialist community. Beyond her published work, Villanueva is recognized for her role in sustaining the rigorous intellectual tradition of logic programming, contributing to the evolution of its semantic foundations. Her research continues to influence how nonmonotonic reasoning is formalized, making her a key figure for students and researchers exploring the intersection of logic, computation, and knowledge representation.
Research Focus
Key Achievements
Top Papers
- 1