Jorg Hoffmann
23 papers · 2015–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🗺️ Taxonomy Completionist (25) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird
🔬
Deep Specialist
(14)
🧬
Topic Evolution
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
⚡
Prolific Year · Productive
🗃️
Keyword Collector
(97)
💎
Century Club · Bronze
Venues
Top co-authors
Research topics
Artificial Intelligence
(16)
Core AI
(16)
Machine Learning
(10)
Knowledge & Reasoning
(7)
Optimization & Theory
(7)
Reasoning
(7)
Mathematics & Optimization
(6)
Optimization
(6)
Core Methods
(2)
Learning Types
(2)
Computer Science
(1)
Application Areas
(1)
Foundations
(1)
Learning Paradigms
(1)
Representation
(1)
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)
abstraction learning
(1)
preference learning
(1)
pairwise ranking
(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
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
Landmark Heuristics for Lifted Classical Planning
IJCAI 2022
Operator-Potential Heuristics for Symbolic Search
AAAI 2022
Choosing the Initial State for Online Replanning
AAAI 2021
Custom-Design of FDR Encodings: The Case of Red-Black Planning
IJCAI 2021
Faster Stackelberg Planning via Symbolic Search and Information Sharing
AAAI 2021
Learning Temporal Plan Preferences from Examples: An Empirical Study
IJCAI 2021
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning
IJCAI 2021
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
AAAI 2020
Generating Instructions at Different Levels of Abstraction
COLING 2020
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
IJCAI 2020
Real-Time Planning as Decision-Making under Uncertainty
AAAI 2019
Refining Abstraction Heuristics during Real-Time Planning
AAAI 2019
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search
IJCAI 2017
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning
IJCAI 2017
Decoupled Strong Stubborn Sets
IJCAI 2016
On State-Dominance Criteria in Fork-Decoupled Search
IJCAI 2016
Simulation-Based Admissible Dominance Pruning
IJCAI 2015