×
Compute Distance To:
Author ID: hoffmann.jorg Recent zbMATH articles by "Hoffmann, Jörg"
Published as: Hoffmann, Jörg; Hoffmann, J.; Hoffmann, Joerg
Homepage: http://fai.cs.uni-saarland.de/hoffmann/
External Links: MGP · dblp
Documents Indexed: 38 Publications since 2000
Co-Authors: 39 Co-Authors with 29 Joint Publications
733 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 209 times in 126 Documents Cited by Year
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
70
2001
Conformant planning via heuristic forward search: A new approach. Zbl 1131.68525
Hoffmann, Jörg; Brafman, Ronen I.
16
2006
The deterministic part of IPC-4: an overview. Zbl 1080.68669
Hoffmann, J.; Edelkamp, S.
11
2005
The Metric-FF planning system: Translating “ignoring delete lists” to numeric state variables. Zbl 1036.68095
Hoffmann, J.
9
2003
Probabilistic planning via heuristic forward search and weighted model counting. Zbl 1182.68235
Domshlak, C.; Hoffmann, J.
9
2007
Ordered landmarks in planning. Zbl 1080.68670
Hoffmann, Jörg; Porteous, Julie; Sebastia, Laura
8
2004
Merge-and-shrink abstraction, A method for generating lower bounds in factored state spaces. Zbl 1295.68189
Helmert, Malte; Haslum, Patrik; Hoffmann, Jörg; Nissim, Raz
8
2014
In defense of PDDL axioms. Zbl 1132.68714
Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard
8
2005
Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347
Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd
8
2006
Where “ignoring delete lists” works: local search topology in planning benchmarks. Zbl 1080.68668
Hoffmann, J.
7
2005
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Red-black planning: a new systematic approach to partial delete relaxation. Zbl 1328.68194
Domshlak, Carmel; Hoffmann, Jörg; Katz, Michael
6
2015
“Distance”? Who cares? Tailoring merge-and-shrink heuristics to detect unsolvability. Zbl 1366.68264
Hoffmann, Jörg; Kissmann, Peter; Torralba, Álvaro
5
2014
On reasonable and forced goal orderings and their use in agenda-driven planning algorithm. Zbl 0946.68130
Koehler, J.; Hoffmann, J.
4
2000
Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412
Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G.
4
2008
Improving delete relaxation heuristics through explicitly represented conjunctions. Zbl 1367.68265
Keyder, Emil; Hoffmann, Jörg; Haslum, Patrik
3
2014
Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270
Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish
3
2009
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Star-topology decoupled state space search. Zbl 1444.68172
Gnad, Daniel; Hoffmann, Jörg
2
2018
Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. Zbl 1184.68072
Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M.
2
2009
Combining the delete relaxation with critical-path heuristics: a direct characterization. Zbl 1362.68258
Fickert, Maximilian; Hoffmann, Jörg; Steinmetz, Marcel
2
2016
Analyzing search topology without running any search: on the connection between causal graphs and \(h^{+}\). Zbl 1218.68160
Hoffmann, J.
2
2011
Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093
Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart
2
2007
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. Zbl 1183.68579
Hoffmann, J.; Edelkamp, S.; Thiebaux, S.; Englert, R.; Liporace, F.; Trueg, S.
2
2006
A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. Zbl 0983.68740
Hoffmann, Jörg
2
2000
BDD ordering heuristics for classical planning. Zbl 1314.68292
Kissmann, Peter; Hoffmann, Jörg
2
2014
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. Zbl 1263.68155
Hoffmann, J.; Weber, I.; Kraft, F. M.
1
2012
Brothers in arms? on AI planning and cellular automata. Zbl 1211.68262
Hoffmann, Jörg; Fatès, Nazim; Palacios, Hector
1
2010
Phase transitions, structures and quantum effects in nanosystems. Zbl 1026.82500
Dreher, M.; Fischer, D.; Franzrahe, K.; Henseler, P.; Hoffmann, J.; Strepp, W.; Nielaba, P.
1
2003
State space search nogood learning: online refinement of critical-path dead-end detectors in planning. Zbl 1402.68165
Steinmetz, Marcel; Hoffmann, Jörg
1
2017
Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art. Zbl 1401.68294
Steinmetz, Marcel; Hoffmann, Jörg; Buffet, Olivier
1
2016
Star-topology decoupled state space search. Zbl 1444.68172
Gnad, Daniel; Hoffmann, Jörg
2
2018
State space search nogood learning: online refinement of critical-path dead-end detectors in planning. Zbl 1402.68165
Steinmetz, Marcel; Hoffmann, Jörg
1
2017
Combining the delete relaxation with critical-path heuristics: a direct characterization. Zbl 1362.68258
Fickert, Maximilian; Hoffmann, Jörg; Steinmetz, Marcel
2
2016
Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art. Zbl 1401.68294
Steinmetz, Marcel; Hoffmann, Jörg; Buffet, Olivier
1
2016
Red-black planning: a new systematic approach to partial delete relaxation. Zbl 1328.68194
Domshlak, Carmel; Hoffmann, Jörg; Katz, Michael
6
2015
Merge-and-shrink abstraction, A method for generating lower bounds in factored state spaces. Zbl 1295.68189
Helmert, Malte; Haslum, Patrik; Hoffmann, Jörg; Nissim, Raz
8
2014
“Distance”? Who cares? Tailoring merge-and-shrink heuristics to detect unsolvability. Zbl 1366.68264
Hoffmann, Jörg; Kissmann, Peter; Torralba, Álvaro
5
2014
Improving delete relaxation heuristics through explicitly represented conjunctions. Zbl 1367.68265
Keyder, Emil; Hoffmann, Jörg; Haslum, Patrik
3
2014
BDD ordering heuristics for classical planning. Zbl 1314.68292
Kissmann, Peter; Hoffmann, Jörg
2
2014
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. Zbl 1263.68155
Hoffmann, J.; Weber, I.; Kraft, F. M.
1
2012
Analyzing search topology without running any search: on the connection between causal graphs and \(h^{+}\). Zbl 1218.68160
Hoffmann, J.
2
2011
Brothers in arms? on AI planning and cellular automata. Zbl 1211.68262
Hoffmann, Jörg; Fatès, Nazim; Palacios, Hector
1
2010
Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270
Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish
3
2009
Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. Zbl 1184.68072
Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M.
2
2009
Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412
Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G.
4
2008
Probabilistic planning via heuristic forward search and weighted model counting. Zbl 1182.68235
Domshlak, C.; Hoffmann, J.
9
2007
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Structure and problem hardness: goal asymmetry and DPLL proofs in SAT-based planning. Zbl 1128.68093
Hoffmann, Joerg; Gomes, Carla P.; Selman, Bart
2
2007
Conformant planning via heuristic forward search: A new approach. Zbl 1131.68525
Hoffmann, Jörg; Brafman, Ronen I.
16
2006
Adapting an AI planning heuristic for directed model checking. Zbl 1178.68347
Kupferschmid, Sebastian; Hoffmann, Jörg; Dierks, Henning; Behrmann, Gerd
8
2006
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. Zbl 1183.68579
Hoffmann, J.; Edelkamp, S.; Thiebaux, S.; Englert, R.; Liporace, F.; Trueg, S.
2
2006
The deterministic part of IPC-4: an overview. Zbl 1080.68669
Hoffmann, J.; Edelkamp, S.
11
2005
In defense of PDDL axioms. Zbl 1132.68714
Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard
8
2005
Where “ignoring delete lists” works: local search topology in planning benchmarks. Zbl 1080.68668
Hoffmann, J.
7
2005
Ordered landmarks in planning. Zbl 1080.68670
Hoffmann, Jörg; Porteous, Julie; Sebastia, Laura
8
2004
The Metric-FF planning system: Translating “ignoring delete lists” to numeric state variables. Zbl 1036.68095
Hoffmann, J.
9
2003
Phase transitions, structures and quantum effects in nanosystems. Zbl 1026.82500
Dreher, M.; Fischer, D.; Franzrahe, K.; Henseler, P.; Hoffmann, J.; Strepp, W.; Nielaba, P.
1
2003
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
70
2001
On reasonable and forced goal orderings and their use in agenda-driven planning algorithm. Zbl 0946.68130
Koehler, J.; Hoffmann, J.
4
2000
A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. Zbl 0983.68740
Hoffmann, Jörg
2
2000
all top 5

