Jörg Hoffmann

Saarland University , Germany

20 papers in the IJCAI proceedings

IJCAI 2024

Guiding GBFS through Learned Pairwise Rankings

with Mingyu Hao, Felipe Trevizan, Sylvie Thiébaux, Patrick Ferber

doi:10.24963/ijcai.2024/743

Details PDF

IJCAI 2023

Specifying and Testing k-Safety Properties for Machine-Learning Models

with Maria Christakis, Hasan Ferit Eniser, Adish Singla, Valentin Wüstholz

doi:10.24963/ijcai.2023/528

Details PDF

IJCAI 2022

Explaining Soft-Goal Conflicts through Constraint Relaxations

with Rebecca Eifler, Jeremy Frank

doi:10.24963/ijcai.2022/641

Details PDF

Landmark Heuristics for Lifted Classical Planning

with Julia Wichlacz, Daniel Höller

doi:10.24963/ijcai.2022/647

Details PDF

IJCAI 2021

Custom-Design of FDR Encodings: The Case of Red-Black Planning

with Daniel Fišer, Daniel Gnad, Michael Katz

doi:10.24963/ijcai.2021/558

Details PDF

Learning Temporal Plan Preferences from Examples: An Empirical Study

with Valentin Seimetz, Rebecca Eifler

doi:10.24963/ijcai.2021/572

Details PDF

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

with Pascal Lauer, Alvaro Torralba, Daniel Fišer, Daniel Höller, Julia Wichlacz

doi:10.24963/ijcai.2021/567

Details PDF

IJCAI 2020

Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties

with Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba

doi:10.24963/ijcai.2020/566

Details PDF

IJCAI 2017

Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search

with Daniel Gnad, Valerie Poser

doi:10.24963/ijcai.2017/602

Details PDF

Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning

with Marcel Steinmetz

doi:10.24963/ijcai.2017/614

Details PDF

IJCAI 2016

Decoupled Strong Stubborn Sets

with Daniel Gnad, Martin Wehrle

Details PDF

On State-Dominance Criteria in Fork-Decoupled Search

with Álvaro Torralba Arias de Reyna, Daniel Gnad, Patrick Dubbert

Details PDF

IJCAI 2015

Simulation-Based Admissible Dominance Pruning

with Álvaro Torralba Arias de Reyna

Details PDF

IJCAI 2011

Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning

with Raz Nissim, Malte Helmert

doi:10.5591/978-1-57735-516-8/IJCAI11-331

Details PDF

IJCAI 2007

From Sampling to Model Counting

with Carla P. Gomes, Ashish Sabharwal, Bart Selman

Details PDF

SAT Encodings of State-Space Reachability Problems in Numeric Domains

with Carla P. Gomes, Bart Selman, Henry A. Kautz

Details PDF

IJCAI 2005

A Covering Problem for Hypercubes

with Sebastian Kupferschmid

Details PDF

IJCAI 2003

In Defense of PDDL Axioms

with Sylvie Thiébaux, Bernhard Nebel

Details PDF

IJCAI 2001

Local Search Topology in Planning Benchmarks: An Empirical Analysis

Details PDF

IJCAI 1999

A New Method to Index and Query Sets

with Jana Koehler

Details PDF