Jorge A. Baier

6 papers in the IJCAI proceedings

IJCAI 2026

Extending Weighted Heuristic Search to Bi-Objective Search Problems

with Hans Kühn Leiva, Carlos Hernández Ulloa, Oren Salzman, Ariel Felner, Sven Koenig

doi:10.24963/ijcai.2026/700

Details PDF

IJCAI 2023

Multi-objective Search via Lazy and Efficient Dominance Checks

with Carlos Hernández, William Yeoh, Ariel Felner, Oren Salzman, Han Zhang, Shao-Hung Chan, Sven Koenig

doi:10.24963/ijcai.2023/850

Details PDF

IJCAI 2018

LTL Realizability via Safety and Reachability Games

with Alberto Camacho, Christian Muise, Sheila A. McIlraith

doi:10.24963/ijcai.2018/651

Details PDF

SynKit: LTL Synthesis as a Service

with Alberto Camacho, Christian Muise, Sheila A. McIlraith

doi:10.24963/ijcai.2018/848

Details PDF

IJCAI 2017

How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval

with Rodrigo Toro Icarte, Cristian Ruz, Alvaro Soto

doi:10.24963/ijcai.2017/178

Details PDF

Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads

with Carlos Hernandez, Adi Botea, Vadim Bulitko

doi:10.24963/ijcai.2017/72

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings