Carlos Linares López
Associate Professor
About Me
I am an Associate Professor of the Computer Science and Engineering Department at Universidad Carlos III de Madrid, Spain. My main research interests are Heuristic Search and Automated Planning.
Short bio
As Associate Professor I've been taken different lecturing and administrative positions. Among others, deputy director of International Relations since 2013 until 2015, Faculty deputy manager since 2017 until 2021, and Deputy Director for Bachelor in Computer Engineering since December, 2020 until now.
Before joining Universidad Carlos III de Madrid, I worked in different companies in the private and public sectors, always in positions related to Artificial Intelligence. Among others, I worked for the ENVISAT mission of the European Space Agency (ESRIN, Frascati - Italy).
I obtained my Bs. degree in Computer Science in 1995, and a PhD degree in Computer Science and Artificial Intelligence in 2001, both from Universidad Politécnica de Madrid. I also hold a MsC in Knowledge Engineering from the same University from 1997. My research activity has resulted in more than 60 publications, and different national and international awards, such as: the best pre-doctoral work awarded by the Spanish Association for Artificial Intelligence in 1997; Outstanding Programme Committee Member of the American Association for the Advancement of Artificial Intelligence in 2008; two silver medals in the SAT competition in 2013; and a first position in the international competition of Learning for Planning. I joined more than 20 national and international projects and have contributed to more than 30 Programme Committees both as a reviewer or Senior Programme Committee member.
Publications
2024
Martín Pozo, Álvaro Torralba and Carlos Linares López.
Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning.
In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 4287–4294. 2024.
paper citationCarlos Linares López and Ian Herman.
Evolving A* to Efficiently Solve the k Shortest-Path Problem (Extended Version).
In . 2024.
paper citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.
In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20238–20246. 2024.
paper citationCarlos Linares López and Ian Herman.
Evolving A* to Efficiently Solve the κ Shortest-Path Problem.
Frontiers in Artificial Intelligence and Applications 392, pp. 4352 – 4359. 2024.
citationSofia Lemons, Wheeler Ruml, Rob Holte and Carlos Linares López.
Rectangle Search: An Anytime Beam Search.
In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20751 – 20758. 2024.
citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.
In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2024), pp. 20238 – 20246. 2024.
citationMartín Pozo, Álvaro Torralba and Carlos Linares López.
Gotta Catch'Em All! Sequence Flaws in CEGAR for Classical Planning.
Frontiers in Artificial Intelligence and Applications 392, pp. 4287 – 4294. 2024.
citation
2022
Sofia Lemons, Carlos Linares López, Robert C. Holte and Wheeler Ruml.
Beam Search: Faster and Monotonic.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 222 – 230. 2022.
citation
2018
Álvaro Torralba, Carlos Linares López and Daniel Borrajo.
Symbolic perimeter abstraction heuristics for cost-optimal planning.
Artificial Intelligence 259, pp. 1 – 31. 2018.
citation
2015
Carlos Linares López, Sergio Jiménez Celorrio and Angel Garcia-Olaya.
The deterministic part of the seventh International Planning Competition.
Artificial Intelligence 223, pp. 82 - 119. 2015.
paper citationSergio Núñez, Daniel Borrajo and Carlos Linares López.
Sorting sequential portfolios in automated planning.
In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1638 – 1644. 2015.
citationCarlos Linares López and Abdallah Saffidine.
A preliminary selection of problems in heuristic search.
In Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015, pp. 186 – 190. 2015.
citationCarlos Linares López.
Vectorial pattern databases.
AI Communications 28, pp. 441 – 452. 2015.
citationCarlos Linares López.
Heuristics as Markov chains.
Annals of Mathematics and Artificial Intelligence 73, pp. 275 – 309. 2015.
citationSergio Núñez, Daniel Borrajo and Carlos Linares López.
Automatic construction of optimal static sequential portfolios for AI planning and beyond.
Artificial Intelligence 226, pp. 75 – 101. 2015.
citation
2014
Carlos Linares López, Roni Stern and Ariel Felner.
Solving the target-value search problem.
In Proceedings of the 7th Annual Symposium on Combinatorial Search, SoCS 2014, pp. 202 – 203. 2014.
citation
2013
Raquel Fuentetaja, Daniel Borrajo, Carlos Linares López and Jorge Ocón.
Multi-step Generation of Bayesian Networks Models for Software Projects Estimations.
International Journal of Computational Intelligence Systems 6, pp. 796 – 821. 2013.
paper citationJavier García, José E. Florez, Álvaro Torralba, Daniel Borrajo, Carlos Linares López, Angel García-Olaya and Juan Sáenz.
Combining linear programming and automated planning to solve intermodal transportation problems.
European Journal of Operational Research 227, pp. 216 – 226. 2013.
citationÁlvaro Torralba, Carlos Linares López and Daniel Borrajo.
Symbolic merge-and-shrink for cost-optimal planning.
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 2394 – 2400. 2013.
citationCarlos Linares López, Roni Stern and Ariel Felner.
Target-value search revisited (extended abstract).
In Proceedings of the 6th Annual Symposium on Combinatorial Search, SoCS 2013, pp. 216 – 217. 2013.
citationCarlos Linares López, Roni Stern and Ariel Felner.
Target-Value Search revisited.
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 601 – 607. 2013.
citationCarlos Linares López, Sergio Jiménez and Malte Helmert.
Automating the evaluation of planning systems.
AI Communications 26, pp. 331 – 354. 2013.
citation
2012
Amanda Jane Coles, Andrew Coles, Angel Garcia-Olaya, Sergio Jiménez, Carlos Linares López, Scott Sanner and Sungwook Yoon.
A Survey of the Seventh International Planning Competition.
AI Magazine 33, pp. 83–88. 2012.
citationÁlvaro Parra, Álvaro Torralba and Carlos Linares López.
Precomputed-direction heuristics for suboptimal grid-based path-finding.
In Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012, pp. 211 – 212. 2012.
citationDaniel Borrajo, Ariel Felner, Richard Korf, Maxim Likhachev, Carlos Linares López, Wheeler Ruml and Nathan Sturtevant.
Preface.
In Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012, pp. xi. 2012.
citationDaniel Borrajo, Maxim Likhachev and Carlos Linares López.
The symposium on combinatorial search.
AI Communications 25, pp. 209 – 210. 2012.
citationJuan P. Arregui, Juan A. Tejo, Carlos Linares López and Daniel Borrajo.
Steps towards an operational sensors network planning for space surveillance.
In SpaceOps 2012 Conference. 2012.
citationSergio Núñez, Daniel Borrajo and Carlos Linares López.
Performance analysis of planning portfolios.
In Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012, pp. 65 – 71. 2012.
citation
2011
José E. Flórez, Álvaro Torralba Arias De Reyna, Javier García, Carlos Linares López, Angel García-Olaya and Daniel Borrajo.
Planning multi-modal transportation problems.
In Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS 2011), pp. 66 – 73. 2011.
citationÁlvaro Torralba Arias De Reyna and Carlos Linares López.
Size-independent additive pattern databases for the pancake problem.
In Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011, pp. 164 – 171. 2011.
citation
2010
Raquel Fuentetaja, Daniel Borrajo and Carlos Linares López.
A look-ahead B&B search for cost-based planning.
Lecture Notes in Computer Science 5988 LNAI, pp. 201 – 211. 2010.
citationCarlos Linares López.
Vectorial pattern databases.
Frontiers in Artificial Intelligence and Applications 215, pp. 1059 – 1060. 2010.
citationCarlos Linares López and Daniel Borrajo.
Adding diversity to classical heuristic planning.
In Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010, pp. 73 – 80. 2010.
citationVidal Alcázar, Daniel Borrajo and Carlos Linares López.
Using backwards generated goals for Heuristic planning.
In Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 2 – 9. 2010.
citation
2008
Raquel Fuentetaja, Daniel Borrajo and Carlos Linares López.
A new approach to heuristic estimations for cost-based planning.
In Proceedings of the 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21, pp. 543 – 548. 2008.
citationCarlos Linares López.
Multi-valued pattern databases.
Frontiers in Artificial Intelligence and Applications 178, pp. 540 – 544. 2008.
citationCarlos Linares López.
Heuristic hill-climbing as a markov process.
Lecture Notes in Computer Science 5253 LNAI, pp. 274 – 284. 2008.
citation
2006
Raquel Fuentetaja, Daniel Borrajo and Carlos Linares López.
Improving relaxed planning graph heuristics for metric optimization.
In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), pp. 79 – 86. 2006.
citationCarlos Linares López.
Heuristic perimeter search: First results.
Lecture Notes in Computer Science 4177 LNAI, pp. 251 – 260. 2006.
citation
2004
Carlos Linares López.
A study of the accuracy of heuristic functions.
Frontiers in Artificial Intelligence and Applications 110, pp. 201 – 205. 2004.
citationCarlos Linares López.
On the heuristic performance of perimeter search algorithms.
Lecture Notes in Computer Science 3040, pp. 445 – 456. 2004.
citation
2003
Carlos Linares López and Andreas Junghanns.
Perimeter search performance.
Lecture Notes in Computer Science 2883, pp. 345 – 359. 2003.
citation