Jorg Hoffmann
23 papers · 2015–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (9) π Interdisciplinary Bridge π Conference Polyglot (3) π§ Keyword Pioneer π Cross-Pollinator (4)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§¬
Topic Evolution
π
Keyword Champion
(2)
π¬
Deep Specialist
(14)
π₯
Unstoppable
(6)
π
Conference Pioneer
π
Century Club
(22)
β‘
Prolific Year
(5)
ποΈ
Keyword Collector
(99)
Conferences
IJCAI (13)
AAAI (9)
COLING (1)
Top co-authors
Keywords
automated planning
(7)
heuristic search
(7)
classical planning
(3)
delete relaxation
(3)
symbolic search
(3)
oversubscription planning
(2)
lifted planning
(2)
real-time planning
(2)
plan explanation
(2)
plan execution
(2)
natural language generation
(1)
regret minimization
(1)
risk minimization
(1)
heuristic function
(1)
formal verification
(1)
decision theory
(1)
automated reasoning
(1)
polynomial time
(1)
preference learning
(1)
abstraction learning
(1)
Papers
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction
AAAI 2026
Guiding GBFS through Learned Pairwise Rankings
IJCAI 2024
Specifying and Testing k-Safety Properties for Machine-Learning Models
IJCAI 2023
Operator-Potential Heuristics for Symbolic Search
AAAI 2022
Landmark Heuristics for Lifted Classical Planning
IJCAI 2022
Classical Planning with Avoid Conditions
AAAI 2022
Explaining Soft-Goal Conflicts through Constraint Relaxations
IJCAI 2022
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning
IJCAI 2021
Learning Temporal Plan Preferences from Examples: An Empirical Study
IJCAI 2021
Faster Stackelberg Planning via Symbolic Search and Information Sharing
AAAI 2021
Choosing the Initial State for Online Replanning
AAAI 2021
Custom-Design of FDR Encodings: The Case of Red-Black Planning
IJCAI 2021
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
AAAI 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
IJCAI 2020
Generating Instructions at Different Levels of Abstraction
COLING 2020
Real-Time Planning as Decision-Making under Uncertainty
AAAI 2019
Refining Abstraction Heuristics during Real-Time Planning
AAAI 2019
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning
IJCAI 2017
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search
IJCAI 2017
On State-Dominance Criteria in Fork-Decoupled Search
IJCAI 2016
Decoupled Strong Stubborn Sets
IJCAI 2016
Simulation-Based Admissible Dominance Pruning
IJCAI 2015