Cited by 276 Authors

6 Bonet, Blai
6 Gerevini, Alfonso Emilio
6 Hoffmann, Jörg
6 Kambhampati, Subbarao
4 Borrajo, Daniel
4 Domshlak, Carmel
4 Geffner, Hector
4 Long, Derek
4 Saetti, Alessandro
3 Bäckström, Christer
3 Brafman, Ronen I.
3 De La Rosa, Tomás
3 Haslum, Patrik
3 Helmert, Malte
3 Jonsson, Peter A.
3 Nau, Dana
3 Serina, Ivan
3 Smith, David E.
3 Son, Tran Cao
3 Thiébaux, Sylvie
3 Traverso, Paolo
3 Wehrle, Martin
2 Arfaee, Shahab Jabbari
2 Bertoli, Piergiorgio
2 Bryce, Daniel
2 Cimatti, Alessandro
2 Do, Minh B.
2 Edelkamp, Stefan
2 Fox, Maria
2 Fuentetaja, Raquel
2 Ghassem-Sani, Gholamreza
2 Gomes, Carla P.
2 Holte, Robert C.
2 Kronegger, Martin
2 Kupferschmid, Sebastian
2 Kuter, Ugur
2 Linares López, Carlos
2 McIlraith, Sheila A.
2 Meel, Kuldeep S.
2 Ordyniak, Sebastian
2 Pfandler, Andreas
2 Pontelli, Enrico
2 Rintanen, Jussi
2 Roveri, Marco
2 Sardina, Sebastian
2 Sreedharan, Sarath
2 Srivastava, Siddharth
2 Vardi, Moshe Ya’akov
2 Veloso, Manuela M.
2 Wang, Jinyan
2 Wijs, Anton J.
2 Wu, Jingli
2 Yin, Minghao
2 Zilberstein, Shlomo
2 Zilles, Sandra
1 Á. Torralba, Álvaro
1 Aberdeen, Douglas
1 Achlioptas, Dimitris
1 Aghighi, Meysam
1 Aiello, Marco
1 Akramifar, Seyed Ali
1 Alcázar, Vidal
1 Alenyà, Guillem
1 Alford, Ron
1 Alimisis, Varvara
1 Aljazzar, Husain
1 Amendola, Giovanni
1 Anastacio, Marie
1 Arangu, Marlene
1 Atampore, Francis
1 Babaki, Behrouz
1 Bacchus, Fahiem
1 Baier, Jorge A.
1 Baioletti, Marco
1 Baral, Chitta R.
1 Bastani, Farokh B.
1 Bauters, Kim
1 Benton, Jessica
1 Berei, Tobias
1 Bernardini, Sara
1 Bertolucci, Riccardo
1 Bienvenu, Meghyn
1 Bošnački, Dragan
1 Boutilier, Craig
1 Bouyer, Patricia
1 Bryant, Randal E.
1 Buffet, Olivier
1 Buriol, Luciana S.
1 Cai, Dunbo
1 Calderon Jaramillo, Andres
1 Capitanelli, Alessio
1 Cashmore, Michael
1 Chen, Hubie
1 Chen, Yixin
1 Coles, Andrew
1 Cropper, Andrew
1 Cushing, William
1 Das, Sukanta
1 Dasgupta, Pallab
1 Dashti, M. Torabi
...and 176 more Authors

Citations by Year