Jörg Hoffmann
Artificial Intelligence · 2001–2016
A researcher in the Science corpus: 5 papers; trusts 9 researchers and is trusted by 67 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 15 citations into it; #2,848 of 35,345 by trust here, #11,072 by citations
- Computer Networks and Communications — 11 citations into it; #2,004 of 9,886 by trust here, #8,191 by citations
Whom Jörg Hoffmann trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- R. Fikes
- Malte Helmert
- Patrik Haslum
- Hector Geffner
- Nils J. Nilsson
- Bernhard Nebel
- Blai Bonet
- Maria Fox
- Derek Long
- Christer Bäckström
Who trusts Jörg Hoffmann overall
- Malte Helmert
- Malik Ghallab
- Maria Fox
- Daniel Gordon
- Dana S. Nau
- Jussi Rintanen
- Alan Fern
- Derek Long
- Sung Wook Yoon
- Paolo Traverso
Papers from Jörg Hoffmann's perspective
Ordered by how strongly the researchers Jörg Hoffmann trusts endorse each paper. Same corpus, a different order for every researcher.
- The Fast Downward Planning System
- The FF Planning System: Fast Plan Generation Through Heuristic Search
- Planning as heuristic search (Artificial Intelligence)
- The 3rd International Planning Competition: Results and Analysis (Journal of Artificial Intelligence Research)
- Admissible Heuristics for Optimal Planning (International Conference on Artificial Intelligence Planning Systems)
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
- The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks (Journal of Artificial Intelligence Research)
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Artificial Intelligence)
- Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
- Cha : Engineering an e cient SAT solver (Design Automation Conference)
Their papers
- The FF Planning System: Fast Plan Generation Through Heuristic Search (2011) — 2,435 citations
- FF: The Fast-Forward Planning System (2001) — 386 citations
- The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables (2003) — 530 citations
- Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends (2016) — 22 citations
- "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability (2014) — 67 citations