Jorge A. Baier

9 papers · 2015–2023 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🐝 Cross-Pollinator (9) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (13) 📈 Trend Setter

Conferences

IJCAI (7) AAAI (2)

Top co-authors

Carlos Hernández (4) Christian Muise (2) Sheila A. McIlraith (2) Alberto Camacho (2) Shao-Hung Chan (1) Alvaro Soto (1) Oren Salzman (1) Marcelo Arenas (1) Sven Koenig (1) Sebastian Sardina (1)

Keywords

linear temporal logic (2) pareto optimality (2) program synthesis (2) path planning (2) combinatorial optimization (2) commonsense knowledge (1) visual reasoning (1) automated reasoning (1) formal verification (1) action selection (1) multi-objective optimization (1) lookahead search (1) approximation algorithm (1) graph algorithm (1) search algorithm (1) real-time search (1) state pruning (1) look-ahead search (1) a* search (1) multi-agent pathfinding (1)

Papers

Multi-objective Search via Lazy and Efficient Dominance Checks IJCAI 2023

Subset Approximation of Pareto Regions with Bi-objective A* AAAI 2022

Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020

LTL Realizability via Safety and Reachability Games IJCAI 2018

SynKit: LTL Synthesis as a Service IJCAI 2018

Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads IJCAI 2017

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

Incomplete Causal Laws in the Situation Calculus Using Free Fluents IJCAI 2016

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals IJCAI 2015