Gregor Behnke

6 papers in the IJCAI proceedings

IJCAI 2026

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts

with João Filipe, Álvaro Torralba

doi:10.24963/ijcai.2026/249

Details PDF

IJCAI 2020

Delete- and Ordering-Relaxation Heuristics for HTN Planning

with Daniel Höller, Pascal Bercher

doi:10.24963/ijcai.2020/564

Details PDF

IJCAI 2019

Finding Optimal Solutions in HTN Planning - A SAT-based Approach

with Daniel Höller, Susanne Biundo

doi:10.24963/ijcai.2019/764

Details PDF

On Guiding Search in HTN Planning with Classical Planning Heuristics

with Daniel Höller, Pascal Bercher, Susanne Biundo

doi:10.24963/ijcai.2019/857

Details PDF

IJCAI 2018

Instructing Novice Users on How to Use Tools in DIY Projects

with Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

doi:10.24963/ijcai.2018/844

Details PDF

IJCAI 2017

An Admissible HTN Planning Heuristic

with Pascal Bercher, Daniel Höller, Susanne Biundo

doi:10.24963/ijcai.2017/68

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings